Consistent Extension of Dynamic Knowledge Updating in the Multi-Agent System

Abstract

In this paper we explore the use of dynamic epistemic default logic to offer a natural way of communication policies for the management of inter-agent exchanges in the multi-agent systems. We firstly focus on the acquisition of the extension in the dynamic epistemic theory based multi-agent system when its background set absorbing new information constantly, then we add the constrained default sets to restrict the agent's inference behavior and manage to obtain the extension of constrained epistemic default logic theory via default reasoning. We also discuss the characteristic of the dynamic updating when agent meets incompatible knowledge in the logical framework of multi-agent systems and finally we proved the related theorem for knowledge updating.