不完備知識的表示和推理是知識工程領(lǐng)域的重要研究課題。目前,不完備知識常常被表示為缺省知識、認(rèn)知知識,或者不精確知識。回答集程序(Answer SetProgram,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é)合,實(shí)現(xiàn)了邏輯程序中的概率表示和計(jì)算。本文研究并設(shè)計(jì)一種基于結(jié)合了認(rèn)知邏輯程序和LPMLN的新的邏輯程序語言PELP及其推理算法,為缺省知識、認(rèn)知知識、不精確知識共存的復(fù)雜問題的表示和推理提供一個(gè)可選的方案。本文的主要成果包括:1)提出了一種概率認(rèn)知邏輯程序語言PELP(Probabilistic Epistemic Logic Program),定義了該語言的語法和語義;2)提出了 PELP的基本求解算法,并且基于程序化簡的思想提出了該求解算法的一種優(yōu)化方法,3)實(shí)現(xiàn)了 PELP的推理機(jī)PelpSolver;4)給出了 PELP與認(rèn)知邏輯程序語言ASPKM、EFLP、GI-log...

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

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

【文章目錄】：
摘要
Abstract
縮略詞表
第一章 緒論
    1.1 研究背景與研究動(dòng)機(jī)
    1.2 相關(guān)研究現(xiàn)狀
        1.2.1 概率邏輯程序
        1.2.2 認(rèn)知邏輯程序
        1.2.3 現(xiàn)有認(rèn)知邏輯程序的不足
    1.3 研究目標(biāo)及研究內(nèi)容
    1.4 研究方法和技術(shù)路線
    1.5 文章結(jié)構(gòu)安排
第二章 背景知識介紹
    2.1 回答集程序
        2.1.1 回答集程序的語法
        2.1.2 回答集程序的語義
    2.2 GI-log
        2.2.1 GI-log的語法
        2.2.2 GI-log的語義
        2.2.3 GI-log中的主觀字循環(huán)
        2.2.4 GI-log程序舉例
    2.3 LPMLN

        2.3.1 LP^MLN的語法
        2.3.2 LP^MLN的語義
        2.3.3 LP^MLN程序舉例
    2.4 本章小結(jié)
第三章 PELP語言
    3.1 PELP的語法
    3.2 PELP的語義
    3.3 PELP應(yīng)用舉例
        3.3.1 概率認(rèn)知模態(tài)詞與軟規(guī)則的結(jié)合
        3.3.2 概率比較模態(tài)詞與軟規(guī)則的結(jié)合
    3.4 主觀字的循環(huán)和約束
    3.5 本章小結(jié)
第四章 PELP與其他認(rèn)知邏輯程序語言的關(guān)系
    4.1 與ASP^KM的關(guān)系
    4.2 與EFLP的關(guān)系
    4.3 與GI-log的關(guān)系
    4.4 本章小結(jié)
第五章 PELP求解算法
    5.1 求解算法介紹
        5.1.1 主觀字的消除
        5.1.2 軟規(guī)則的消除
        5.1.3 回答集的計(jì)算
        5.1.4 回答集的分組
        5.1.5 候選世界觀的篩選
        5.1.6 PELP求解算法
    5.2 算法優(yōu)化
    5.3 本章小結(jié)
第六章 PELP語言的應(yīng)用
    6.1 三門問題求解
    6.2 概率一致性規(guī)劃問題求解
    6.3 本章小結(jié)
第七章 總結(jié)與展望
    7.1 工作總結(jié)
    7.2 下一步工作
致謝
參考文獻(xiàn)
附錄A 定理證明
    A.1 PELP語言特性的證明
    A.2 PELP與其他認(rèn)知邏輯程序間關(guān)系的證明
    A.3 PELP求解算法證明
        A.3.1 主觀字消除算法的證明
        A.3.2 軟規(guī)則消除算法的證明
        A.3.3 主要定理的證明
    A.4 求解優(yōu)化算法的證明
    A.5 PELP應(yīng)用舉例的證明
攻讀碩士學(xué)位期間的研究成果



本文編號：3884308

suoshi