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

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

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