Abstract
This paper presents a lattice-theoretic formalization of the ATMS which allows us to define the semantics of the ATMS, the ATMS labeling operation, as well as focusing algorithms for the ATMS. These focusing algorithms are integrated cleanly within the proposed framework by assigning a real-valued cost to the lattice boundary sets, and allow performance improvements even for cases where there is little domain-dependent knowledge. The resulting bf-atms algorithm explores a search space of size polynomial in the number of assumptions, even for problems which are proven to have labels of size exponential in the number of assumptions. Empirical testing indicates significant speedups over the standard ATMS for such problems, while retaining the multiple-context capability of an ATMS, the important properties of consistency, minimality, soundness, as well as the property of bounded completeness.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
D. Benanev, A.L. Brown, and D.E. Gaucas. An Algebraic Foundation for Truth Maintenance. In Proc. IJCAI, pages 973–980, 1987.
R.M. Bodington, G.D. Sullivan, and K.D. Baker. Experiments on the Use of the ATMS to Label Features for Object Recognition. In Proc. of ECCV-90, pages 542–551, 1990.
John W. Collins and Dennis DeCoste. CATMS: An ATMS Which Avoids Label Explosions. In Proc. of AAAI-91, pages 281–287, 1991.
Johan de Kleer. An assumption-based TMS. Artificial Intelligence, 28:127–162, 1986.
Johan de Kleer. Focusing on probable diagnoses. Proc. of AAAI-91, pages 842–848, 1991.
Johan de Kleer. Optimizing Focusing Model-Based Diagnoses. Proc. of Third Diagnosis Workshop, pages 26–29, 1992.
Johan de Kleer, Alan K. Mackworth, and Raymond Reiter. Characterizing diagnoses. Proc. of AAAI-90, pages 324–330, 1990.
Johan de Kleer and Brian C. Williams. Back to backtracking: Controlling the ATMS. Proc. of AAAI-87, pages 910–917, 1987.
Johan de Kleer and Brian C. Williams. Diagnosing multiple faults. Artificial Intelligence, 32:97–130, 1987.
Jon Doyle. A truth maintenance system. Artificial Intelligence, 12:231–272, 1979.
O. Dressler and A. Farquar. Putting the Problem Solver Back in the Driver's Seat: Contextual Control of the ATMS. In Second AAAI Workshop on Model-Based Reasoning, pages 106–112, 1990.
Kenneth D. Forbus. The qualitative process engine. In Daniel S. Weld and Johan de Kleer, editors, Readings in Qualitative Reasoning About Physical Systems, pages 220–235. Morgan Kaufmann, 1990.
Kenneth D. Forbus and Johan de Kleer. Focusing the ATMS. Proc. of AAAI-88, pages 193–198, 1988.
M. Ginsberg. Multivalued Logics: A Uniform Approach to Reasoning in Artificial Intelligence. Computational Intelligence, pages 265–316, 1988.
Carl A. Gunter, Teow-Hin Ngair, Prakash Panangaden, and Devika Subramanian. The common order-theoretic structure of version spaces and ATMS's. Technical Report MS-CIS-90-86, University of Pennsylvania, 1990.
D. McAllester. A Widely Used Truth Maintenance System. Unpublished, 1985.
Teow-Hin Ngair. Convex spaces: An order-theoretic structure for problem solving. Technical Report MIS-CS-92-60, CIS Department, University of Pennsylvania, 1992.
Teow-Hin Ngair and Gregory Provan. Focusing ATMS for Problem-Solving: A Formal Approach. Technical Report MS-CIS-92-61, University of Pennsylvania, 1992.
J. Pearl. Heuristics. Addison-Wesley, Reading, Mass., 1984.
G. Provan. Complexity Analysis of Truth Maintenance Systems, with Application to High Level Vision. PhD thesis, Faculty of Mathematics, University of Oxford, 1990.
G. Provan. The Computational Complexity of Multiple-Context Truth Maintenance Systems. In Proc. of ECAI-90, pages 522–527, 1990.
R. Reiter and J. de Kleer. Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report. In Proc. of AAAI-87, pages 183–188, 1987.
B. Selman and H. Levesque. Abductive and Default Reasoning: A Computational Core. In Proc. AAAI, pages 343–348, 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ngair, TH., Provan, G. (1993). A lattice-theoretic analysis of ATMS problem solving. In: Clarke, M., Kruse, R., Moral, S. (eds) Symbolic and Quantitative Approaches to Reasoning and Uncertainty. ECSQARU 1993. Lecture Notes in Computer Science, vol 747. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0028211
Download citation
DOI: https://doi.org/10.1007/BFb0028211
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57395-1
Online ISBN: 978-3-540-48130-0
eBook Packages: Springer Book Archive