Knowledge Representation in PARKA. Part 2. Experiments, Analysis, and Enhancements.

摘要

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.