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

A Negotiation Reasoning Model of MAS Based on Linear Temporal Logic

作　　者：尹红丽[1] 王永明[1] 夏幼明[1] 

机构地区：[1]云南师范大学计算机科学与信息技术学院,昆明,650092 华南理工大学计算机工程学院,广州,510640 云南师范大学计算机科学与信息技术学院,昆明,650092

出　　处：《计算机研究与发展》2006年第z1期79-83,共5页Journal of Computer Research and Development

基　　金：云南省自然科学基金项目(04F00062);云南省省院省校科技合作基金项目(2004XY42)

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

关 键 词：多AGENT系统 协商推理模型 线性时序逻辑 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]