Belief Revision in Answer Set Programming

Abstract

Answer Set Programming is a declarative problem solving approach, initially tailored to modeling problems in the area of Knowledge Representation and Reasoning. In this article, we provide a logic program, in the context of Answer Set Programming framework, that implements the AGM belief revision process, constructed by means of faithful preorders. The above-mentioned approach constitutes a representative implementation of the Answer Set Programming's modeling methodology, as well as a practical method/construction, bringing us a step closer to the successful development of an AGM belief revision system, for real-world applications.