LP^MLN是一種結(jié)合了回答集程序（ASP,Answer Set Programming）與馬爾科夫邏輯網(wǎng)（MLN,Markov Logic Network）的知識表示和推理語言,具有非單調(diào)和不確定推理的能力,并能處理不一致,是國家863項目“開放域知識關(guān)聯(lián)、推理與檢索關(guān)鍵技術(shù)及系統(tǒng)”的核心推理技術(shù)。在863項目中,需要對LP^MLN的推理結(jié)果進行解釋,展示結(jié)果的推出過程。針對該需求,本文主要研究一種LP^MLN推理解釋機制,并以此機制為核心設計并實現(xiàn)了LP^MLN推理解釋系統(tǒng)。本文的主要工作及成果有:（1）考慮到LP^MLN是ASP的擴展,且項目采用的程序都是正規(guī)邏輯程序（NLP,Normal Logic Program）,作為基礎首先研究了ASP的推理解釋技術(shù)。定義了正規(guī)邏輯程序的解釋空間以及解釋空間上的ASP推理解釋�；谏鲜龆x,提出了一種以解釋空間生成算法和ASP推理解釋生成算法為核心的ASP推理解釋模型,為LP^MLN推理解釋機制的研究奠定了基礎。（2）在... 

【文章來源】：東南大學江蘇省 211工程院校 985工程院校 教育部直屬院校

【文章頁數(shù)】：59 頁

【學位級別】：碩士

【部分圖文】：

推理解釋界面圖

第五章 LPMLN 推理解釋系統(tǒng)的設計與實現(xiàn)圖 5.3 推理解釋界面圖如圖 5.4 為主界面輸入樣例時的展示，此時已經(jīng)得到了推理解釋結(jié)果，所以可以看到推理解釋時間欄顯示總共用時“589ms”，具體的推理解釋結(jié)果展示可見圖 5.5。

推理解釋結(jié)果展示

【參考文獻】：
碩士論文
[1]基于規(guī)則的實例數(shù)據(jù)融合模型[D]. 張陳鵬.東南大學 2017
[2]一個結(jié)合規(guī)則與本體的推理平臺的設計與實現(xiàn)[D]. 王彬.東南大學 2015



本文編號：3426175