基于Agent群体的计算

多Ａｇｅｎｔ系统需要从Ａｇｅｎｔ群体角度来研究智能行为，在已有单Ａｇｅｎｔ模型研究基础上，本项目针对现今群体Ａｇｅｎｔ行为研究中存在的问题，以逻辑为工具，依联盟、等价关系来给出Ａｇｅｎｔ群体模型，建立一种体现Ａｇｅｎｔ群体的多Ａｇｅｎｔ系统求解机制以及基于Ａｇｅｎｔ的语言原型，进而给出操作语义及并发语义等语义解释，以推进Ｊｅｎｎｉｎｇｓ、ＢａｂｂａＪ。Ｇｏｓｚ等人的工作。