發(fā)布時(shí)間：2021-10-09 10:21

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

【文章來(lái)源】：東南大學(xué)江蘇省 211工程院校 985工程院校 教育部直屬院校

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

【學(xué)位級(jí)別】：碩士

【部分圖文】：

推理解釋界面圖

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

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

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



本文編號(hào)：3426175