Marker-Passing Inference in the Scone Knowledge-Base System
The Scone knowledge-base system, currently being developed at Carnegie Mellon University, implements search and inference operations using a set of marker-passing algorithms. These were originally designed for a massively parallel hardware architecture but now are implemented completely in software. The algorithms are fast, relatively simple, and they support efficient implementation of the most heavily used KB features. This paper describes these marker-passing algorithms, their strengths and limitations, and how they are used in Scone.
KeywordsKnowledge Base Parallel Machine Defense Advance Research Project Agency Default Reasoning Marker Passing
Unable to display preview. Download preview PDF.
- 1.Fahlman, S.E.: The Scone Knowledge Base (home page), http://www.cs.cmu.edu/~sef/scone/
- 3.Quillian, M.R.: Semantic Memory. In: Minsky, M.L. (ed.) Semantic Information Processing. MIT Press, Cambridge (1968)Google Scholar
- 4.Hillis, W.D.: The Connection Machine. MIT Press, Cambridge (1985)Google Scholar
- 8.Hendler, J.A.: Integrating Marker-passing and Problem Solving: A spreading activation approach to improved choice in planning. Lawrence Erlbaum, Mahwah NJ (1987) Google Scholar
- 10.Brachman, R.J., Levesque, H.J.: Knowledge Representation and Reasoning, ch. 10 and 11. Morgan Kaufmann, San Francisco (2004)Google Scholar