分布人工智能的智能体思维状态模型的研究

Agent思维状态模型的研究是建立Agent系统的基础。已有研究没有很好地解决逻辑全知、副作用和可计算性等问题。本项目的研究基于逻辑方法，提出了思维状态的逻辑表示系统和综合思维状态模型，较好地解决了这些问题；从Agent思维状态出发，使用对策论研究了Agent的交互、协高、联盟演化和规范等机制，为理性Agent系统的实现打下了基础；建立了以多Agent交互为出发点的BDI描述语言，可以支持多Agent交互；实现了多Agent系统集成支撑环境。结合项目的研究工作共发表27篇学术论文，研究成果为MAS的进一步研究提供了理论基础，部分地改进了已有的工作，达到了国际先进水平。