MULTI-AGENT BELIEF AND NORMATIVE ABILITY REASONING

摘要：

Multi-agent cooperation logic gained great research interest in multi-agent systems community in the last five years. In this paper, general concurrent game structures are developed based on extending concurrent game structures. By introducing three kinds of belief operators into ATL (Alternating-time Temporal Logic), a new multi-agent cooperation logic named ATBL (Alternating-time Temporal Belief Logic) is developed. And then normative ability is introduced into ATBL, and NATBL is developed. Further research is undertaken to model cooperative problem solving process based on these new logics.

关键词： Normative ability alternating-time temporal logic multi-agent systems belief epistemic logic

作者: ZHENG-YUAN NING XIAN-WEI LAI SHAN-LI HU LIN-XIANG JIAN

作者单位: Dept.of Computer Science and Technology, Fujian Agriculture and Forestry University, Fuzhou 350002, Dept.of Computer Science and Technology, Fujian Agriculture and Forestry University, Fuzhou 350002,

会议类型: 国际会议

会议名称: 2008 International Conference on Machine Learning and Cybernetics(2008机器学习与控制论国际会议)

会议地点: 昆明

会议语种:英文

页码: 953-956

在线出版日期: 2008-07-12（万方平台首次上网日期，不代表论文的发表时间）