Massively parallel Assumption-based Truth Maintenance
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.
KeywordsProblem Solver Parallel Processor Host Machine Serial Implementation Active Processor
Unable to display preview. Download preview PDF.
- Cook, S., The Complexity of Theorem Proving Procedures. Proceedings of the Third Annual ACM Symposium on Theory of Computing, 1971.Google Scholar
- D'Ambrosio, B., A Hybrid Approach to Uncertainty. International Journal of Approximate Reasoning, to appear.Google Scholar
- de Kleer, J., An Assumption-based TMS. Artificial Intelligence 28 127–162, 1986.Google Scholar
- de Kleer, J., Extending the ATMS. Artificial Intelligence 28 163–196, 1986.Google Scholar
- Forbus, K. D., The Qualitative Process Engine. University of Illinois Technical Report UIUCDCS-R-86-1288, 1986.Google Scholar
- Hillis, W. Daniel, The Connection Machine. MIT Press, Cambridge, Massachusetts, 1985Google Scholar
- 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.Google Scholar
- Stanfill, C., Personal communication.Google Scholar
- 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.Google Scholar