發(fā)布時(shí)間：2021-05-22 04:24

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

【文章來(lái)源】：大連海事大學(xué)遼寧省 211工程院校

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

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

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


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

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



本文編號(hào)：3200977