带有情感算子Agent形式化系统研究.docVIP

带有情感算子Agent形式化系统研究 　　摘要: 随着人工智能的发展，有关Agent理论和技术的研究应用引起了人们的高度关注和重视.纵观以往的Agent研究，主要集中在Agent的构造上.随着生物学和心理学的发展，把情感加入Agent中，越来越受到计算机研究者的关注.提出了带有情感算子的Agent形式化模型Em-BDI-VSK,它融合BDI逻辑和VSK逻辑并加入情感，并构建了该模型的语义框架和公理体系. 　　? 　　关键词: Agent形式化系统; 情感算子; BDI逻辑; VSK逻辑? 　　中图分类号:TP 18 文献标志码:A 文章编号:1672-8513(2011)05-0398-04 　　?? 　　Research on the Agent Formal System with an Emotion Operator 　　 　　XIA You?ming 　　? 　　（School of Information and Technology，Yunnan Normal University，Kunming 650500, China） 　　 　　Abstract: With the development of artificial intelligence，the Agent theory and technology with its application has aroused great attention. Agent studies in the past focused the structure of Agent. With the development of biology and psychology，emotion is taken into account in the Agent studies by computer scientists. This paper establishes a formal model Em-BDI-VSK of the Agent with an emotional operator，which combines logic and VSK logic and BDI logic and adds emotional factors，and finally builds its semantic framework and axiom system. 　　? 　　Key words: agent formal system; emotion operator; VSK logic; BDI logic 　　 　　20世纪70年代围绕分布式人工智能(DAI)，主要研究Agent的拟人行为、多功能Agent协作模型. 发展至今，Agent正逐步转向以应用研究为主，并结合智能计算、人机界面和软件工程学的最新研究成果， Agent技术正在网络、游戏、虚拟现实和机器人各个方面得到广泛的应用，并有专家提出了面向Agent的软件开发［1］ .? 　　 Rao和Georgeff给出基于3个基本模态词(Belief，Desire和Intention)的Agent理论逻辑，建立了Agent著名的BDI模型［2-4］. Wooldridge把单个Agent应该具有的意识属性分为2类:一类是information attitude，指Agent掌握的关于自己、环境和其它Agent的信息和知识，包括信念和知识; 另一类是pro-attitude，指能导致Agent执行动作的属性，包括愿望、目标、意图、承诺、选择、责任、能力等［5］. 在Agent的环境中，描述客观真的、可访问的、可感知的信息以及知道???信息之间的关系成为了VSK逻辑的主要特点与对应的Agent结构特征的理论模型.? 　　 人们从心理学和认知学的角度，提出了很多研究情感模型［6-9］.其中，OCC模型被认为更加适合在计算机中实现［10］. 本文在此基础上，从认知学和心理学的角度出发，融合代表外部环境的VSK逻辑，代表内部思维状态的BDI逻辑以及情感因素构建了Em-BDI-VSK形式化模型; 该逻辑基于时序逻辑，从Agent所处的客观环境出发为完成某项任务时应具备的能力和权利及其思维以及情感，进行动作的选择以及状态的转换过程，最终达到预期目标. 本文给出了该模型的公理体系，包括BDI逻辑、VSK逻辑、情感算子和时序算子的公理，以及模态算子间相互联系的交互公理，对这些公理进行了合理解释.? 　　1 Em-BDI-VSK模型? 　　基于Em-BDI-VSK逻辑的Agent系统（称为Em-BDI-VSK系统）由?S=表示，其中Env为?Agent?所处的环境，即由环境状态集E、环境状