{"type":"ScholarlyArticle","title":"Propositional Attitudes: Fregean Representation and Simulative Reasoning","authors":[{"name":"Lewis G. Creary","slug":"lewis-g-creary","given":"Lewis G.","family":"Creary","affiliation":"Artificial Intelligence Laboratory , Computer Science Department Stanford University ; Stanford , California 94306"}],"abstract":"This paper describes briefly a general notation that has been constructed for representing Information about propositional attitudes, and a method that Is being developed for using this notation to reason about such Information. The notation Is Fregean In spirit, and Is based on McCarthy's first-order theory of Individual concepts and propositions, extended to permit adequate representation of Iterated propositional attitudes, and with a semantically simpler representation of quantified propositions and \"definite-description\" concepts of Individuals. The notation provides a systematic and Intuitively motivated way of dealing with apparent failures of extensionality and quantification Into Intentional constructions . The reasoning method Is knowledge-based, and uses a program's own ordinary Inferential apparatus to \"simulate\" the reasoning of other Intelligent organisms. The method thus avoids any need for redundant rerepresentatlon of Information about propositions at higher levels In the hierarchy of concepts, and provides a natural approach to making realistic Inferences about the propositional attitudes of others. Toplca and Key Wordaa Representation of knowledge, formal representations, propositional attitudes , Intentional contexts, reasoning about knowledge and belief.","doi":null,"url":"https://ijcai.org/proceedings/1979/42","pdf":"https://ijcai.org/proceedings/1979/0042.pdf","markdown":"https://ijcai.org/proceedings/1979/42.md","bibtex":"https://ijcai.org/proceedings/1979/bibtex/42","volume":{"slug":"1979","title":"Proceedings of the Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1979","url":"https://ijcai.org/proceedings/1979/","year":1979,"location":"Tokyo, Japan","dates":"August 20-23, 1979","editors":"Bruce G. Buchanan","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":42,"pages":{"first":null,"last":null},"keywords":[],"videos":[],"references":[{"position":1,"raw":"Church, A. \"A Formulation of the Logic of Sense and Denotation.\" Structure Method and Meaning: Essays In Honor of Henry M. Sheffer. Edited by P. Henle et al. New York: Liberal Arts Press, 1951.","title":"A Formulation of the Logic of Sense and Denotation","authors":"A Church","year":"1951","venue":"Structure Method and Meaning: Essays In Honor of Henry M. Sheffer","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"Church, A. \"Outline of a Revised Formulation of the Logic of Sense and Denotation (Part 1).\" Nous. 7 ( 1 973) 24-33.","title":"Outline of a Revised Formulation of the Logic of Sense and Denotation (Part 1)","authors":"A Church","year":null,"venue":"Nous","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"Church, A. \"Outline of a Revised Formulation of the Logic of Sense and Denotation (Part II).\" Nous. 8 (1974) 135-156.","title":"Outline of a Revised Formulation of the Logic of Sense and Denotation (Part II)","authors":"A Church","year":"1974","venue":"Nous","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"Frege, G. \"Function und Begriff.\" Address given to the j tnaischt Gtullschaft fur Medicin und Naturwimnschaft. January 9, 1891. Translated by P. T. Geach under the title \"function and Concept.\" [ 7).","title":"Function und Begriff","authors":"G Frege","year":"1891","venue":"Address given to the j tnaischt Gtullschaft fur Medicin und Naturwimnschaft","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"Frega, G; \"Uber Begrlff und Gegenstand.\" Vitrteljahrsschrift fur ruisstnschaftlicht Philosophlt. 16 ( 1892) 192-205.","title":"Uber Begrlff und Gegenstand","authors":"G Frega","year":"1892","venue":"Vitrteljahrsschrift fur ruisstnschaftlicht Philosophlt","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"Translated by P. T. Geach under the title \"On Concept and Object.\" (7).","title":"Geach under the title","authors":"P T Translated","year":null,"venue":"On Concept and Object","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"Frege, G. \"Uber Sinn und Bedeutung.\" Ztitschrift fur Philosophie und philosophische Kritik. 100 (1892) 25-50. Translated by H. Felgl under the title \"On Sense and Nominatum.\" Readings in Philosophical Analysis. Edited by H. Felgl and W. Sellars. New York: Appleton-Century-Crofts, 1949. Also translated by M. Black under the title \"On Sense and Reference.\" (7].","title":"Uber Sinn und Bedeutung","authors":"G Frege","year":"1892","venue":"Readings in Philosophical Analysis","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"Frege, G. Translations from the Philosophical Writings of Gottlob Frege. Edited by P. Geach and M. Black. Oxford: Basil Blackwell, 1962.","title":"Translations from the Philosophical Writings of Gottlob Frege","authors":"G Frege","year":"1962","venue":null,"doi":null,"url":null,"internal_url":null},{"position":9,"raw":"Frega, G. Tht Basic Laws of Arithmetic. Exposition of the System. Translated and edited by M. Furth. Berkeley and Los Angeles: Univ. of California Press, 1967.","title":"Tht Basic Laws of Arithmetic","authors":"G Frega","year":"1967","venue":null,"doi":null,"url":null,"internal_url":null},{"position":10,"raw":"Kaplan, D. \"Quantifying ln.\" Words and Objections: Essays on tht Work of W. V. Quint. Edited by D. Davidson and J. Hlntlkka. Dordrecht, Holland: D. Reidel Publishing Co., 1969. Reprinted In Rtftrence and Modality. Edited by L. Linsky. London: Oxford University Press, 1971.","title":"Quantifying ln","authors":"D Kaplan","year":"1969","venue":"Words and Objections: Essays on tht Work of W. V. Quint","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"McCarthy, J. \"Programs with Common Sense.\" Proceedings of the Symposium on Mechanisation of Thought Processes. Teddington, England: National Physical Laboratory, 1 969. Reprinted In Semantic Information Processing.","title":"Programs with Common Sense","authors":"J Mccarthy","year":"1969","venue":"Proceedings of the Symposium on Mechanisation of Thought Processes","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"Edited by M. Minsky. Cambridge, Mass.: The MIT Press, 1968.","title":null,"authors":"M Minsky","year":"1968","venue":null,"doi":null,"url":null,"internal_url":null},{"position":13,"raw":"McCarthy, J. \"An Axiomatlzatlon of Knowledge and the Example of the Wise Man Puzzle.\" Unpublished memorandum. 1975.","title":"An Axiomatlzatlon of Knowledge and the Example of the Wise Man Puzzle","authors":"J Mccarthy","year":"1975","venue":null,"doi":null,"url":null,"internal_url":null},{"position":14,"raw":"McCarthy, J. \"Epistemological Problems of Artificial Intelligence.\" Proceedings of the Fifth International Joint Conference on Artificial Intelligence. Cambridge, Mass.: 1977. 1038-1044.","title":"Epistemological Problems of Artificial Intelligence","authors":"J Mccarthy","year":"1977","venue":"Proceedings of the Fifth International Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/1977/233"},{"position":15,"raw":"McCarthy, J. \"First Order Theories of Individual Concepts and Propositions.\" Artificial Intelligence Laboratory Memo AIM-325. Stanford University, March 1 979. Also forthcoming In Machine Intelligence 9.","title":"First Order Theories of Individual Concepts and Propositions","authors":"J Mccarthy","year":"1979","venue":null,"doi":null,"url":null,"internal_url":null},{"position":16,"raw":"Edited by D. Michie. 1979.","title":null,"authors":"D Michie","year":"1979","venue":null,"doi":null,"url":null,"internal_url":null},{"position":17,"raw":"McCarthy, J., and Hayes, P. \"Some Philosophical Problems from the Standpoint of Artificial Intelligence.\" Artificial Intelligence Laboratory Memo AIM-73. Stanford University, November 1968. Also In Machine Intelligence 4. Edited by D. Michie. New York: American Elsevier, 1969.","title":"Some Philosophical Problems from the Standpoint of Artificial Intelligence","authors":"J Mccarthy, P Hayes","year":"1968","venue":"Artificial Intelligence Laboratory Memo AIM-73","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"McDermott, D., and Sussman, G. The Conniver ReferenCI Manual. AI Lab Memo 269. Massachusetts Institute of Technology, May 1972.","title":"The Conniver ReferenCI Manual","authors":"D Mcdermott, G Sussman","year":"1972","venue":"AI Lab Memo","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"Moore, R. C. \"D-SCRIPT: A Computational Theory of Descriptions.\" Advance Papers of the Third International joint Conference on Artificial lnttlligtnct.","title":"D-SCRIPT: A Computational Theory of Descriptions","authors":"R C Moore","year":null,"venue":"Advance Papers of the Third International joint Conference on Artificial lnttlligtnct","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"Stanford, Calif., 1973. 223-229. Also In IEEE Transactions on Computm. C-26:4 (1 976) 366-373.","title":"Also In IEEE Transactions on Computm. C","authors":"Calif Stanford","year":"1973","venue":"Also In IEEE Transactions on Computm. C","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"Moore, R. C. \"Reasoning About Knowledge and Action.\" Proceedings of the Fifth International Joint Conjertnct on Artificial Intelligence. Cambridge, Mass., 1977. 223-227.","title":"Reasoning About Knowledge and Action","authors":"R C Moore","year":"1977","venue":"Proceedings of the Fifth International Joint Conjertnct on Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/1977/49"},{"position":22,"raw":"Moore, R. C. Reasoning About Knowledge and Action. Ph.D. Thesis, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, (forthcoming).","title":"Reasoning About Knowledge and Action","authors":"R C Moore","year":null,"venue":null,"doi":null,"url":null,"internal_url":"/proceedings/1977/49"},{"position":23,"raw":"Nilsson, N. A Production System for Automatic Deduction. Computer Computer Science Department Report No. STAN-CS-77-618. Stanford University, July 1977.","title":"A Production System for Automatic Deduction","authors":"N Nilsson","year":"1977","venue":null,"doi":null,"url":null,"internal_url":null},{"position":24,"raw":"Weyhrauch, R. A Users Manual for FO/... Artificial Intelligence Laboratory Memo AIM-235.1. Stanford University, July 1977.","title":"A Users Manual for FO","authors":"R Weyhrauch","year":"1977","venue":null,"doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}