本文關(guān)鍵詞：面向Agent個體的信念修正系統(tǒng)設(shè)計與實現(xiàn)，由筆耕文化傳播整理發(fā)布。

【摘要】：對于一個Agent個體而言,它需要以從外部環(huán)境或與其它Agent進行通信的方式獲取信息。Agent獲取的信息越多,那么它做出的決定就更加合理。但是Agent接收的信息無法保證與己有的信念協(xié)調(diào)一致,因此需要對Agent的信念集進行信念修正操作以確保信念集的一致性。盡管人工智能領(lǐng)域的研究人員對信念修正做了深入的研究,但其工作往往是在一階邏輯框架下完成的�；谶@些理論構(gòu)建的信念修正系統(tǒng),因其在檢查一階邏輯一致性上時間復雜度較高而使得系統(tǒng)性能受到嚴重影響。此外,現(xiàn)有的信念修正系統(tǒng)在功能、模型、可視化等方面都存在不同程度的缺陷,這些都制約了信念修正理論的應(yīng)用與發(fā)展。 在分析了現(xiàn)有的信念修正系統(tǒng)特點之后,本文總結(jié)出構(gòu)建信念修正系統(tǒng)需要解決的若干個關(guān)鍵問題。針對這些問題,本文設(shè)計并實現(xiàn)了一種面向Agent個體信念修正系統(tǒng),探討了構(gòu)建信念修正系統(tǒng)的模型架構(gòu)、技術(shù)路線、開發(fā)方法和評價體系。 首先,針對目前信念修正系統(tǒng)存在的問題作出分析。通過研究已有的信念修正理論及其實現(xiàn)方法,對于Agent的定義,我們發(fā)現(xiàn)必須在合理性和可實現(xiàn)性之間做出必要的折中。因此,本文采用了資源有限性Agent的定義及其信念修正實現(xiàn)方法,保證了系統(tǒng)處理的問題規(guī)模和效率。 其次,提出了一種面向Agent個體的信念修正系統(tǒng)模型。該模型采用基于MongoDB的信念存儲策略,利用MongoDB分布式文檔存儲的特點和數(shù)據(jù)存儲格式BOSN在數(shù)據(jù)傳輸上的通用性,提高了系統(tǒng)在存儲方面的可擴展性和信念存儲的完整性與信念存取的效率。為了更好地規(guī)范Agent之間通信數(shù)據(jù)的格式并增強Agent與Web應(yīng)用數(shù)據(jù)在傳輸上的兼容性,整合現(xiàn)有的Agent通信語言的語義和JSON在數(shù)據(jù)規(guī)范上的特點提出了一種新型的Agent通信語言JSON-ACL。 最后,實現(xiàn)了一個信念修正原型系統(tǒng)。以本文提出的面向Agent個體的信念修正系統(tǒng)模型為依據(jù),利用Java GUI技術(shù)實現(xiàn)了所有模塊的基本功能,特別是信念集可視化模塊將信念集在不同狀態(tài)下對應(yīng)的信念圖展示出來,為信念修正提供了一種全新的可視化表現(xiàn)形式。 實驗結(jié)果表明,本文設(shè)計并實現(xiàn)的面向Agent的個體信念修正系統(tǒng)在處理問題規(guī)模、系統(tǒng)可解釋性和系統(tǒng)可視性方面表現(xiàn)優(yōu)異。
【關(guān)鍵詞】：人工智能 常識推理 信念修正 Agent 可視化
【學位授予單位】：大連海事大學
【學位級別】：碩士
【學位授予年份】：2014
【分類號】：TP18
【目錄】：

