A Model based Approach for Epistemic Logic Program Updates

摘要

In this paper, we represent the knowledge of an agent monitoring a network with an epistemic logic program. We then consider the problem of updating agent's knowledge with another epistemic logic program, which represents new information that should be added to the agent's knowledge base. We propose a model based approach to perform such updates. In our formalism an update is specified according to the minimal change criteria. Unlike other update approaches our approach is two fold and is efficient in dealing with ramifications and conflicts. Finally we investigate semantic properties of epistemic logic program updates.