基于线性时序逻辑的多Agent协商推理模型

摘要：

在多智能体系统中,协商是Agent交互的主要形式.用形式化方法构建了基于线性时序逻辑的协商推理模型,该模型用线性时序逻辑描述在协商过程中Agent所处环境,自身能力、权力、知识、思维等随时间的变化,以及在系统运行时Agent采取异步行为.进一步完善了多Agent系统中自主的协商机制。

关键词： 多Agent系统 协商推理模型 线性时序逻辑 多智能体系统 形式化方法

作者: 尹红丽 王永明 夏幼明

作者单位: 云南师范大学计算机科学与信息技术学院,昆明,650092 华南理工大学计算机工程学院,广州,510640

会议类型: 国内会议

会议名称: 第一届Agent理论与应用学术会议

会议地点: 山东烟台

会议语种:中文

页码: 79-83

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