An assumption-based TMS

This paper presents a new view of problem solving motivated by a new kind of truth maintenance system. Unlike previous truth maintenance systems which were based on manipulating justifications, this truth maintenance system is, in addition, based on manipulating assumption sets. As a consequence it...

Full description

Saved in:
Bibliographic Details
Published inArtificial intelligence Vol. 28; no. 2; pp. 127 - 162
Main Author de Kleer, Johan
Format Journal Article
LanguageEnglish
Published Amsterdam Elsevier B.V 01.03.1986
Elsevier
Subjects
Applied sciences
Artificial intelligence
Computer science; control theory; systems
Exact sciences and technology
Problem solving, game playing
Problem solving
Artificial intelligence
ATMS
Online AccessGet full text

Cover

More Information
Summary:This paper presents a new view of problem solving motivated by a new kind of truth maintenance system. Unlike previous truth maintenance systems which were based on manipulating justifications, this truth maintenance system is, in addition, based on manipulating assumption sets. As a consequence it is possible to work effectively and efficiently with inconsistent information, context switching is free, and most backtracking (and all retraction) is avoided. These capabilities motivate a different kind of problem-solving architecture in which multiple potential solutions are explored simultaneously. This architecture is particularly well-suited for tasks where a reasonable fraction of the potential solutions must be explored.
ISSN:0004-3702
1872-7921
DOI:10.1016/0004-3702(86)90080-9