摘要： 基于模态缺省理论，建立多Agent系统的模态缺省逻辑，给出了每个主体 对应的模态缺省理论 的新知识和知识冲突的概念及其意义，主要讨论在多Agent环境下，当一个Agent的知识不足以完成推理时，可以从其它Agent处获得新的知识，从而对自身的信念集进行更新。当Wi发生变化(如遇到新的知识或出现与原信念集冲突的知识)时扩充Ei的性质和变化规律，提出了获取新扩充的较简单的求解方法，并证明了相关的定理，给出了多Agent系统的关于知识的一个动态描述过程。

关键词: 新知识, 知识冲突, 模态缺省理论, 多Agent系统

Abstract: Based on a modal default logic, a multi-agent system is built to describe knowledge update. Some concepts such as new knowledge and knowledge conflict are defined for the modal default theory . In a multi-agent system based on the modal default logic, the knowledge of an agent can be shared with others. The aim of this paper is focused on the properties and acquisition of the extension in the modal default theory, when its background Wi is changing. The related theorems about the extension are proved. Further, dynamic characteristics about the knowledge update for multi-agent system are built to describe its non-monotonicity.

Key words: New knowledge, Knowledge conflict, Modal default theory, Multi-agent system

中图分类号: 

• TP18