面向Agent个体的信念修正系统设计与实现

发布时间：2017-06-02 19:06

  本文关键词：面向Agent个体的信念修正系统设计与实现，由笔耕文化传播整理发布。

【摘要】：对于一个Agent个体而言,它需要以从外部环境或与其它Agent进行通信的方式获取信息。Agent获取的信息越多,那么它做出的决定就更加合理。但是Agent接收的信息无法保证与己有的信念协调一致,因此需要对Agent的信念集进行信念修正操作以确保信念集的一致性。尽管人工智能领域的研究人员对信念修正做了深入的研究,但其工作往往是在一阶逻辑框架下完成的。基于这些理论构建的信念修正系统,因其在检查一阶逻辑一致性上时间复杂度较高而使得系统性能受到严重影响。此外,现有的信念修正系统在功能、模型、可视化等方面都存在不同程度的缺陷,这些都制约了信念修正理论的应用与发展。 在分析了现有的信念修正系统特点之后,本文总结出构建信念修正系统需要解决的若干个关键问题。针对这些问题,本文设计并实现了一种面向Agent个体信念修正系统,探讨了构建信念修正系统的模型架构、技术路线、开发方法和评价体系。 首先,针对目前信念修正系统存在的问题作出分析。通过研究已有的信念修正理论及其实现方法,对于Agent的定义,我们发现必须在合理性和可实现性之间做出必要的折中。因此,本文采用了资源有限性Agent的定义及其信念修正实现方法,保证了系统处理的问题规模和效率。 其次,提出了一种面向Agent个体的信念修正系统模型。该模型采用基于MongoDB的信念存储策略,利用MongoDB分布式文档存储的特点和数据存储格式BOSN在数据传输上的通用性,提高了系统在存储方面的可扩展性和信念存储的完整性与信念存取的效率。为了更好地规范Agent之间通信数据的格式并增强Agent与Web应用数据在传输上的兼容性,整合现有的Agent通信语言的语义和JSON在数据规范上的特点提出了一种新型的Agent通信语言JSON-ACL。 最后,实现了一个信念修正原型系统。以本文提出的面向Agent个体的信念修正系统模型为依据,利用Java GUI技术实现了所有模块的基本功能,特别是信念集可视化模块将信念集在不同状态下对应的信念图展示出来,为信念修正提供了一种全新的可视化表现形式。 实验结果表明,本文设计并实现的面向Agent的个体信念修正系统在处理问题规模、系统可解释性和系统可视性方面表现优异。
【关键词】：人工智能 常识推理 信念修正 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 国内外研究现状15
• 1.3 主要研究内容15-17
• 1.3.1 研究内容15-17
• 1.3.2 研究内容的相互关系17
• 1.4 研究框架与论文结构17-19
• 第2章 信念修正理论基础19-27
• 2.1 常识推理与非单调逻辑19-20
• 2.2 信念修正理论20-26
• 2.2.1 信念修正方法20-22
• 2.2.2 信念静态非修正方法22-26
• 2.3 本章小结26-27
• 第3章 Agent的定义及逻辑27-36
• 3.1 Agent及其结构27-28
• 3.2 资源有限型Agent28-29
• 3.3 “事实-规则”型Agent29-30
• 3.4 信念修正的实现30-35
• 3.4.1 约简操作的适用范围30
• 3.4.2 约简操作的定义30-31
• 3.4.3 约简操作的实现31-34
• 3.4.4 修正操作的实现34-35
• 3.5 本章小结35-36
• 第4章 面向Agent个体的信念修正系统模型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 本章小结41-42
• 第5章 信念修正系统的设计与实现42-61
• 5.1 系统设计42-47
• 5.1.1 系统整体设计42-43
• 5.1.2 系统模块设计43-46
• 5.1.3 系统数据库设计46-47
• 5.2 系统实现47-57
• 5.2.1 系统的开发环境与工具47-49
• 5.2.2 系统的模块实现49-57
• 5.3 实验结果与分析57-59
• 5.3.1 实验数据57-58
• 5.3.2 评估方法58-59
• 5.3.3 实验结果分析59
• 5.4 本章小结59-61
• 第6章 总结61-63
• 6.1 论文总结61-62
• 6.2 工作展望62-63
• 参考文献63-68
• 攻读学位期间公开发表的论文68-69
• 致谢69

【参考文献】

中国期刊全文数据库 前10条

1 张丽英,邓安生;基于非修正方法的认识进程及其极限[J];东北师大学报(自然科学版);2000年03期

2 关伟洲,邓安生;常识推理中不一致信念的一种非修正处理方法[J];东北师大学报(自然科学版);2000年03期

3 李未;一个开放的逻辑系统[J];中国科学(A辑 数学 物理学 天文学 技术科学);1992年10期

4 马绍汉;陶雪红;;知识库更新的研究[J];计算机科学;1995年03期

5 刘瑞胜;刘叙华;;非单调推理的研究现状[J];计算机科学;1995年04期

6 栾尚敏;李未;;信念修正的各种方法之比较[J];计算机科学;1999年07期

7 尚颖,邓安生,鞠晓东;不一致信念的定量非修正方法满足AGM公设的讨论[J];计算机工程与科学;2004年05期

8 白硕;李国杰;;非单调逻辑十五年[J];模式识别与人工智能;1995年S1期

9 王芳;翁学辉;;非单调逻辑的产生背景[J];内蒙古农业大学学报(社会科学版);2009年06期

10 陈海明;崔莉;谢开斌;;物联网体系结构与实现方法的比较研究[J];计算机学报;2013年01期

  本文关键词：面向Agent个体的信念修正系统设计与实现，，由笔耕文化传播整理发布。

本文编号：416237