Belief revision in answer set programming
- Publication Type:
- Conference Proceeding
- ACM International Conference Proceeding Series, 2017, Part F132523
- Issue Date:
© 2017 Association for Computing Machinery. 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.
Please use this identifier to cite or link to this item: