Knowledge Representation in PARKA. Part 2. Experiments, Analysis, and Enhancements
Lee C. Spector, Bill Andersen, James Hendler, Brian P. Kettler, Eugene Schwartzman, Cynthia Woods, Matthew P. Evett · 1992
Our research group has designed and implemented a symbolic knowledge representation system called PARKA which runs on the Connection Machine, a massively parallel SfMD computer. The semantics of this system are discussed. The details of the Connection Machine implementation and discussions of performance considerations can he found. In the past year the PARKA project has made significant advances along several fronts of both theoretical and practical significance. This paper summarizes some of this work and outlines directions for further research.