Abstract
We report on a case study of the potentials for parallel execution of the inference engine of EMYCIN, a rule-based expert system. Multilisp, which supports parallel execution of tasks by means of thefuture construct, is used to implement the parallel version of the backwards-chaining inference engine. The study uses explicit specification of parallel execution and synchronization to attain parallel execution. It suggests some general techniques for obtaining parallel execution in expert systems and other applications.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
B. Buchanan, and E. Shortliffe,Rule-Based Expert Systems, Addison-Wesley, (1984).
W. Van Melle, A. Scott, J. Bennett, and M. Peairs.The Emycin Manual (STAN-CS-81-885), Stanford University, (1981).
R. Halstead, Implementation of Multilisp: Lisp on a Multiprocessor,ACM Symp. on Lisp and Functional Programming, Austin, Texas, (August 1984).
R. Halstead, Multilisp: A language for Concurrent Symbolic Computation Symbolic Computation Symbolic Computation,ACM TOPLAS,7, (4), 501–538 (October 1985).
H. Schwetman, CSIM: A C-Based, Process-Oriented Simulation Language, MCC Technical Report #PP-080-85, (July 1985).
K. Oflazer, Partitioning in Parallel Processing of Production Systems,Proc. of Int. Conf. on Parallel Processing, (1984).
C. Forgy, A. Gupta, A. Newell, and R. Wedig. Parallelism in Artificial Intelligence Problem Solving: A Case Study of Hearsay II,IEEE Trans. Computers,C-26, (2), 98–111 (February 1977).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Krall, E.J., McGehearty, P.F. A case study of parallel execution of a rule-based expert system. Int J Parallel Prog 15, 5–32 (1986). https://doi.org/10.1007/BF01379148
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01379148