Intensional Concepts in Propositional Semantic Networks

An integrated statement is made concerning the semantic status of nodes in a propositional semantic network, claiming that such nodes represent only intensions. Within the network, the only reference to extensionality is via a mechanism to assert that two intensions have the same extension in some world. This framework is employed in three application problems to illustrate the nature of its solutions. The formalism used here utilizes only assertional information and no structural, or definitional, information. This restriction corresponds to many of the psychologically motivated network models. Some of the psychological implications of network processes called node merging and node splitting ore discussed. Additionally, it is pointed out that both our networks and the psychologically based networks are prone to memory confusions about knowing unless augmented by domain-specific inference processes, or by structural information.

[1]  John R. Anderson.  Language, Memory, and Thought , 1976 .

[2]  James F. Allen.  A plan-based approach to speech act recognition , 1979 .

[3]  Stuart C. Shapiro.  Path-Based and Node-Based Inference in Semantic Networks , 1978, CL.

[4]  Robert C. Moore.  Reasoning About Knowledge and Action , 1977, IJCAI.

[5]  G. Frege.  Über Sinn und Bedeutung , 1892 .

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

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

[8]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[9]  M. Hesse.  THE ENCYCLOPEDIA OF PHILOSOPHY , 1969 .

[10]  J. Anderson,et al.  Memory for information about individuals , 1977, Memory & cognition.

[11]  Lenhart K. Schubert,et al.  THE STRUCTURE AND ORGANIZATION OF A SEMANTIC NET FOR COMPREHENSION AND INFERENCE , 1979 .

[12]  Ronald J. Brachman,et al.  Special issue on knowledge representation , 1980, SGAR.

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

[14]  Allan Collins,et al.  A spreading-activation theory of semantic processing , 1975 .

[15]  Reid Hastie,et al.  Individuation and reference in memory: Proper names and definite descriptions , 1974 .

[16]  Lewis G. Creary,et al.  Propositional Attitudes: Fregean Representation and Simulative Reasoning , 1979, IJCAI.

[17]  John McCarthy.  First Order Theories of Individual Concepts and Propositions. , 1979 .

[18]  Stuart C. Shapiro.  Path-based and node-based inference in semantic networks , 1978, TINLAP '78.

[19]  Marvin Minsky,et al.  Semantic Information Processing , 1968 .

[20]  Stuart C. Shapiro,et al.  Generation as Parsing from a Network into a Linear String , 1975, CL.

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

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

[23]  Philip R. Cohen.  On knowing what to say: planning speech acts. , 1978 .

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

[25]  John McCarthy,et al.  Epistemological Problems of Artificial Intelligence , 1987, IJCAI.

[26]  David R. Dowty,et al.  Introduction to Montague semantics , 1980 .

[27]  W. V. Quine.  Quantifiers and Propositional Attitudes , 1956 .

[28]  J. Hintikka.  Semantics for Propositional Attitudes , 1969 .

[29]  C. Raymond Perrault,et al.  Analyzing Intention in Utterances , 1986, Artif. Intell..

[30]  Ronald J. Brachman,et al.  What's in a Concept: Structural Foundations for Semantic Networks , 1977, Int. J. Man Mach. Stud..

[31]  James S. Albertson.  Translations from the Philosophical Writings of Gottlob Frege , 1953 .

[32]  William A. Martin.  Roles, Co-Descriptors, and the Formal Representation of Quantified English Expressions , 1981, Am. J. Comput. Linguistics.

[33]  Stuart C. Shapiro,et al.  Generalized Augmented Transition Network Grammars for Generation from Semantic Networks , 1979, ACL.

[34]  Stuart C. Shapiro,et al.  A Knowledge Engineering Approach to Natural Language Understanding , 1982, ACL.

[35]  John R. Anderson.  The processing of referring expressions within a semantic network , 1978, TINLAP '78.

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