Abstract
The ATMS is a powerful tool for automated problem solvers. It provides an efficient mechanism for maintaining consistent sets of beliefs and recording the assumptions underlying them. This enables the problem solver to switch rapidly between contexts and compare them. Applications to larger problems have been hampered, however, by the problem solver’s inability to maintain control over theATMS.
We present a new approach which allows the problem solver to maintain tight local and global control over both normal and nogood consumers. Local control is achieved by attaching guards to individual consumers. These guards express control, rather than logical, knowledge and consist of sets of environments. Global control is achieved by specifying a set of interesting environments. Consumers are fired only when its antecedents are true in some interesting environment. We also successfully apply the same technique to limit label propagation in the ATMS. This ensures that the ATMS respects the problem solver’s wishes and only makes derivations in interesting contexts.
This research was supported by a SIEMENS doctoral fellowship.
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 subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Johan de Kleer. An assumption-based truth maintenance system, Extending the ATMS, Problem solving with the ATMS. Artificial Intelligence, 28 (2): 127–224, 1986.
Johan de Kleer and Brian Williams. Diagnosing multiple faults. Artificial Intelligence, 32 (1): 97–130, April 1987.
Adam Farquhar. Focusing ATMS-based diagnosis and prediction. Forthcoming tech report., 1989.
Kenneth D. Forbus and Johan de Kleer. Focusing the ATMS. In Proceedings AAAI, pages 193–198, August 1988.
James W. Goodwin. An improved algorithm for non-monotonic dependency net update. Technical Report LITH-MAT-R-82-83, Linkoeping University, 1982.
William A. Kornfeld. Combinatorially implosive algorithms. Communications of the ACM, 25 (10): 734–738, October 1982.
Paul Morris and Robert Nado. Representing actions with an assumption-based truth maintenance system. In Proceedings AAAI, pages 13–20, 1986.
Gregory Provan. Efficiency analysis of multiple-context TMSs in scene representation. In Proceedings AAAI, pages 173–177, 1987.
Peter Strufi. A framework for model-based diagnosis. Technical Report ZFE F2 INF22 ARM-10, SIEMENS AG, 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dressler, O., Farquhar, A. (1989). Problem Solver Control Over the ATMS. In: Metzing, D. (eds) GWAI-89 13th German Workshop on Artificial Intelligence. Informatik-Fachberichte, vol 216. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-75100-4_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-75100-4_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51743-6
Online ISBN: 978-3-642-75100-4
eBook Packages: Springer Book Archive