Towards a paradigm shift in belief representation methodology

References

• Asher . N. and Kamp . J. ( 1986 ) The Knower's Paradox and representational theories or attitudes. In J. Y. Halpern (ed). Theoretical aspects of reasoning about knowledge: proceedings of the 1986 conference ( Los Altos . CA: Morgan Kaufmann ), 131 – 147 .
   Google Scholar
• Asher . N. and Karnp . J. ( 1987 ) Self-reference, attitudes and paradox. Procs. 1986 Conf. all Property Theory, University of Massachusetts. Amherst .
   Google Scholar
• Ballim , A. ( 1987 ) The subjective ascription or belief to agents. In J. Hallam and C. Mellish (eds). Advallces in artificial intelligence , ( Chichester . UK : Ellis Horwood ).
   Google Scholar
• Barnden , J. A. ( 1983 ) Intensions as such: an outline. Procs. 8th Int. Joint Conf. all Artificial Intelligence, Karlsruhe . FR Germany.
   Google Scholar
• Barnden . J. A. ( 1986 a) Imputations and explications: representational problems in treatments or propositional attitudes. Cognitive Science , 10 : 319 – 364 .
   Google Scholar
• Barnden , J. A. ( 1986 b) A viewpoint distinction in the representation or propositional attitudes. Proceedings of the 5th Nat. Conf. on Artificial Intelligence (AAAI86) , Philadelphia , PA .
   Google Scholar
• Barnden , J. A. ( 1987 a) Interpreting propositional attitude reports: towards greater freedom and control. In B. du Boulay . D. Hogg and L. Steels (eds). Advances in artificial intelligence-II , ( Amsterdam : Elsevier ( North-Holland )).
   Google Scholar
• Barnden , J. A. ( 1987 b) Avoiding some unwarranted entailments among nested attitude reports. Memoranda in Computer and Cognitive Science, No. MCCS-87--113, Computing Research Laboratory , New Mexico State University.
   Google Scholar
• Barnden . J. A. ( 1988 a) Propositional attitudes. commonsense reasoning, and metaphor. PrOfS. 10th Annual Conf of the Cognitive Science Soc. , ( Hillsdale . NJ : Lawrence Erlbaum ), 347 – 353 .
   Google Scholar
• Barnden . J. A. ( 1988b ) Propositional attitudes, polysemy. and metaphor. Memoranda in Computer and Cognitive Science. , No. MCCS-88--139. Computing Research Laboratory. New Mexico State University .
   Google Scholar
• Barwise , J. and Perry . J. ( 1983) Situations and attitudes , ( Cambridge.MA : MIT Press ).
   Google Scholar
• Carbonell , J. G. ( 1980 ) Metaphor-a key to extensible semantic analysis. Procs. 18th Annual Meeting of the Association for Computational Linguistics , Philadelphia.
   Google Scholar
• Carbonell . J. G. ( 1982 a) Towards a computational model of metaphor in commonsense reasoning, Procs. 4th Annual Conference of the Cognitive Science Society , Ann Arbor. Michigan .
   Google Scholar
• Carbonell , J. G. ( l982b ) Metaphor: an inescapable phenomenon in natural-language comprehension. In W. Lehnert and M. Ringle (eds). Strategies for natural language processing , ( Hillsdale , NJ : Lawrence Erlbaurn ).
   Google Scholar
• Chellas , B. F. ( 1980 ) Modal logic , ( Cambridge : Cambridge University Press ).
   Google Scholar
• Church . A , ( 1951 ) A formulation of the logic of sense and denotation. In P. Henle (ed.). Structure, method and meaning: essays in honor of Henry M. Sheffer , ( New York : Liberal Arts Press ).
   Google Scholar
• Church . A. ( 1973 ) Outline of a revised formulation of the logic of sense and denotation (part I). Nous. , 7 : 24 – 33 .
   Google Scholar
• Church , A. ( 1974 ) Outline of a revised formulation of the logic of sense and denotation (part II). Nous. , 8 : 135 – 156 ,
   Google Scholar
• Creary . L, G. ( 1979 ) Propositional attitudes: Fregeau representation and simulative reasoning. Procs. 6th lnt. Ioint Conf. on Artificial Intelligence , Tokyo .
   Google Scholar
• Crcary , L. G. and Pollard , C. J. ( 1985 ) A computational semantics for natural language. Procs. 23rd Ann. Meeting of the Association for Computational Linguistics , University of Chicago.
   Google Scholar
• Cresswell . M. J. ( 1985 ) Structured meanings: the semantics of propositional attitudes , ( Cambridge , MA : MIT Press ).
   Google Scholar
• Dinsmore , J. ( 1987 ) Mental spaces from a functional perspective. Cognitive Science , vII: 1 – 21 .
   Google Scholar
• Drapkin , J. and Perlis , D. ( 1986 ) Step logics: an alternative approach to limited reasoning. Procs. 7th Int. European Conf. on Artificial Intelligence , Vol. II . Brighton , UK .
   Google Scholar
• Fagin , R. and Halpern , Y. J. ( 1987 ) Belief, awareness and limited reasoning. Artificial Intelligence , 34 : 39 – 76 .
   Web of Science ®Google Scholar
