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

Research on the Agent Formal System with an Emotion Operator

随着人工智能的发展,有关Agent理论和技术的研究应用引起了人们的高度关注和重视.纵观以往的Agent研究,主要集中在Agent的构造上.随着生物学和心理学的发展,把情感加入Agent中,越来越受到计算机研究者的关注.提出了带有情感算子的Agent形式化模型Em-BDI-VSK,它融合BDI逻辑和VSK逻辑并加入情感,并构建了该模型的语义框架和公理体系.

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.