What's in a Semantic Network?

Ever since Wood's "What's in a Link" paper, there has been a growing concern for formalization in the study of knowledge representation. Several arguments have been made that frame representation languages and semantic-network languages are syntactic variants of the first-order predicate calculus (FOPC). The typical argument proceeds by showing how any given frame or network representation can be mapped to a logically isomorphic FOPC representation. For the past two years we have been studying the formalization of knowledge retrievers as well as the representation languages that they operate on. This paper presents a representation language in the notation of FOPC whose form facilitates the design of a semantic-network-like retriever.

[1]  P. Hayes.  The Logic of Frames , 1981 .

[2]  James F. Allen.  What's Necessary to Hide?: Modeling Action Verbs , 1981, ACL.

[3]  Stuart C. Shapiro,et al.  A Net Structure for Semantic Information Storage, Deduction and Retrieval , 1971, IJCAI.

[4]  Dieter Metzing,et al.  Frame conceptions and text understanding , 1980 .

[5]  James F. Allen.  An Interval-Based Representation of Temporal Knowledge , 1981, IJCAI.

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

[7]  Donald Perlis,et al.  Language, computation, and reality , 1981 .

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

[9]  R. Hursthouse.  THE LOGIC OF DECISION AND ACTION , 1969 .

[10]  Stuart C. Shapiro,et al.  THE SNePS SEMANTIC NETWORK PROCESSING SYSTEM , 1979 .

[11]  H. Levesque,et al.  A PROCEDURAL SEMANTICS FOR SEMANTIC NETWORKS , 1979 .

[12]  Eugene Charniak,et al.  A Common Representation for Problem-Solving and Language-Comprehension Information , 1981, Artif. Intell..

[13]  Robert E. Tarjan,et al.  Efficiency of a Good But Not Linear Set Union Algorithm , 1972, JACM.

[14]  A. Haas.  Mental states and mental actions in planning , 1982 .

[15]  Nicholas V. Findler,et al.  Associative Networks- Representation and Use of Knowledge by Computers , 1980, CL.

[16]  James F. Allen,et al.  Knowledge Retrieval as Limited Inference , 1982, CADE.

[17]  Barbara J. Grosz,et al.  The representation and use of focus in dialogue understanding. , 1977 .

[18]  Eugene Charniak,et al.  The Case-Slot Identity Theory , 1981, Cognitive Sciences.

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

[20]  Charles J. Fillmore,et al.  THE CASE FOR CASE. , 1967 .

[21]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[22]  Emmon W. Bach,et al.  Universals in Linguistic Theory , 1970 .

[23]  Nils J. Nilsson,et al.  Principles of Artificial Intelligence , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[24]  Gary G. Hendrix,et al.  Encoding Knowledge in Partitioned Networks , 1979 .

[25]  James F. Allen,et al.  Argot: a system overview , 1982 .

[26]  Robert A. Kowalski,et al.  Logic for problem solving , 1982, The computer science library : Artificial intelligence series.