多Agent系统合作问题求解语义模型与算法的研究

多Agent系统需要从社会性角度来研究智能行为，特别是逻辑推理和合作求解。针对已有Agent个体模型和多Agent合作问题求解研究工作中存在的问题，本项目以逻辑等为工具，给出Agent的思维属性及其相互关系的准确描述，进一步解决逻辑全知和副作用问题，从社会性角度建立无副作用的Agent个体模型，在思维状态中体现Agent的社会性和MAS的并发性，研究其并发语义和推理机制。在此基础上研究多Agent系统的动态属性，建立多Agent系统的合作求解模型，对多Agent系统中的组织、合作等行为给出统一的形式描述，继而建立相应的实现机制和算法。改进Rao, Georgeff，Wooldridge，Jennings，Tambe等人的工作。为分析，设计和实现多Agent在动态开放环境中的自主的理性的协调和合作提供理论基础。