摘要
在文献[1]的基础上,对多Agent系统协商模型基于时序逻辑的方法进行了设计,给出了其形式化体系结构,同时给出了该模型的推理规则和授权规则。
In solving multi-agent system, we are faced with a series of questions of cooperation among agents, clearing up conflict, processing contradiction and so on, negotiation technology is key point in solving plan, it is also one of important contents on research of multi-agent system. In this paper, a negotiation model of multi-agent system based on lineartime temporal logic is presented and a formalized system of the model is given, and at the same time reason and accrediting rules are submitted.
出处
《武汉大学学报（信息科学版）》
EI
CSCD
北大核心
2005年第9期833-836,共4页
Geomatics and Information Science of Wuhan University
基金
云南省重点科研基金资助项目(2001F0006Z)
云南省自然科学基金资助项目(2003F0038M)。
