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

【摘要】：對于一個(gè)Agent個(gè)體而言,它需要以從外部環(huán)境或與其它Agent進(jìn)行通信的方式獲取信息。Agent獲取的信息越多,那么它做出的決定就更加合理。但是Agent接收的信息無法保證與己有的信念協(xié)調(diào)一致,因此需要對Agent的信念集進(jìn)行信念修正操作以確保信念集的一致性。盡管人工智能領(lǐng)域的研究人員對信念修正做了深入的研究,但其工作往往是在一階邏輯框架下完成的�；谶@些理論構(gòu)建的信念修正系統(tǒng),因其在檢查一階邏輯一致性上時(shí)間復(fù)雜度較高而使得系統(tǒng)性能受到嚴(yán)重影響。此外,現(xiàn)有的信念修正系統(tǒng)在功能、模型、可視化等方面都存在不同程度的缺陷,這些都制約了信念修正理論的應(yīng)用與發(fā)展。 在分析了現(xiàn)有的信念修正系統(tǒng)特點(diǎn)之后,本文總結(jié)出構(gòu)建信念修正系統(tǒng)需要解決的若干個(gè)關(guān)鍵問題。針對這些問題,本文設(shè)計(jì)并實(shí)現(xiàn)了一種面向Agent個(gè)體信念修正系統(tǒng),探討了構(gòu)建信念修正系統(tǒng)的模型架構(gòu)、技術(shù)路線、開發(fā)方法和評價(jià)體系。 首先,針對目前信念修正系統(tǒng)存在的問題作出分析。通過研究已有的信念修正理論及其實(shí)現(xiàn)方法,對于Agent的定義,我們發(fā)現(xiàn)必須在合理性和可實(shí)現(xiàn)性之間做出必要的折中。因此,本文采用了資源有限性Agent的定義及其信念修正實(shí)現(xiàn)方法,保證了系統(tǒng)處理的問題規(guī)模和效率。 其次,提出了一種面向Agent個(gè)體的信念修正系統(tǒng)模型。該模型采用基于MongoDB的信念存儲(chǔ)策略,利用MongoDB分布式文檔存儲(chǔ)的特點(diǎn)和數(shù)據(jù)存儲(chǔ)格式BOSN在數(shù)據(jù)傳輸上的通用性,提高了系統(tǒng)在存儲(chǔ)方面的可擴(kuò)展性和信念存儲(chǔ)的完整性與信念存取的效率。為了更好地規(guī)范Agent之間通信數(shù)據(jù)的格式并增強(qiáng)Agent與Web應(yīng)用數(shù)據(jù)在傳輸上的兼容性,整合現(xiàn)有的Agent通信語言的語義和JSON在數(shù)據(jù)規(guī)范上的特點(diǎn)提出了一種新型的Agent通信語言JSON-ACL。 最后,實(shí)現(xiàn)了一個(gè)信念修正原型系統(tǒng)。以本文提出的面向Agent個(gè)體的信念修正系統(tǒng)模型為依據(jù),利用Java GUI技術(shù)實(shí)現(xiàn)了所有模塊的基本功能,特別是信念集可視化模塊將信念集在不同狀態(tài)下對應(yīng)的信念圖展示出來,為信念修正提供了一種全新的可視化表現(xiàn)形式。 實(shí)驗(yàn)結(jié)果表明,本文設(shè)計(jì)并實(shí)現(xiàn)的面向Agent的個(gè)體信念修正系統(tǒng)在處理問題規(guī)模、系統(tǒng)可解釋性和系統(tǒng)可視性方面表現(xiàn)優(yōu)異。
【關(guān)鍵詞】：人工智能 常識(shí)推理 信念修正 Agent 可視化
【學(xué)位授予單位】：大連海事大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：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 常識(shí)推理與非單調(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 “事實(shí)-規(guī)則”型Agent29-30
• 3.4 信念修正的實(shí)現(xiàn)30-35
• 3.4.1 約簡操作的適用范圍30
• 3.4.2 約簡操作的定義30-31
• 3.4.3 約簡操作的實(shí)現(xiàn)31-34
• 3.4.4 修正操作的實(shí)現(xiàn)34-35
• 3.5 本章小結(jié)35-36
• 第4章 面向Agent個(gè)體的信念修正系統(tǒng)模型36-42
• 4.1 預(yù)處理模塊36
• 4.2 掃描器模塊36-37
• 4.3 解析器模塊37-38
• 4.4 信念修正模塊38-41
• 4.4.1 信念的存儲(chǔ)策略38-40
• 4.4.2 信念修正的過程可視化40-41
• 4.5 本章小結(jié)41-42
• 第5章 信念修正系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)42-61
• 5.1 系統(tǒng)設(shè)計(jì)42-47
• 5.1.1 系統(tǒng)整體設(shè)計(jì)42-43
• 5.1.2 系統(tǒng)模塊設(shè)計(jì)43-46
• 5.1.3 系統(tǒng)數(shù)據(jù)庫設(shè)計(jì)46-47
• 5.2 系統(tǒng)實(shí)現(xiàn)47-57
• 5.2.1 系統(tǒng)的開發(fā)環(huán)境與工具47-49
• 5.2.2 系統(tǒng)的模塊實(shí)現(xiàn)49-57
• 5.3 實(shí)驗(yàn)結(jié)果與分析57-59
• 5.3.1 實(shí)驗(yàn)數(shù)據(jù)57-58
• 5.3.2 評估方法58-59
• 5.3.3 實(shí)驗(yàn)結(jié)果分析59
• 5.4 本章小結(jié)59-61
• 第6章 總結(jié)61-63
• 6.1 論文總結(jié)61-62
• 6.2 工作展望62-63
• 參考文獻(xiàn)63-68
• 攻讀學(xué)位期間公開發(fā)表的論文68-69
• 致謝69

【參考文獻(xiàn)】

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

1 張麗英,鄧安生;基于非修正方法的認(rèn)識(shí)進(jìn)程及其極限[J];東北師大學(xué)報(bào)(自然科學(xué)版);2000年03期

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

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

4 馬紹漢;陶雪紅;;知識(shí)庫更新的研究[J];計(jì)算機(jī)科學(xué);1995年03期

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

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

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

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

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

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

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

本文編號：416237