• 摘要5-7
• ABSTRACT7-12
• 第1章 緒論12-19
• 1.1 研究背景及課題意義12-15
• 1.1.1 研究背景12-13
• 1.1.2 研究意義13-15
• 1.2 國內(nèi)外研究現(xiàn)狀15
• 1.3 主要研究內(nèi)容15-17
• 1.3.1 研究內(nèi)容15-17
• 1.3.2 研究內(nèi)容的相互關(guān)系17
• 1.4 研究框架與論文結(jié)構(gòu)17-19
• 第2章 信念修正理論基礎(chǔ)19-27
• 2.1 常識推理與非單調(diào)邏輯19-20
• 2.2 信念修正理論20-26
• 2.2.1 信念修正方法20-22
• 2.2.2 信念靜態(tài)非修正方法22-26
• 2.3 本章小結(jié)26-27
• 第3章 Agent的定義及邏輯27-36
• 3.1 Agent及其結(jié)構(gòu)27-28
• 3.2 資源有限型Agent28-29
• 3.3 “事實-規(guī)則”型Agent29-30
• 3.4 信念修正的實現(xiàn)30-35
• 3.4.1 約簡操作的適用范圍30
• 3.4.2 約簡操作的定義30-31
• 3.4.3 約簡操作的實現(xiàn)31-34
• 3.4.4 修正操作的實現(xiàn)34-35
• 3.5 本章小結(jié)35-36
• 第4章 面向Agent個體的信念修正系統(tǒng)模型36-42
• 4.1 預處理模塊36
• 4.2 掃描器模塊36-37
• 4.3 解析器模塊37-38
• 4.4 信念修正模塊38-41
• 4.4.1 信念的存儲策略38-40
• 4.4.2 信念修正的過程可視化40-41
• 4.5 本章小結(jié)41-42
• 第5章 信念修正系統(tǒng)的設(shè)計與實現(xiàn)42-61
• 5.1 系統(tǒng)設(shè)計42-47
• 5.1.1 系統(tǒng)整體設(shè)計42-43
• 5.1.2 系統(tǒng)模塊設(shè)計43-46
• 5.1.3 系統(tǒng)數(shù)據(jù)庫設(shè)計46-47
• 5.2 系統(tǒng)實現(xiàn)47-57
• 5.2.1 系統(tǒng)的開發(fā)環(huán)境與工具47-49
• 5.2.2 系統(tǒng)的模塊實現(xiàn)49-57
• 5.3 實驗結(jié)果與分析57-59
• 5.3.1 實驗數(shù)據(jù)57-58
• 5.3.2 評估方法58-59
• 5.3.3 實驗結(jié)果分析59
• 5.4 本章小結(jié)59-61
• 第6章 總結(jié)61-63
• 6.1 論文總結(jié)61-62
• 6.2 工作展望62-63
• 參考文獻63-68
• 攻讀學位期間公開發(fā)表的論文68-69
• 致謝69

【參考文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 張麗英,鄧安生;基于非修正方法的認識進程及其極限[J];東北師大學報(自然科學版);2000年03期

2 關(guān)偉洲,鄧安生;常識推理中不一致信念的一種非修正處理方法[J];東北師大學報(自然科學版);2000年03期

3 李未;一個開放的邏輯系統(tǒng)[J];中國科學(A輯 數(shù)學 物理學 天文學 技術(shù)科學);1992年10期

4 馬紹漢;陶雪紅;;知識庫更新的研究[J];計算機科學;1995年03期

5 劉瑞勝;劉敘華;;非單調(diào)推理的研究現(xiàn)狀[J];計算機科學;1995年04期

6 欒尚敏;李未;;信念修正的各種方法之比較[J];計算機科學;1999年07期

7 尚穎,鄧安生,鞠曉東;不一致信念的定量非修正方法滿足AGM公設(shè)的討論[J];計算機工程與科學;2004年05期

8 白碩;李國杰;;非單調(diào)邏輯十五年[J];模式識別與人工智能;1995年S1期

9 王芳;翁學輝;;非單調(diào)邏輯的產(chǎn)生背景[J];內(nèi)蒙古農(nóng)業(yè)大學學報(社會科學版);2009年06期

10 陳海明;崔莉;謝開斌;;物聯(lián)網(wǎng)體系結(jié)構(gòu)與實現(xiàn)方法的比較研究[J];計算機學報;2013年01期

  本文關(guān)鍵詞：面向Agent個體的信念修正系統(tǒng)設(shè)計與實現(xiàn)，，由筆耕文化傳播整理發(fā)布。

本文編號：416237