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

• 作者: 曾建潮 莫思敏 谭瑛
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 主体 KARO逻辑框架 选择承诺 效用
• 年，卷（期）: 2005,（24）
• 所属期刊栏目: 学术探讨
• 页码范围: 65-67
• 页数: 3页
• 分类号: TP301
• 字数: 4459字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2005.24.020

摘要

研究以KARO为逻辑框架的多动作选择承诺,给出与其相关的效用函数计算方法.在引入模型状态迁移概念和相关函数、谓词后,对各种承诺建立和取消承诺的情况进行了形式化,详细给出了kripke型可能世界语义描述.丰富了KARO逻辑框架关于承诺的研究.使主体在合作时,可以充分考虑自己的情况,理性的作出选择,提高多主体间合作的协调性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾建潮	太原重型机械学院系统仿真与计算机应用研究所	83	864	15.0	26.0
2	谭瑛	太原重型机械学院系统仿真与计算机应用研究所	11	177	5.0	11.0
3	莫思敏	太原重型机械学院系统仿真与计算机应用研究所	1	0	0.0	0.0