A Semantic Network of Production Rules in a System for Describing Computer Structures

A novel Implementation of the basic mechanisms of a semantic network is presented. This constitutes merging, in terms of the underlying language architecture, of a powerful problem-solving mechanism, production-rule systems, with a proven representation formalism. Details are presented on the most basic aspects of the network, namely on representing nodes and on mechanisms for their access. Commands for definition, modification, and search-based displays of network information are discussed. The relations of the network are divided into six groups: taxonomic, structural, functional, descriptive, means-ends, and spatial. The importance of uniformly representing methods and network, and the importance of distinguishing temporary from permanent states are discussed. There is sketched a production system position on a number of relevant issues for advanced capabilities. The domain of application is the symbolic description and manipulation of computer structures at the PMS (processor-memory-switch) level. The system will ultimately be used for computer-aided design activities.

[1]  John P. McDermott,et al.  OPS, A Domain-Independent Production System Language , 1977, IJCAI.

[2]  Daniel P. Siewiorek,et al.  The CMU RT-CAD system: an innovative approach to computer aided design , 1976, AFIPS '76.

[3]  Michael D. Rychener,et al.  Control requirements for the design of production system architectures , 1977, Artificial Intelligence and Programming Languages.

[4]  Allen Newell,et al.  A Model for Functional Reasoning in Design , 1971, IJCAI.

[5]  Ronald J. Brachman,et al.  ON THE EPISTEMOLOGICAL STATUS OF SEMANTIC NETWORKS , 1979 .

[6]  Michael David Rychener,et al.  Production systems as a programming language for artificial intelligence applications. , 1976 .

[7]  William A Martin,et al.  Descriptions and the Specialization of Concepts , 1978 .

[8]  Allen Newell,et al.  AN INSTRUCTABLE PRODUCTION SYSTEM: BASIC DESIGN ISSUES1 , 1978 .

[9]  Scott E. Fahlman,et al.  Thesis progress report : a system for representing and using real-world knowledge , 1975 .

[10]  Chuck Rieger,et al.  The Declarative Representation and Procedural Simulation of Causality in Physical Mechanisms , 1977, IJCAI.

[11]  John R. Anderson,et al.  Complex Learning Processes , 1978 .

[12]  Allen Newell,et al.  Computer Structures: Readings and Examples, , 1971 .

[13]  Drew McDermott,et al.  Artificial intelligence meets natural stupidity , 1976, SGAR.

[14]  Charles M. Eastman,et al.  The representation of design problems and maintenance of their structure , 1979 .

[15]  Gary G. Hendrix,et al.  Expanding the Utility of Semantic Networks Through Partitioning , 1975, IJCAI.

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

[17]  Donald A. Waterman,et al.  Pattern-Directed Inference Systems , 1981, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[18]  Gerald J. Sussman,et al.  Electrical Design: A Problem for Artificial Intelligence Research , 1977, IJCAI.

[19]  Philip J. Hayes.  On Semantic Nets, Frames and Associations , 1977, IJCAI.

[20]  Charles Lanny Forgy,et al.  On the efficient implementation of production systems. , 1979 .

[21]  William A. Woods,et al.  What's in a Link: Foundations for Semantic Networks , 1975 .

[22]  Allen Newell,et al.  An instructable production system: basic design issues , 1977, SGAR.

[23]  Gerald Jay Sussman,et al.  SLICES: At the Boundary Between Analysis and Synthesis , 1977 .

[24]  Gerald J. Sussman,et al.  Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis , 1976, Artif. Intell..

[25]  Allen Newell,et al.  How can Merlin understand , 1973 .

[26]  D. Bobrow,et al.  Representation and Understanding: Studies in Cognitive Science , 1975 .

[27]  Jr. James Aston Moore.  The design and evaluation of a knowledge net for MERLIN , 1971 .

[28]  Herbert A. Simon,et al.  The Sciences of the Artificial , 1970 .

[29]  Michael Jeremy Knudsen.  Pmsl, an interactive language for system-level description and analysis of computer structures , 1972 .

[30]  Donald A Waterman.  Rule-Directed Interactive Transaction Agents: An Approach to Knowledge Acquisition. , 1978 .