Classification and Retrieval of Knowledge on Parallel Marker Passing Architecture

Frame-based systems or semantic networks have been generally used for knowledge representation. In such a knowledge representation system, concepts in the knowledge base are organized based on the subsumption relation between concepts, and classification is a process of constructing a concept hierarchy according to the subsumption relationships. Since the classification process involves search and subsumption test between concepts, classification on a large knowledge base may become unacceptably slow, especially for real-time applications. In this paper, a massively parallel classification and property retrieval algorithm on a marker passing architecture is presented. The subsumption relation is first defined by using the set relationship, and the parallel classification algorithm is described based on that relationship. In this algorithm, subsumption test between two concepts is done by parallel marker passing and multiple subsumption tests are performed simultaneously. To investigate the performance of the algorithm, time complexities of sequential and parallel classification are compared. Simulation of the parallel classification algorithm was performed using the SNAP (Semantic Network Array Processor) simulator, and the influence of several factors on the execution time is discussed. >

[1]  Eugene Charniak,et al.  Passing Markers: A Theory of Contextual Influence in Language Comprehension* , 1983 .

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

[3]  Robert M. MacGregor,et al.  A Deductive Pattern Matcher , 1988, AAAI.

[4]  James G. Schmolze,et al.  Classification in the KL-ONE Knowledge Representation System , 1983, IJCAI.

[5]  Marvin Minsky,et al.  A framework for representing knowledge" in the psychology of computer vision , 1975 .

[6]  Dan I. Moldovan,et al.  Parallel Knowledge Processing in SNAP , 1993, IEEE Trans. Knowl. Data Eng..

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

[8]  Bernhard Nebel,et al.  Computational Complexity of Terminological Reasoning in BACK , 1988, Artif. Intell..

[9]  David J. Israel,et al.  Research in Knowledge Representation for Natural Language Understanding , 1980 .

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

[11]  Hector J. Levesque,et al.  The Tractability of Subsumption in Frame-Based Description Languages , 1984, AAAI.

[12]  Scott E. Fahlman,et al.  NETL: A System for Representing and Using Real-World Knowledge , 1979, CL.

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

[14]  Dan I. Moldovan,et al.  Parallel Knowledge Classification on SNAP , 1990, ICPP.

[15]  Dan I. Moldovan,et al.  SNAP: A Market-Propagation Architecture for Knowledge Processing , 1992, IEEE Trans. Parallel Distributed Syst..