AGM postulates in Answer Sets.
Juan Carlos Acosta Guadarrama · 2008
Abstract. Revising and updating beliefs and knowledge bases is an important topic in knowledge representation and reasoning that requires a solid theoretical basis. As a result, various researchers have proposed Answer Set Programming as one of their key components to set up their approaches. In the need to satisfy more general principles, this paper presents a new characterisation of a semantics. It consists in performing updates of epistemic states that meets well-accepted AGM revision postulates. Besides the formalism of properties that this framework shares with other equivalent update semantics, this proposal is also supported by a solver prototype as an important component of logic programming and automatic testbed of its declarative version. The solver may help compute agent’s knowledge bases for more complex potentially-industrial applications and frameworks. 1 Abductive Programs and MGAS Abduction is an alternative process to deductive reasoning in Classical Logic