{"type":"ScholarlyArticle","title":"Modal Propositional Semantics for Reason Maintenance Systems","authors":[{"name":"Allen L. Brown Jr.","slug":"allen-l-brown-jr","given":"Allen L. Brown","family":"Jr.","affiliation":""}],"abstract":"Non-monotonic logics are examined and found to be inadequate as descriptions of reason maintenance systems (sometimes called truth maintenance systems). A logic is proposed that directly addresses the problem of characterizing the mental states of a reasoning agent attempting to reason with respect to some object theory. The proposed logic, propositional dynamic logic of derivation (PDLD), is given a semantics, and a sound and complete axiomatization. The descriptive power of PDLD is demonstrated by expressing various inferential control policies as PDLD formulae. In this note I will elaborate the propositional fragment of an axiomatic semantics of reason maintenance systems (RMS's) [Do2l. The development of such a semantics stems from the desire to provide a declarative specification language for RMS's with particular emphasis on the description of the control of their reasoning processes, and to serve as a formal setting within which to compare and contrast the properties of different RMS's.","doi":null,"url":"https://ijcai.org/proceedings/1985/32","pdf":"https://ijcai.org/proceedings/1985/0032.pdf","markdown":"https://ijcai.org/proceedings/1985/32.md","bibtex":"https://ijcai.org/proceedings/1985/bibtex/32","volume":{"slug":"1985","title":"Proceedings of the Ninth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1985","url":"https://ijcai.org/proceedings/1985/","year":1985,"location":"Los Angeles, California, USA","dates":"","editors":"Aravind Joshi","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Automated Reasoning","track":"Automated Reasoning","number":32,"pages":{"first":178,"last":183},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}