A massively parallel knowledge-base server using a hypercube multiprocessor

The authors 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). It is shown 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.<<ETX>>

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

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

[3]  Afonso Ferreira,et al.  Parallel branch and bound on fine-grained hypercube multiprocessors , 1989, [Proceedings 1989] IEEE International Workshop on Tools for Artificial Intelligence.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[24]  Sartaj Sahni,et al.  Optimal BPC Permutations on a Cube Connected SIMD Computer , 1982, IEEE Transactions on Computers.

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

[26]  Ronald J. Brachman,et al.  An Overview of the KL-ONE Knowledge Representation System , 1985, Cogn. Sci..