Extending The Expressive Power Of Semantic Networks

Abstract “Factual knowledge” used by natural language processing systems can be conveniently represented in the form of semantic networks. Compared to a “linear” representation such as that of the Predicate Calculus however, semantic networks present special problems with respect to the use of logical connectives, quantifiers, descriptions, and certain other constructions. Systematic solutions to these problems will be proposed, in the form of extensions to a more or less conventional network notation. Predicate Calculus translations of network propositions will frequently be given for comparison, to illustrate the close kinship of the two forms of representation.

[1]  G. Bower,et al.  Human Associative Memory , 1973 .

[2]  Robert C. Moore.  D-Script: A Computational Theory of Descriptions , 1973, IEEE Transactions on Computers.

[3]  Norman I. Badler,et al.  l.Pak: A SNOBOL-Based Programming Language for Artificial Intelligence Applications , 1973, IJCAI.

[4]  Roger C. Schank,et al.  Conceptual dependency: A theory of natural language understanding , 1972 .

[5]  Gary G. Hendrix,et al.  Language Processing Via Canonical Verbs and Semantic Models , 1973, IJCAI.

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

[7]  Keith S. Donnellan.  Reference and Definite Descriptions , 1966 .

[8]  Bertram C. Bruce.  A Model for Temporal References and Its Application in a Question Answering Program , 1972, Artif. Intell..

[9]  Oscar Firschein,et al.  A Study in Descriptive Representation of Pictorial Data , 1971, IJCAI.

[10]  C. R.,et al.  On referring , 1950 .

[11]  Hans Reichenbach,et al.  Elements of symbolic logic , 1948 .

[12]  Roger C. Schank,et al.  MARGIE: Memory Analysis Response Generation, and Inference on English , 1973, IJCAI.

[13]  Bertram C. Bruce,et al.  Some Relations Between Predicate Calculus and Semantic Net Representations of Discourse , 1971, IJCAI.

[14]  D. Paul Snyder,et al.  Modal Logic and Its Applications , 1971 .

[15]  R. F. Simmons.  Some Semantic Structures for Representing English Meanings. , 1970 .

[16]  QuillianM. Ross.  The teachable language comprehender , 1969 .

[17]  Willard Van Orman Quine,et al.  Word and Object , 1960 .

[18]  Rudolf Carnap,et al.  Meaning and Necessity , 1947 .

[19]  Patrick Henry Winston,et al.  Learning structural descriptions from examples , 1970 .

[20]  P. Strawson.  III.—ON REFERRING , 1950 .

[21]  B. Russell.  II.—On Denoting , 1905 .

[22]  Max J. Cresswell,et al.  A New Introduction to Modal Logic , 1998 .

[23]  Roger C. Schank,et al.  The fourteen primitive actions and their inferences. , 1973 .

[24]  M. Ross Quillian,et al.  The teachable language comprehender: a simulation program and theory of language , 1969, CACM.

[25]  R. Montague,et al.  Logic : Techniques of Formal Reasoning , 1964 .

[26]  B. V. Fraassen.  Singular Terms, Truth-Value Gaps, and Free Logic , 1966 .

[27]  Donald A. Norman,et al.  A process model for long-term memory. , 1972 .