• Fainsilbcr , L , and Ortony , A. ( 1987 ) Metaphorical uses of language in the expression of emotions. Metaphor and Symbolic Activity , 2 : 239 – 250 .
   Google Scholar
• Fass , D. C. ( 1987 ) Collative Semantics: an overview of the current Meta5 program. Memoranda in Computer and Cognitive Science , No, MCCS-87--112, Computing Research Laboratory. New Mexico State University .
   Google Scholar
• Fauconnier , G. ( 1985 ) Mental spaces: aspects of meaning construction in natural language , ( Cambridge , MA : MIT Press ).
   Google Scholar
• Green , K. ( 1985 ) Is a logic for belief sentences possible? Phil. Studies , 47 : 29 – 55 ,
   Google Scholar
• Haas , A. R. ( 1986 ) A syntactic theory of belief and action. Artificial Intelligence , 28 : 245 – 292 .
   Web of Science ®Google Scholar
• Halpern , J. Y. (ed.) ( 1986 ) Theoretical aspects of reasoning abolit knowledge: proceedings of the 1986 conference , ( Los Altos , CA : Morgan Kaufmann ).
   Google Scholar
• Hellan . L. ( 1981 ) On semantic scope. In F. Heny (ed.), Ambiguities in intensional contexts , ( Dordrecht : D. Reidel ).
   Google Scholar
• Hobbs . J. R. ( 1983 a) Metaphor interpretation as selective inferencing: cognitive processes in understanding metaphor (Part I). Empirical Studies of the Arts , I : 17 – 33 .
   Google Scholar
• Hobbs . J. R. ( 1983 b) Metaphor interpretation as selective inferencing: cognitive processes in understanding metaphor (Part 2). Empirical Studies of the Arts , I: 125 – 141 .
   Google Scholar
• Hobbs , J. R. ( l985a ) On the coherence and structure of discourse. Report No. CSLI-85--37, Center for the Study of Language and Information , Stanford University , CA .
   Google Scholar
• Hobbs , J. R. ( 1985 b) Ontological promiscuity. Procs. 23rd Ann. Meeting of the Association for Computational Linguistics , University of Chicago .
   Google Scholar
• Johnson , M. ( 1987 ) The body in the mind , ( Chicago : Chicago University Press ).
   Google Scholar
• Johnson-Laird , P. N. ( 1983 ) Mental models , ( Cambridge , MA : Harvard University Press ).
   Google Scholar
• Konolige , K. ( 1983 ) A deductive model of belief. Procs. 8th Int. Joint Conf. on Anificial Intelligence , Karlsruhe , FR Germany.
   Google Scholar
• Konolige , K. ( 1986 ) What awareness isn't: a sentential view of implicit and explicit belief. In J. Y. Halpern (ed.). Theoretical aspects of reasoning about knowledge: proceedings of the 1986 conference , ( Los Altos . CA : Morgan Kaufmann ), 241 – 250 .
   Google Scholar
• Kraut , R. ( 1983 ) There are no de dicta attitudes. Synthese , 54 : 275 – 294 .
   Google Scholar
• Lakoff , G. ( 1987 ) Women, fire and dangerous things , ( Chicago : University of Chicago Press ).
   Google Scholar
• Lakoff , G. and Johnson , M. ( 1980 ) Metaphors we live by , ( Chicago : University of Chicago Press ).
   Google Scholar
• Langford , C. H. ( 1942 ) The notion of analysis in Moore's philosophy. In P. A. Sehilpp (ed.). The Philosophy of G. E. Moore , ( Evanston and Chicago : Northwestern University ).
   Google Scholar
• Larsen , S. F. ( 1987 ) Remembering and the archaeology metaphor. Metaphor and Symbolic Activity , 2 : 187 – 199 .
   Web of Science ®Google Scholar
• Levesque . H. J. ( 1984 ) A logic of implicit and explicit belief. Procs. Natl. Conf. on Artificial Intelligence. , University of Texas at Austin .
   Google Scholar
• Linsky . L. ( 1983 ) Oblique contexts , ( Chicago : University of Chicago Press ).
   Google Scholar
• Maida , A. S. ( 1984) Belief spaces: foundations of a computational theory of belief. Tech. Rcp. CS-84--22, Dept. of Compo Sci. , The Pennsylvania State University.
   Google Scholar
• Maida , A. S. ( 1986 ) Introspection and reasoning about tbe beliefs of other agents. Procs. 8th Conference of the Cognitive Science Society. ,
   Google Scholar
• Maida . A. S. and Shapiro . S.c. ( 1982 ) Intensional concepts in propositional semantic networks. Cognitive Science , 6 : 291 – 330 .
   Web of Science ®Google Scholar
• Mates . B. ( 1950 ) Synonymity. University of California Publications in Philosophy , 25 : 201 – 226 . [ Reprinted in L. Linsky (ed.), Semantics and the philosophy of language. Urbana : University of Illinois Press , 1952 ].
   Google Scholar
