With an extended formal specification language Z++++, the typical BDI (beliefs, desires and intentions) model of agents is refined formally into generic models of autonomous and interactive agents in the open and hybrid scheme using AOP (agent oriented programming) paradigm.
首先,采用面向Agent的程序设计(AOP)风范,并基于开放环境与组合技术,对Agent的BDI模型进行形式细化处理,引入开放混合结构模式的自治、交互Agent形式定义,在此基础上给出开放环境下的自治、交互MAS的形式化开放混合体系结构模型,并运用扩充了的形式开发语言Z++对其进行描述。
