A Massively Parallel Knowledge-Base Server Using a Hypercube Multiprocessor

Abstract In this paper we study the parallel implementation of a traditional frame based knowledge representation system for a general purpose massively parallel hypercube architecture (such as the Connection Machine CM-2). We show that, using a widely available parallel system (instead of a special purpose architecture), it is possible to provide multiple users with efficient shared access to a large scale knowledge-base. Parallel algorithms are presented for answering multiple inference, assert and retract queries on both single and multiple inheritance hierarchies. In addition to theoretical time complexity analysis, empirical results obtained from extensive testing of a prototype implementation are presented.

[1]  William A. Woods.  What's Important About Knowledge Representation? , 1983, Computer.

[2]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[3]  Afonso Ferreira,et al.  Parallel Fractional Cascading on Hypercube Multiprocessors , 1992, Comput. Geom..

[4]  Leonard Uhr.  Multi-computer architectures for artificial intelligence - toward fast, robust, parallel systems , 1987 .

[5]  P S Sapaty.  A wave language for parallel processing of semantic networks , 1986 .

[6]  Andrew Rau-Chaplin,et al.  Implementing Data Structures on a Hypercube Multiprocessor, and Applications in Parallel Computational Geometry , 1989, J. Parallel Distributed Comput..

[7]  Philip C. Treleaven,et al.  Computer Architectures for Artificial Intelligence , 1986, Future Parallel Computers.

[8]  Benjamin W. Wah,et al.  Survey on special purpose computer architectures for AI , 1986, SGAR.

[9]  Lubomir F. Bic.  Processing of Semantic Nets on Dataflow Architectures , 1985, Artif. Intell..

[10]  Will R. Moore,et al.  Parallel architectures for AI semantic network processing , 1988, Knowl. Based Syst..

[11]  C. Greg Plaxton,et al.  Deterministic sorting in nearly logarithmic time on the hypercube and related computers , 1990, STOC '90.

[12]  Daniel G. Bobrow,et al.  Knowledge Programming in Loops: Report on an Experimental Course , 1983, AI Mag..

[13]  Allen Newell,et al.  The Knowledge Level , 1989, Artif. Intell..

[14]  Kai Hwang,et al.  Computer Architectures for Artificial Intelligence Processing , 1987, Computer.

[15]  Afonso Ferreira,et al.  A. G. Ferreira Parallel branch and bound on fine-grained hypercube multiprocessors , 1990, Parallel Comput..

[16]  Daniel G. Bobrow,et al.  On Overview of KRL, a Knowledge Representation Language , 1976, Cogn. Sci..

[17]  James Rice.  The Advanced Architectures Project , 1989, AI Mag..

[18]  Richard Fikes,et al.  The role of frame-based representation in reasoning , 1985, CACM.

[19]  W. Daniel Hillis,et al.  The connection machine , 1985 .

[20]  Dan I. Moldovan,et al.  SNAP: A VLSI architecture for artificial intelligence processing , 1985, J. Parallel Distributed Comput..

[21]  Sartaj Sahni,et al.  Data broadcasting in SIMD computers , 1981, IEEE Transactions on Computers.

[22]  David S. Touretzky,et al.  The Mathematics of Inheritance Systems , 1984 .

[23]  Ronald J. Brachman,et al.  An overview of the KL-ONE Knowledge Representation System , 1985 .

[24]  Geoffrey E. Hinton,et al.  Massively Parallel Architectures for AI: NETL, Thistle, and Boltzmann Machines , 1983, AAAI.

[25]  Peter M. Kogge,et al.  An Architectural Trail to Threaded-Code Systems , 1982, Computer.

[26]  Anoop Gupta.  Parallelism in production systems , 1987 .

[27]  James A. Hendler,et al.  Parallel Knowledge Representation on the Connection Machine , 1994, J. Parallel Distributed Comput..