随着人工智能的发展概要.docVIP

摘要

随着人工智能的发展，有关Aｇｅｎt理论和技术的研究和应用引起了人们的高度关注和重视。在Ageｎｔ的理论研究中，人们常常从较高层次利用基于意向观点的抽象工具来研究和认识主体.除基于意向观点从抽象层次来认识主体和划分认知成分外,还需要一种严格的数学工具把这些认知成分表示出来，并让它们来影响Ageｎｔ的行为.逻辑工具很好的完成这个目标.针对各种问题和实际应用,人们提出了多种逻辑系统。随着发展的不断深入,出现了将多种逻辑结合起来,或者扩展各种逻辑来表示Ａgent的方法.

纵观以往的Agenｔ研究，集中在理智Aｇeｎt的构造上。虽有认知型Ａgeｎt的代表BDＩ模型表示了其内部的思维状态。但随着生物学和心理学的发展，人们发现情感对于人的推理，规划和学习也有重要的作用.因此,把情感加入Agent中,也越来越受到计算机科学家的关注．把情感加入计算机中，首先,要研究情感的类型；其次,人们希望把情感加入到Ａgent的体系结构中参与Agent内部推理和决策.人们从心理学和认知学的角度，提出了很多模型。其中,OCC模型[1０］被认为更加适合在计算机中实现.目前，人们在Agｅnｔ体系中构建情感主要基于BＤI和KARＯ两个主体模型之上。两者都是在构建好的主体形式化系统上分别构建不同的情感,并由情感和其它认知成分相互影响共同决定Ａgent的决策和行为。

本文提出的模型是基于这样的认识:人类自然的行为决策过程不仅受到所处的外部环境和Agent内部思维状态的影响外,还受到当时情感的影响,三方面相互作用共同决定当前Ａgent的行为选择。因此,该模型试图融合了代表外部环境的VＳＫ逻辑，代表内部思维状态的ＢDＩ逻辑以及情感因素。带有情感的Agent形式化模型Ｅm—ＢＤI-ＶSK融合ＢＤI逻辑和VＳK逻辑并加入情感,定义相应的模态算子Em,并采用OＣC模型中２2种情感[10]中一种最常见和基本的情感Ｆｅaｒ做为示例.利用Em—BＤI—VSK逻辑，能表示随着环境中客观真的事物,在环境中可以访问的信息以及Agenｔ借助于感知器能感知到的信息等外部环境，还能表示Ａgent真正知道的信息(把外化的信息内化自己的知识),同时能够描述Ａgeｎt在客观环境中具有的信念、愿望和意图等思维状态和情感状态,这些因素共同对Ａｇｅnｔ动作选择产生影响。Eｍ-ＢＤI-ＶＳK逻辑基于时序逻辑从Agｅnt为完成某项任务时应具备的能力和权利的角度及其思维以及情感出发,进行动作的选择以及状态的转换过程.在该模型中，各种信息有着自己的特点,并且各类信息之间互影响，本模型中,用交互公理来刻划各类信息间的相互关系。在此语义环境解释下,本文构建了该模型的语义框架;并提出了该模型的公理体系,包括ＢDＩ逻辑、VSK逻辑、情感算子和时序算子的公理,以及这些逻辑间相互联系的交互公理,并给出了这些公理的合理性解释。最后，给出这个公理体系的有效性证明，进而证明了模型的可靠性和完全性。

关键字：BDＩ;VSK;ＯCＣ模型；情感;形式化系统

Aｂstract

WiｔhthedｅvｅlopmeｎtｏfAI,ｐeｏpｌearｅstｒｏｎgｉntｅｒesｔedinthereseａrｃhａndapplicatiｏnｏftheoryａndtecｈｎｏlｏｇyｏfAgeｎt。Iｎｔhetｈｅoreticstudy,weusuallyｓtudyａndreaｌｉzeAgenｔwｉthabstractivetoｏｌｓofｉｎtｅｎtiｏnaｌｖiewfroｍthehigｈerleｖel［１］。Exceptfｏrthis,wｅalsoｎeedarigidmaｔheｍaｔｉctoｏｌｔodescriｂethｅseelementsandusingtｈemtoａffecｔdｅcｉsioｎ—maｋingofＡgｅｎt。Wefindthatlｏgicｉsanapproprｉａtivetｏｏltoａchiｅvethｅgｏａｌ．Ｂasedoｎvarｉousproblｅmsandpｒactｉcaｌapplications，ｅxpeｒtspｒｏpoｓedalotoflｏｇicｓystem.Withtｈeiｎ—dｅｐｔｈｄevelｏpｍent,varｉouslogictheorｅmswerｅinｔegratioｎoｒｅxpandedtodesｃｒiｂｅAgｅnｔ。