• McCartby , J. ( 1979 ) First order tbeories of individual concepts and propositions. In J. E. Hayes , D. Micbie and L. I. Mikulicb (eds). Machine Intelligence , 9 ( Chicbester : Ellis Horwood ).
   Google Scholar
• Montague , R. ( 1970 ) Pragmatics and intensional logic. Synthese. , 22 : 68 – 94 .
   Google Scholar
• Montague , R. ( 1974 ) Syntactic treatments of modality. with corollaries on reftcxion principles and finite axiornatizability. In R. H. Thomason (ed.). Formal Philosophy: Selected Papers of Richard Montague , ( New Haven : Yale University Press ).
   Google Scholar
• Moore , G. E. ( 1942 ) A reply to my critics. In P. A. Schilpp (ed.). The Philosophy of G. E. Moore , ( Evanston and Chicago : Northwestern University ).
   Google Scholar
• Morgenstern , L. ( 1986 ) A first-order theory of planning, knowledge, and action. In J. Y. Halpern (ed.). Theoretical aspects of reasoning about knowledge: proceedings of the 1986 conference , ( Los Altos , CA : Morgan Kaufmann ). 99 – 114 .
   Google Scholar
• Parsons , T. ( 1980 ) Nonexistent objects , ( New Haven : Yale University Press ).
   Google Scholar
• Partee , B. H. ( 1982 ) Belief sentences and the limits of semantics. In S. Peters and E. Saarinen (eds). Processes, beliefs and questions , ( Dordreeht: Reidel ).
   Google Scholar
• Perlis . D. ( 1985 ) Languages with self-reference 1: Foundations. Artificial Intelligence. , 25 : 301 – 322 .
   Web of Science ®Google Scholar
• Perlis , D. ( 1988 ) Languages with self-reference 11: knowledge, belief and modality. Artificial Intelligence. , 34 : 179 – 212 .
   Web of Science ®Google Scholar
• Quine , W. V. O. ( 1981 ) Intensions revisited. In W. V. Quine (ed.). Theories and things , ( Cambridge , MA : Harvard University Press ), 113 – 123 .
   Google Scholar
• Rapaport , W. J. ( 1986 ) Logical foundations of belief representation. Cognitive Science. , 10 : 371 – 422 .
   Google Scholar
• Reddy , M. J. ( 1979 ) The conduit metaphor-a case of frame conflict in our language about language. In A. Ortony (ed.). Metaphor and Thought , ( Cambridge , UK : Cambridge University Press ), 284 – 324 .
   Google Scholar
• Saarinen , E. ( 1981 ) Quantifier phrases are (at least) five ways ambiguous in intensional contexts. In F. Heny (ed.). Ambiguities in Intensional Contexts , ( Dordrecht : D. Reidel ).
   Google Scholar
• Schank , R. C. ( 1973 ) Identification of conceptualizations underlying natural language. In R. C. Schank and K. M. Colby (eds). Computer models of thought and language , ( San Francisco : Freeman ), 187 – 247 .
   Google Scholar
• Shapiro , S. C. and Rapaport , W. J. ( 1986 ) SNePS considered as a fully intensional propositional semantic network. Procs. 5th National Conf. on Artificial Intelligence (AAAI-186). ,
   Google Scholar
• Stich , S. ( 1983 ) From folk psychology to cognitive science: the case against belief , ( Cambridge , MA : MIT Press ).
   Google Scholar
• Sweetser , E. E. ( 1987 ) Metaphorical models of thought and speech: a comparison of historical directions and metaphorical mappings in the two domains. In L. Michaelis , J. Aske and H. Filip (eds). Procs. 13th Annual Meeting of the Berkeley Linguistics Society. ,
   Google Scholar
• Sweetser , E. E. (forthcoming). From etymology to pragmatics , ( Cambridge : Cambridge University Press ).
   Google Scholar
• Talmy , I. , ( 1985 ) Force dynamics in language and thought. Chicago Linguistics Society 21 , Part 2: Parasession on causatives and agentivity: , 293 – 337 .
   Google Scholar
• Talrny , I. ( 1988 ) Force dynamics in language and cognition. Cognitive Science , 12 : 49 – 100 .
   Google Scholar
• Thomason , R. H. ( 1980 ) A note on syntactical treatments of modality. Synthese , 44 : 391 – 395 .
   Google Scholar
• Tomlinson , B. ( 1986 ) Cooking, mining, gardening, hunting: metaphorical stories writers tell about tbeir composing processes. Metaphor and Symbolic Activity , I: 57 – 79 .
   Google Scholar
• Wilks , Y. and Ballim , A. ( 1987 ) Multiple agents and the heuristic ascription of belief. Procs. 10th Int, Joint Conf. on Artificial Intelligence. , Milan , Italy .
   Google Scholar
• Wilks , Y. , Ballirn , A. and Barnden , J. A. ( 1988 ) Belief ascription, metaphor and intensional identification. Memoranda in Computer and Cognitive Science , No. MCCS-88--138, Computing Research Laboratory, New Mexico State University .
   Google Scholar
• Wilks , Y. and Bien , J. ( 1983 ) Beliefs, points of view and multiple environments. Cognitive Science. , 8 : 125 – 146 .
   Google Scholar