A glimpse of truth maintenance

Authors:
Jon Doyle
Affiliations:
Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, Massachusetts
Venue:
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
Year:
1979

Citing 2
Cited 0

A Framework for Representing Knowledge

A Framework for Representing Knowledge
On reasoning by default

TINLAP '78 Proceedings of the 1978 workshop on Theoretical issues in natural language processing

Quantified Score

Hi-index	0.00

Visualization

Abstract

To choose their actions, reasoning programs must be able to draw conclusions from limited information and subsequently revise their beliefs when discoveries invalidate previous assumptions. In the Truth Maintenance System (TMS) I introduce a new notion of "reason for belief which permits the mechanization of these abilities as a problem solver subsystem The TMS records and maintains the reasons for program beliefs. These recorded reasons are useful in constructing explanations of program beliefs and actions, and in guiding the course of action of a problem solver. This paper outlines some of the structure and applications of the TMS.