Abstract
This paper describes efficient parallel first-order cost-based abductive reasoning for distributed memory systems. A search control technique of parallel best-first search is introduced into abductive reasoning mechanism, thereby finding much more efficiently a minimal-cost explanation of a given observation. We propose a PARallel Cost-based Abductive Reasoning system, PARCAR, and give an informal analysis of PARCAR. We also implement PARCAR on an MIMD distributed memory parallel computer, Fujitsu AP1000, and show some performance results.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Khayri A. M. Ali and Roland Karlsson. The Muse Or-Parallel Prolog Model and its Performance. In Proc. of the North American Conf. on Logic Programming, pages 757–776. The MIT Press, 1990.
E. Charniak and S. E. Shimony. Cost-based abduction and MAP explanation. Artificial Intelligence, 66:345–374, 1994.
Vitor S. Costa, David H. D. Warren, and Rong Yang. The Andorra-I Engine: A Parallel Implementation of the Basic Andorra Model. In Proc. of the Eighth Intl. Conf. on Logic Programming, pages 825–839. The MIT Press, 1991.
S. Huang and L. S. Davis. Parallel Iterative A * Search: An Admissible Distributed Heuristic Search Algorithm. In Proc. of the IJCAI-89, pages 23–29, 1989.
S. Kato, H. Seki, and H. Itoh. An Efficient Abductive Reasoning System Based on Program Analysis. In Static Analysis, Proc. of the 3rd Intl. Workshop, LNCS-724, pages 230–241, Padova, 1993. Springer-Verlag.
S. Kato, H. Seki, and H. Itoh. Cost-based Horn Abduction and its Optimal Search. In Proc. of the 3rd Intl. Conf. on Automation, Robotics and Computer Vision, pages 831–835, Singapore, November 1994.
J. W. Lloyd. Foundations of Logic Programming. Springer, 1984. Second, extended edition, 1987.
E. Lusk, David H. D. Warren, S. Haridi, et al. The Aurora or-parallel Prolog system. New Generation Computing, 7(2,3):243–271, 1990.
N. J. Nilsson. Principles of Artificial Intelligence. Tioga, Palo Alto, CA, 1980.
D. Poole. A Logical Framework for Default Reasoning. Artificial Intelligence, 36:27–47, 1988.
D. Poole. Probabilistic Horn abduction and Bayesian networks. Artificial Intelligence, 64:81–129, 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kato, S., Seki, H., Itoh, H. (1996). Parallel cost-based abductive reasoning for distributed memory systems. In: Foo, N., Goebel, R. (eds) PRICAI'96: Topics in Artificial Intelligence. PRICAI 1996. Lecture Notes in Computer Science, vol 1114. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61532-6_26
Download citation
DOI: https://doi.org/10.1007/3-540-61532-6_26
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61532-3
Online ISBN: 978-3-540-68729-0
eBook Packages: Springer Book Archive