%0 Journal Article %T 基于时序逻辑的多agent系统协商模型及其推理与授权规则研究 %A 刘海庆 %A 夏幼明 %A 李 晶 %A  尹红丽 %J 武汉大学学报(信息科学版) %D 2005 %X ?在文献[1]的基础上,对多agent系统协商模型基于时序逻辑的方法进行了设计,给出了其形式化体系结构,同时给出了该模型的推理规则和授权规则。 %K 多agent系统 %K 协商模型 %K 时序逻辑 %U http://ch.whu.edu.cn/CN/abstract/abstract2284.shtml