近年來,有序邏輯程序被廣泛應(yīng)用于規(guī)劃、診斷、行動(dòng)推理等諸多領(lǐng)域。本文主要研究有序邏輯程序的回答集語義。文中首先通過對(duì)有序邏輯程序中的規(guī)則序進(jìn)行不同的處理,提出了一類新的回答集語義,并比較了它們之間的關(guān)系,得到了各種回答集在包含關(guān)系下的哈斯圖。接著提出了一種新的點(diǎn)著色方法來處理規(guī)則之間的優(yōu)先關(guān)系,并以一種回答集語義為例,證明了點(diǎn)著色與回答集語義之間的對(duì)應(yīng)關(guān)系。為了在辯論框架中建立和回答集語義相對(duì)應(yīng)的辯論語義,本文針對(duì)文字序和規(guī)則序分別提出了新的辯論框架,討論了兩種語義之間的關(guān)系。此外,本文提出了幾種求解有序邏輯程序回答集語義的算法,并對(duì)算法進(jìn)行了比較。 

【文章來源】：南京航空航天大學(xué)江蘇省 211工程院校

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

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

【文章目錄】：
摘要
ABSTRACT
圖表清單
注釋表
第一章緒言
    1.1 研究背景
    1.2 本文的主要研究內(nèi)容
    1.3 本文的組織
第二章有序邏輯程序與回答集語義
    2.1 邏輯程序與回答集語義
    2.2 規(guī)則序與W 回答集
    2.3 W 回答集語義的擴(kuò)展
    2.4 其它回答集語義的擴(kuò)展
    2.5 各種回答集語義之間的相互關(guān)系
    2.6 與相關(guān)工作的比較
第三章有序邏輯程序的圖表示
    3.1 有向圖與有序邏輯程序
    3.2 有序邏輯程序與點(diǎn)著色
    3.3 點(diǎn)著色與回答集語義之間的關(guān)系
    3.4 與相關(guān)工作的比較
第四章有序邏輯程序的辯論框架
    4.1 邏輯程序的辯論框架與辯論語義
    4.2 文字序邏輯程序的辯論框架
    4.3 規(guī)則序邏輯程序的辯論框架
    4.4 與相關(guān)工作的比較
第五章有序邏輯程序的求解算法
    5.1 直接求解回答集的算法
    5.2 回答集求解算法的改進(jìn)
    5.3 用遺傳算法輔助求解回答集
    5.4 回答集的圖解算法
    5.5 實(shí)驗(yàn)結(jié)果以及各算法的比較
    第六章小結(jié)
參考文獻(xiàn)
致謝
在學(xué)期間的研究成果



本文編號(hào)：3521831