Semantic computations of truth based on associations already learned

Abstract This article sets forth a detailed theoretical proposal of how the truth of ordinary empirical statements, often atomic in form, is computed. The method of computation draws on psychological concepts such as those of associative networks and spreading activation, rather that the concepts of philosophical or logical theories of truth. Axioms for a restricted class of cases are given, as well as some detailed examples.

[1]  P Suppes,et al.  Invariance of brain-wave representations of simple visual images and their names. , 1999, Proceedings of the National Academy of Sciences of the United States of America.

[2]  Mariano Sigman,et al.  Global organization of the Wordnet lexicon , 2001, Proceedings of the National Academy of Sciences of the United States of America.

[3]  P Suppes,et al.  Invariance between subjects of brain wave representations of language. , 1999, Proceedings of the National Academy of Sciences of the United States of America.

[4]  W. K Estes,et al.  Some targets for mathematical psychology , 1975 .

[5]  John A. Barnden,et al.  Semantic Networks , 1998, Encyclopedia of Social Network Analysis and Mining.

[6]  Richard C. Atkinson,et al.  Factors influencing speed and accuracy of word recognition , 1973 .

[7]  John R. Anderson.  Item-Specific and Relation-Specific Interference in Sentence Memory. , 1975 .

[8]  John R. Anderson,et al.  RECOGNITION AND RETRIEVAL PROCESSES IN FREE RECALL , 1972 .

[9]  John R. Anderson.  Retrieval of propositional information from long-term memory , 1974 .

[10]  John R. Anderson.  A spreading activation theory of memory. , 1983 .

[11]  L. Shastri,et al.  From simple associations to systematic reasoning: A connectionist representation of rules, variables and dynamic bindings using temporal synchrony , 1993, Behavioral and Brain Sciences.

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

[13]  Francis Jeffry Pelletier,et al.  Representation and Inference for Natural Language: A First Course in Computational Semantics , 2005, Computational Linguistics.

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

[15]  D. Spalding.  The Principles of Psychology , 1873, Nature.

[16]  Patrick Suppes,et al.  Stimulus-response theory of finite automata , 1969 .

[17]  P Suppes,et al.  Brain wave recognition of words. , 1997, Proceedings of the National Academy of Sciences of the United States of America.