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