Truth Maintenance (1990)
| Citations: | 106 - 3 self |
BibTeX
@INPROCEEDINGS{Mcallester90truthmaintenance,
author = {David Mcallester},
title = {Truth Maintenance},
booktitle = {},
year = {1990},
pages = {1109--1116}
}
Years of Citing Articles
OpenURL
Abstract
General purpose truth maintenance systems have received considerable attention in the past few years. This paper discusses the functionality of truth maintenance systems and compares various existing algorithms. Applications and directions for future research are also discussed. Introduction In 1978 Jon Doyle wrote a masters thesis at the MIT AI Laboratory entitled "Truth Maintenance Systems for Problem Solving" [ Doyle, 1979 ] . In this thesis Doyle described an independent module called a truth maintenance system, or TMS, which maintained beliefs for general problem solving systems. In the twelve years since the appearance of Doyle's TMS a large body of literature has accumulated on truth maintenance. The seminal idea appears not to have been any particular technical mechanism but rather the general concept of an independent module for truth (or belief) maintenance. All truth maintenance systems manipulate proposition symbols and relationships between proposition symbols. I will use...







