Abstract
De Kleer's Assumption-based Truth Maintenance System (ATMS) is a propositional inference engine designed to simplify the construction of problem solvers that search complex search spaces efficiently. The ATMS has become a key component of many problem solvers, and often the primary consumer of computational resources. Although considerable effort has gone into designing and optimizing the Lisp implementation, it now appears to be approaching the performance limitations of serial architectures. In this paper we show how the combination of a conventional serial machine and a massively parallel processor can dramatically speed up the ATMS algorithms, providing a very powerful general purpose architecture for problem solving.
Supported in part by the Natural Sciences and Engineering Research Council of Canada (NSERC) and by a grant from the System Development Foundation.
Chapter PDF
References
Cook, S., The Complexity of Theorem Proving Procedures. Proceedings of the Third Annual ACM Symposium on Theory of Computing, 1971.
D'Ambrosio, B., A Hybrid Approach to Uncertainty. International Journal of Approximate Reasoning, to appear.
de Kleer, J., An Assumption-based TMS. Artificial Intelligence 28 127–162, 1986.
de Kleer, J., Extending the ATMS. Artificial Intelligence 28 163–196, 1986.
Forbus, K. D., The Qualitative Process Engine. University of Illinois Technical Report UIUCDCS-R-86-1288, 1986.
Hillis, W. Daniel, The Connection Machine. MIT Press, Cambridge, Massachusetts, 1985
Morris, P. H., and Nado, R. A., Representing Actions with an Assumption-based Truth Maintenance System. Proceedings of the National Conference on Artificial Intelligence, Seattle, July 1987.
Stanfill, C., Personal communication.
Zabih, R., and McAllester, D., A Rearrangement Search Strategy for Determining Propositional Satisfiability. Proceedings of the National Conference on Artificial Intelligence, St. Paul, August 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dixon, M., de Kleer, J. (1988). Massively parallel Assumption-based Truth Maintenance. In: Reinfrank, M., de Kleer, J., Ginsberg, M.L., Sandewall, E. (eds) Non-Monotonic Reasoning. NMR 1988. Lecture Notes in Computer Science, vol 346. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50701-9_24
Download citation
DOI: https://doi.org/10.1007/3-540-50701-9_24
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50701-7
Online ISBN: 978-3-540-46073-2
eBook Packages: Springer Book Archive