Belief revision in answer set programming

Publication Type:
Conference Proceeding
ACM International Conference Proceeding Series, 2017, Part F132523
Issue Date:
Filename Description Size
arafat.hossain.235_publications.rtfPublished version17.09 kB
Microsoft Word
Full metadata record
© 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: