摘要
在多智能体系统中,协商是Agent交互的主要形式.用形式化方法构建了基于线性时序逻辑的协商推理模型,该模型用线性时序逻辑描述在协商过程中Agent所处环境,自身能力、权力、知识、思维等随时间的变化,以及在系统运行时Agent采取异步行为.进一步完善了多Agent系统中自主的协商机制.
出处
《计算机研究与发展》
EI
CSCD
北大核心
2006年第z1期79-83,共5页
Journal of Computer Research and Development
基金
云南省自然科学基金项目(04F00062)
云南省省院省校科技合作基金项目(2004XY42)