基于时序逻辑的多agent系统协商模型及其推理与授权规则研究

？在文献[1]的基础上,对多agent系统协商模型基于时序逻辑的方法进行了设计,给出了其形式化体系结构,同时给出了该模型的推理规则和授权规则。