Knowledge Update for Multi-agent Systems Based on Modal Default Logic
Deng An-sheng · Jisuanji gongcheng · 2006
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 ? i = D i,Wi.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.