{"type":"ScholarlyArticle","title":"Connections Between the ATMS and AGM Belief Revision","authors":[{"name":"Simon Dixon","slug":"simon-dixon","given":"Simon","family":"Dixon","affiliation":""},{"name":"Norman Y. Foo","slug":"norman-y-foo","given":"Norman Y.","family":"Foo","affiliation":""}],"abstract":"The Assumption-based Truth Maintenance System (ATMS) [de Kleer, 1986] is the most well known implementation of any dynamic reasoning system. Some connections have been established between the ATMS and various nonmonotonic logics (e.g. autoepistemic logic [Reinfrank et al., I 989]). We describe the relationship between the ATMS and the AGM logic of belief [Gardenfors, 1988], and show that it is possible to simulate the behaviour of the ATMS using the AGM logic by encoding the justificational information as an epistemic entrenchment ordering. The ATMS context switching is performed by AGM expansion and contraction operations. We present an algorithm for calculating this entrenchment ordering, and prove its correctness relative to a functional specification of the ATMS. This result demonstrates that the AGM logic, which is based on the coherence theory of justification, is able to achieve both coherence and foundational style behaviour via the choice of epistemic entrenchments.","doi":null,"url":"https://ijcai.org/proceedings/1993/75","pdf":"https://ijcai.org/proceedings/1993/0075.pdf","markdown":"https://ijcai.org/proceedings/1993/75.md","bibtex":"https://ijcai.org/proceedings/1993/bibtex/75","volume":{"slug":"1993","title":"Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1993","url":"https://ijcai.org/proceedings/1993/","year":1993,"location":"Chambéry, France","dates":"","editors":"Ruzena Bajcsy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Knowledge Representation","track":"Knowledge Representation","number":75,"pages":{"first":534,"last":538},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}