Artificial Intelligence, Logic and Formalizing Common Sense

This is a position paper about the relations among artificial intelligence (AI), mathematical logic and the formalization of common-sense knowledge and reasoning. It also treats other problems of concern to both AI and philosophy. I thank the editor for inviting it. The position advocated is that philosophy can contribute to AI if it treats some of its traditional subject matter in more detail and that this will advance the philosophical goals also. Actual formalisms (mostly first order languages) for expressing common-sense facts are described in the references.

[1]  John McCarthy,et al.  Mathematical logic in artificial intelligence , 1989 .

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

[3]  Michael Gelfond,et al.  On Stratified Autoepistemic Theories , 1987, AAAI.

[4]  John McCarthy,et al.  Ascribing Mental Qualities to Machines , 1979 .

[5]  Allen Newell,et al.  The Knowledge Level , 1989, Artif. Intell..

[6]  Vladimir Lifschitz,et al.  Benchmark Problems for Formal Non-Monotonic Reasoning, Version 2.00 , 1988, NMR.

[7]  Robert A. Kowalski,et al.  Logic for problem solving , 1982, The computer science library : Artificial intelligence series.

[8]  P. T. Geach,et al.  KNOWLEDGE AND BELIEF: An Introduction to the Logic of the Two Notions , 1963 .

[9]  V. Lifschitz.  Formal theories of action , 1987 .

[10]  Vladimir Lifschitz,et al.  Between Circumscription and Autoepistemic Logic , 1989, KR.

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

[12]  C. Cordell Green,et al.  Application of Theorem Proving to Problem Solving , 1969, IJCAI.

[13]  Drew McDermott,et al.  Default Reasoning, Nonmonotonic Logics, and the Frame Problem , 1986, AAAI.

[14]  V. Lifshitz.  Circumscriptive Theories: A Logic-Based Framework for Knowledge Representation , 1988 .

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

[16]  Vladimir Lifschitz.  Circumscriptive Theories: A Logic-based Framework for Knowledge Representation (Preliminary Report) , 1987, AAAI.

[17]  Matthew L. Ginsberg,et al.  Readings in Nonmonotonic Reasoning , 1987, AAAI 1987.

[18]  John McCarthy,et al.  Programs with common sense , 1960 .

[19]  F. Brown.  The frame problem in artificial intelligence , 1987 .

[20]  H. Dreyfus.  What Computers Can't Do: The Limits of Artificial Intelligence , 1978 .

[21]  J. McCarthy,et al.  On the model theory of knowledge , 1978 .

[22]  Brian A. Haugh,et al.  Tractable Theories of Multiple Defeasible Inheritance In Ordinary onmonotonic Lo & s , 1988 .

[23]  Moshe Y. Vardi.  Conference on Theoretical Aspects of Reasoning about Knowledge , 1990 .

[24]  Vladimir Lifshitz,et al.  Circumscriptive theories: A logic-based framework for knowledge representation , 1988, J. Philos. Log..

[25]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[26]  Drew McDermott,et al.  Non-Monotonic Logic I , 1987, Artif. Intell..

[27]  B. Russell.  I.—On the Notion of Cause , 1913 .

[28]  Leon Sterling,et al.  The Art of Prolog , 1987, IEEE Expert.

[29]  Gerald Jay Sussman,et al.  Micro-Planner Reference Manual , 1970 .

[30]  J. McCarthy.  Some Expert Systems Need Common Sense , 1984, Annals of the New York Academy of Sciences.

[31]  John McCarthy,et al.  Applications of Circumscription to Formalizing Common Sense Knowledge , 1987, NMR.

[32]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[33]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[34]  Robert C. Moore.  Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.

[35]  Joseph Y. Halpern.  Reasoning About Knowledge: An Overview , 1986, TARK.

[36]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.