概率認(rèn)知邏輯程序語言的研究.pdf

1、不完備知識的表示和推理是知識工程領(lǐng)域的重要研究課題。目前，不完備知識常常被表示為缺省知識、認(rèn)知知識，或者不精確知識?；卮鸺绦颍ˋnswer Set Program，ASP）是一種重要的缺省知識表示和推理工具。認(rèn)知邏輯程序是回答集程序與自認(rèn)知邏輯的結(jié)合，在ASP的基礎(chǔ)上引入了認(rèn)知模態(tài)詞，能夠?qū)崿F(xiàn)認(rèn)知知識的表示和推理。LPMLN是回答集程序與馬爾科夫邏輯網(wǎng)絡(luò)（Markov Logic Network，MLN）的結(jié)合，實現(xiàn)了邏輯程序中的概率

2、表示和計算。本文研究并設(shè)計一種基于結(jié)合了認(rèn)知邏輯程序和LpMLN的新的邏輯程序語言PELP及其推理算法，為缺省知識、認(rèn)知知識、不精確知識共存的復(fù)雜問題的表示和推理提供一個可選的方案。
　　本文的主要成果包括:1）提出了一種概率認(rèn)知邏輯程序語言PELP(ProbabilisticEpistemic Logic Program)，定義了該語言的語法和語義;2）提出了PELP的基本求解算法，并且基于程序化簡的思想提出了該求解算法的一種優(yōu)