资源描述：
《随着人工智能的发展概要.doc》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、摘要随着人工智能的发展,有关Agent理论和技术的研究和应用引起了人们的高度关注和重视.在Agent的理论研究中,人们常常从较高层次利用基于意向观点的抽象工具来研究和认识主体.除基于意向观点从抽象层次来认识主体和划分认知成分外,还需要一种严格的数学工具把这些认知成分表示出来,并让它们来影响Agent的行为.逻辑工具很好的完成这个目标.针对各种问题和实际应用,人们提出了多种逻辑系统.随着发展的不断深入,出现了将多种逻辑结合起来,或者扩展各种逻辑来表示Agent的方法.纵观以往的Agent研究,集中在理智Agent的构造上.虽有认知型Agent的代表BDI模型表示了其内部
2、的思维状态.但随着生物学和心理学的发展,人们发现情感对于人的推理,规划和学习也有重要的作用.因此,把情感加入Agent中,也越来越受到计算机科学家的关注.把情感加入计算机中,首先,要研究情感的类型;其次,人们希望把情感加入到Agent的体系结构中参与Agent内部推理和决策.人们从心理学和认知学的角度,提出了很多模型.其中,OCC模型[10]被认为更加适合在计算机中实现.目前,人们在Agent体系中构建情感主要基于BDI和KARO两个主体模型之上.两者都是在构建好的主体形式化系统上分别构建不同的情感,并由情感和其它认知成分相互影响共同决定Agent的决策和行为.本文提
3、出的模型是基于这样的认识:人类自然的行为决策过程不仅受到所处的外部环境和Agent内部思维状态的影响外,还受到当时情感的影响,三方面相互作用共同决定当前Agent的行为选择.因此,该模型试图融合了代表外部环境的VSK逻辑,代表内部思维状态的BDI逻辑以及情感因素.带有情感的Agent形式化模型Em-BDI-VSK融合BDI逻辑和VSK逻辑并加入情感,定义相应的模态算子Em,并采用OCC模型中22种情感[10]中一种最常见和基本的情感Fear做为示例.利用Em-BDI-VSK逻辑,能表示随着环境中客观真的事物,在环境中可以访问的信息以及Agent借助于感知器能感知到的信
4、息等外部环境,还能表示Agent真正知道的信息（把外化的信息内化自己的知识）,同时能够描述Agent在客观环境中具有的信念、愿望和意图等思维状态和情感状态,这些因素共同对Agent动作选择产生影响.Em-BDI-VSK逻辑基于时序逻辑从Agent为完成某项任务时应具备的能力和权利的角度及其思维以及情感出发,进行动作的选择以及状态的转换过程.在该模型中,各种信息有着自己的特点,并且各类信息之间互影响,本模型中,用交互公理来刻划各类信息间的相互关系.在此语义环境解释下,本文构建了该模型的语义框架;并提出了该模型的公理体系,包括BDI逻辑、VSK逻辑、情感算子和时序算子的公
5、理,以及这些逻辑间相互联系的交互公理,并给出了这些公理的合理性解释.最后,给出这个公理体系的有效性证明,进而证明了模型的可靠性和完全性.关键字:BDI;VSK;OCC模型;情感;形式化系统AbstractWiththedevelopmentofAI,peoplearestronginterestedintheresearchandapplicationoftheoryandtechnologyofAgent.Inthetheoreticstudy,weusuallystudyandrealizeAgentwithabstractivetoolsofintentiona
6、lviewfromthehigherlevel[1].Exceptforthis,wealsoneedarigidmathematictooltodescribetheseelementsandusingthemtoaffectdecision-makingofAgent.Wefindthatlogicisanappropriativetooltoachievethegoal.Basedonvariousproblemsandpracticalapplications,expertsproposedalotoflogicsystem.Withthein-depthde
7、velopment,variouslogictheoremswereintegrationorexpandedtodescribeAgent.LookbackpreviousstudiesonAgent,peoplewarefocusonthecontractureofrationalAgent.ModelBDIisconsideredasarepresentationofcognitiveAgenttoexpresshumaninternalmindstates.However,withthedevelopmentofbiologyandpsych
