LP MLN 推理解釋機制的研究
發(fā)布時間:2021-10-09 10:21
LPMLN是一種結(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項目中,需要對LPMLN的推理結(jié)果進行解釋,展示結(jié)果的推出過程。針對該需求,本文主要研究一種LPMLN推理解釋機制,并以此機制為核心設計并實現(xiàn)了LPMLN推理解釋系統(tǒng)。本文的主要工作及成果有:(1)考慮到LPMLN是ASP的擴展,且項目采用的程序都是正規(guī)邏輯程序(NLP,Normal Logic Program),作為基礎首先研究了ASP的推理解釋技術(shù)。定義了正規(guī)邏輯程序的解釋空間以及解釋空間上的ASP推理解釋;谏鲜龆x,提出了一種以解釋空間生成算法和ASP推理解釋生成算法為核心的ASP推理解釋模型,為LPMLN推理解釋機制的研究奠定了基礎。(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
【文章來源】:東南大學江蘇省 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
本文鏈接:http://sikaile.net/kejilunwen/zidonghuakongzhilunwen/3426175.html
最近更新
教材專著