基于Em-BDI-VSK逻辑的Agent系统形式化模型的研究

发布时间：2021-10-15 16:18

　　随着人工智能的发展,有关Agent理论和技术的研究和应用引起了人们的高度关注和重视.在Agent的理论研究中,人们常常从较高层次利用基于意向观点的抽象工具来研究和认识主体.除基于意向观点从抽象层次来认识主体和划分认知成分外,还需要一种严格的数学工具把这些认知成分表示出来,并让它们来影响Agent的行为.逻辑工具很好的完成这个目标.针对各种问题和实际应用,人们提出了多种逻辑系统.随着发展的不断深入,出现了将多种逻辑结合起来,或者扩展各种逻辑来表示Agent的方法.纵观以往的Agent研究,集中在理智Agent的构造上.虽有认知型Agent的代表BDI模型表示了其内部的思维状态.但随着生物学和心理学的发展,人们发现情感对于人的推理,规划和学习也有重要的作用.因此,把情感加入Agent中,也越来越受到计算机科学家的关注.把情感加入计算机中,首先,要研究情感的类型：其次,人们希望把情感加入到Agent的体系结构中参与Agent内部推理和决策.人们从心理学和认知学的角度,提出了很多模型.其中,OCC模型被认为更加适合在计算机中实现.更多细节请参看综述2.3.3节.目前,人们在Agent体系中构建... 

【文章来源】：云南师范大学云南省

【文章页数】：234 页

【学位级别】：硕士

【部分图文】：

OCC模型

图3.3行为选择体系结构情感系统是激发agent以某种方式行为的过程的主要因素之一，它引起了对激发行为趋势的事件的评价，agent受情感和其它认知过程影响引起它实际态度或特殊行为方面的改变。Broadbent提出了从事件到反应的情感过程阶段。首先，事件被个人侦测。一件或多件事件被选择和进一步执行，从而引起agent去改变关于这些事件和相关事件可能性的信念，然后改变它的期望(expectancies)。关于事件的信息，个人的知识knowledge和先前的期望三部分被整合起来。例如，关于事件类型发生

【参考文献】：
期刊论文
[1]情感理论及基于情感的决策理论与模型研究[J]. 江道平,班晓娟,尹怡欣,石为人.  计算机科学. 2007(04)
[2]个体软件人情感控制模型研究[J]. 宁淑荣,班晓娟,艾冬梅,曾广平,涂序彦.  计算机工程. 2007(08)
[3]基于人工心理理论的情感模型构建方法研究[J]. 谷学静,王志良,魏哲华,王超.  微计算机信息. 2006(05)
[4]情感建模研究进展[J]. 杨国亮,王志良.  自动化技术与应用. 2004(11)
[5]Agent逻辑和真假子集语义[J]. 胡山立,石纯一.  软件学报. 2002(11)
[6]理性Agent的意图维护模型[J]. 胡山立,石纯一.  计算机研究与发展. 2001(09)
[7]Agent-BDI逻辑[J]. 胡山立,石纯一.  软件学报. 2000(10)
[8]一个改进的理性Agent-BDI模型[J]. 胡山立,石纯一.  计算机研究与发展. 2000(09)
[9]Agent的意图模型[J]. 胡山立,fzu.edu.cn,石纯一.  软件学报. 2000(07)
[10]Agent形式化研究的逻辑工具[J]. 胡山立,石纯一.  计算机科学. 1999(12)

硕士论文
[1]基于VSK-t逻辑的Agent形式化模型[D]. 伍晓敏.云南师范大学 2004
[2]基于时序逻辑的协商公理体系多Agent系统的形式化模型[D]. 尹红丽.云南师范大学 2004
[3]基于能力与思维的协商公理体系多Agent 系统模型[D]. 李晶.云南师范大学 2003
[4]基于VSK-AF逻辑的多Agent系统的形式化模型[D]. 孙瑜.云南师范大学 2002
[5]基于动态逻辑的Agent的形式化模型[D]. 张春霞.云南师范大学 2000



本文编号：3438265