Belief Revision and Truth Maintenance Systems: An Overview and a Proposal CSE Technical Report 98-10
Stuart C. Shapiro · 2000
This paper presents a very high-level introduction to Belief Revision and Truth Maintenance Systems, including explanations of basic terminology, a brief history, and a comment on the two literatures: the TMS literature, and the AGM Belief Revision literature. More extensive surveys in each of the two literatures are cited. The paper concludes with a proposal to continue the investigation of the two traditions, and to see how they might be brought together.