SNePS Considered as a Fully Intensional Propositional Semantic Network

We present a formal syntax and semantics for SNePS considered as the (modeled) mind of a cognitive agent. The semantics is based on a Meinongian theory of the intensional objects of thought that is appropriate for AI considered as "computational philosophy" or "computational psychology".

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

[2]  U. BLAU,et al.  ABSTRACT OBJECTS , 1981 .

[3]  H. Castañeda.  Thinking and the structure of the world , 1974 .

[4]  Stuart C. Shapiro,et al.  Quasi-Indexical Reference in Propositional Semantic Networks , 1984, ACL.

[5]  Stuart C. Shapiro,et al.  Inference with Recursive Rules , 1980, AAAI.

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

[7]  Hector J. Levesque,et al.  An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON , 1985, IJCAI.

[8]  William J. Rapaport.  Meinongian Semantics for Propositional Semantic Networks , 1985, ACL.

[9]  Karel Lambert,et al.  Meinong and the principle of independence , 1983 .

[10]  Neil Tennant,et al.  A Defence of Arbitrary Objects , 1983 .

[11]  Stuart C. Shapiro,et al.  Intensional Concepts in Propositional Semantic Networks , 1982, Cogn. Sci..

[12]  Hector J. Levesque,et al.  KRYPTON: Integrating Terminology and Assertion , 1983, AAAI.

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

[14]  William J. Rapaport.  Non-Existent Objects and Epistemological Ontology , 1985 .

[15]  Nicholas Griffin.  Meinong and the Principle of Independence , 1985 .

[16]  Stuart C. Shapiro,et al.  Quasi-indexical reference in propositional semantic networks , 1984 .

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

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

[19]  Richard Routley,et al.  Exploring Meinong's Jungle and Beyond , 1983 .

[20]  William J. Rapaport.  How to make the World Fit Our Language: An Essay in Meinongian Semantics , 1981 .

[21]  Stuart C. Shapiro,et al.  Using Active Connection Graphs for Reasoning with Recursive Rules , 1981, IJCAI.

[22]  Hector-Neri Castañeda,et al.  Thinking and Doing , 1975 .

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

[24]  W. Rapaport.  Meinongian theories and a russellian paradox , 1978 .

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

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