基于动态描述逻辑的主体模型和协作过程就是既考虑了智能主体的知识表示与推理问题,又紧密地结合主体的设计与编程问题,把表示与推理应用到主体的具体设计中.它充分利用了动态描述逻辑的统一的形式化框架,同时从静态的知识表示与推理和动态的运行与变化两个方面来刻画主体的心智状态和协作过程,探讨了主体信念、行为能力、目标和规划等心智要素的表示、推理与修改以及联合目标的形成、多目标的规划问题.多主体协作模型将理论和实践有机地结合起来,能够充分体现智能主体的本质特征与运行机制,为多主体系统的设计与编程奠定了很好的基础.
Dynamic description logic is proposed for formalizing multi-agent cooperation process with a clearly defined syntax and semantics. By combining the features of knowledge representation and reasoning of description logic and action theory for multi-agent interaction, the present logic is effective and significant for both static and dynamic environment. On the static side, a description logic is employed for the representation and reasoning of belief and goal. On the dynamic side, an object-oriented method is adopted to describe actions. The description of each action is composed of the models, preconditions and effects, which reflects the real changes of the world and is very suitable for belief revision and multi-agent planning. Based on the logic, how to form joint goal for multi-agent cooperation is investigated. In particular, an effective dynamic planning algorithm is proposed for scheduling sub goals, which is greatly crucial for coordinating multi-agent behaviors.