基于效用的Agent多动作选择承诺机制  

An Agent's Multi-Action Commitments of Choice Approach Based on Utility

作　　者：莫思敏[1] 谭瑛[1] 曾建潮[1] 

机构地区：[1]太原重型机械学院系统仿真与计算机应用研究所,太原030024

出　　处：《计算机工程与应用》2005年第24期65-67,共3页Computer Engineering and Applications

摘　　要：研究以KARO为逻辑框架的多动作选择承诺,给出与其相关的效用函数计算方法。在引入模型状态迁移概念和相关函数、谓词后,对各种承诺建立和取消承诺的情况进行了形式化,详细给出了kripke型可能世界语义描述。丰富了KARO逻辑框架关于承诺的研究。使主体在合作时,可以充分考虑自己的情况,理性的作出选择,提高多主体间合作的协调性。An approach to multi-action commitments of choice in KARO logical framework is presented.This paper gives an approach about how to count utilities value.After having introduced the concept of transition between modelstate pairs and the defintion of functions and operators about it,this paper formalizes all kinds of conditions of getting committed and uncommitted.The description of Kripke-style possible-world semantics is given in detail.The research about commitment in KARO logical framework is being made perfectly.When multi-agent cooperate,every agent can take account of conditions itself and make a choice rationally in order to improve harmony of cooperating.

关 键 词：主体 KARO逻辑框架 选择承诺 效用 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]