在人工智能被提出之初,就將實現(xiàn)常識推理作為人工智能研究的一個長期目標。在日常中,常識推理可以幫助在不完全信息的情況下,根據(jù)常識做出合理的假設來進行有效的推理。目前,信念修正方法作為處理常識推理中非單調(diào)性的問題被廣泛的研究。這種方法通過引入一個修正算子,將信息調(diào)整納入已有知識庫。然而在信念修正的過程中不可避免的出現(xiàn)期望信息的丟失。不同于信念修正的方法,信念非修正的方法在不改變原有知識庫的基礎(chǔ)上,通過限制推理的過程來獲得一致的擴充,實現(xiàn)有效的推理。在命題邏輯下,假說的擴充已經(jīng)被證明具有良好的數(shù)學性質(zhì)。但是在現(xiàn)有的研究中,對于有限個子句構(gòu)成的假說,其擴充一般會是一個無限的集合。為了將非修正的方法更易于實際應用,本文做出如下研究：（1）定義了命題邏輯下假說的擴充。在這種定義下的有限個子句構(gòu)成的假說的擴充仍然為一個有限的子句的集合,并且保持與己有的假說的擴充是邏輯等價的。本文對等價性進行了證明。（2）提出了命題邏輯下假說的擴充的生成算法。在算法的設計中參考求本原蘊涵的方法,優(yōu)化了歸結(jié)過程。在完成算法理論證明之后,使用JAVA語言實現(xiàn)算法。使用多個假說作為測試案例進行實驗,驗證了算法程序的處理結(jié)果... 

【文章來源】：大連海事大學遼寧省 211工程院校

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

【學位級別】：碩士

【文章目錄】：
摘要
ABSTRACT
第1章 緒論
    1.1 引言
    1.2 研究現(xiàn)狀
    1.3 主要研究內(nèi)容
    1.4 論文組織結(jié)構(gòu)
第2章 信念非修正相關(guān)理論概述
    2.1 常識推理的相關(guān)理論
        2.1.1 非單調(diào)推理
        2.1.2 信念修正
    2.2 信念非修正方法相關(guān)理論
        2.2.1 信念非修正的發(fā)展
        2.2.2 命題邏輯假說擴充的性質(zhì)與認識進程
    2.3 命題邏輯相關(guān)理論基礎(chǔ)
        2.3.1 命題邏輯概述
        2.3.2 命題邏輯的歸結(jié)原理
第3章 命題邏輯下假說的擴充及生成算法
    3.1 本原蘊涵
    3.2 假說擴充的定義
    3.3 命題假說擴充的生成算法
        3.3.1 歸結(jié)中使用Tison方法
        3.3.2 算法流程圖
        3.3.3 假說擴充的生成算法算法
        3.3.4 算法正確性相關(guān)證明
    3.4 命題假說擴充的生成算法實驗結(jié)果
        3.4.1 實驗環(huán)境
        3.4.2 實驗用例
        3.4.3 實驗過程及結(jié)果
    3.5 小結(jié)
第4章 命題假說擴充在知識編譯中的應用
    4.1 知識編譯概述
    4.2 基于假說擴充的知識編譯
    4.3 與其他知識編譯方法的關(guān)系
    4.4 小結(jié)
第5章 總結(jié)與展望
    5.1 論文總結(jié)
    5.2 工作展望
參考文獻
致謝


【參考文獻】：
期刊論文
[1]不一致信念的一種自頂向下的處理方法[J]. 鄧安生,郭一晶,鄧智歡.  廈門大學學報(自然科學版). 2005(S1)
[2]信念修正的理論與方法[J]. 熊立文.  哲學動態(tài). 2005(03)
[3]信念修正的實現(xiàn)方法[J]. 欒尚敏,戴國忠.  計算機科學. 2004(12)
[4]不一致信念的定量非修正方法滿足AGM公設的討論[J]. 尚穎,鄧安生,鞠曉東.  計算機工程與科學. 2004(05)
[5]有限信念集上修正的一種方法[J]. 欒尚敏,戴國忠.  軟件學報. 2003(05)
[6]信念修正的完全和可操作的方法[J]. 李未,欒尚敏.  軟件學報. 2002(01)
[7]基于非修正方法的認識進程及其極限[J]. 張麗英,鄧安生.  東北師大學報(自然科學版). 2000(03)
[8]常識推理中不一致信念的一種非修正處理方法[J]. 關(guān)偉洲,鄧安生.  東北師大學報(自然科學版). 2000(03)
[9]A Logical Framework for Knowledge Base Maintenance[J]. 李未.  Journal of Computer Science and Technology. 1995(03)
[10]一個開放的邏輯系統(tǒng)[J]. 李未.  中國科學（A輯 數(shù)學 物理學 天文學 技術(shù)科學）. 1992(10)

碩士論文
[1]命題信念集的非修正處理方法研究[D]. 郝璐璐.大連海事大學 2013
[2]加權(quán)子句型信念集的靜態(tài)非修正處理方法研究[D]. 郭小琳.大連海事大學 2013
[3]子句型信念集靜態(tài)非修正處理方法的優(yōu)化研究[D]. 馮陸.大連海事大學 2012
[4]子句型信念集的靜態(tài)非修正處理方法研究[D]. 張衛(wèi)娜.大連海事大學 2012
[5]Horn子句型信念的靜態(tài)非修正處理方法研究[D]. 劉文赫.大連海事大學 2011
[6]不一致信念的定量非修正分層處理方法研究[D]. 張建新.大連海事大學 2010



本文編號：3200977