Institute for Systems Research
Permanent URI for this communityhttp://hdl.handle.net/1903/4375
Browse
2 results
Search Results
Item Advances in High Performance Knowledge Representation(1996) Stoffel, K.; Taylor, M.; Hendler, James A.; Saltz, J.; Andersen, William; ISRReal world applications are demanding that KR systems provide support for knowledge bases containing millions of assertions. We present Parka-DB, a high-performance reimplementation of the Parka KR language which uses a standard relational DBMS. The integration of a DBMS and the Parka KR language allows us to efficiently support complex queries on extremely large KBs using a single processor, as opposed to our earlier massively parallel system. In addition, the system can make good use of secondary memory, with the whole system needing less than 16MB of RAM to hold a KB of over 2,000,000 assertions. We demonstrate empirically that this reduction in primary storage requires only about 10% overhead in time, and decreases the load time of very large KBs by more than two orders of magnitude.Item Knowledge Representation in PARKA - Part 2: Experiments, Analysis, and Enhancements(1992) Spector, Lee; Andersen, William; Hendler, James A.; Kettler, Brian; Schwartzman, Eugene; Woods, Cynthia; Evett, Matthew; ISROur research group has designed and implemented a symbolic knowledge representation system called PARKA which runs on the Connection Machine, a massively parallel SIMD computer [9]. The semantics of this system are discussed in [11]. The details of the Connection Machine implementation and discussions of performance considerations can be found in [3], [4], [5], [6] and [7]. 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.