Abstract
We present 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 maintenace 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 task where a reasonable fraction of the potential solutions must be explored.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsAuthor information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
de Kleer, J. (1986). Assumptionbased Truth Maintenance. In: Stoyan, H. (eds) GWAI-85. Informatik-Fachberichte, vol 118. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-71145-9_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-71145-9_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16451-7
Online ISBN: 978-3-642-71145-9
eBook Packages: Springer Book Archive