多Agent系统社会性的形式语义研究

MAS is the main research aspect of Artificial Intelligence at present, and intelligent activity is social phenomena to a great extend。Formal semantics is a powerful tool to study social MAS. This task used formal semantics for social MAS, established the BDO model for social Agents, the recursive model of Agent organization, and gave a formal semantics model for Agent organization, probability belief logic semantics and Agent logic semantics, gave the algorithm of league building and the mechanism of criterion building, analyzed Agent Oriented Programming, realized BDI-based experimental software. 42 pieces research papers have been published, the research result gives the theory basis for the further work of MAS research, improves some work of Linder、Castelfranchi, Rao, Shoham，and approaches the leading edge of this research area.

ＭＡＳ需要从社会角度来研究智能行为，而形式语义是用于描述和验证ＭＡＳ的有效方法。针对已有方法在研究ＭＡＳ社会性中产生的一些固有问题，本项目将以操作语义和并发语义为工具，集成社会性思维状态，建立Ａｇｅｎｔ的形式语义模型；给出合作等群体活动的描述及产生、演化条件，进而给出ＭＡＳ社会性的形式语义模型，以推进Ｌｉｎｄｅｒ、Ｃａｓｔｅｌｆｒａｎｃｈｉ等的工作。