Updates in Epistemic Logic Programming

Sai Lakkaraju

Abstract

This paper introduces the concept of Epistemic Logic Programming proposed
by Gelfond for reasoning with incomplete information. Explains the
advantages of using Epistemic Logic Program as an agent's knowledge
representation tool over Extended Logic Program. Considers the problem of
updating an agent's knowledge,where the agent's knowledge is represented
by an Epistemic Logic Program. An update is specified according to the
minimal change on both the agent's knowledge and the actual world.
Then investigates the semantics of knowledge update and charecterize several
specific forms of knowledge update which have important applications in
reasoning about change in agent's knowledge.