Concept of logical AI

Logical AI involves representing knowledge of an agent's world, its goals and the current situation by sentences in logic. The agent decides what to do by inferring that a certain action or course of action is appropriate to achieve the goals. We characterize briefly a large number of concepts that have arisen in research in logical AI. Reaching human-level AI required programs that deal with the common sense informatic situation. Human-level logical AI requires extensions to the way logic is used in formalizing branches of mathematics and physical science. It also seems to require extensions to the logics themselves, both in the formalism for expressing knowledge and the reasoning used to reach conclusions. A large number of concepts need to be studied to achieve logical AI of human level. This chapter presents candidates, some of them well known, but others new.

[1]  Murray Shanahan,et al.  Robotics and the Common Sense Informatic Situation , 1996, ECAI.

[2]  Patrick J. Hayes,et al.  The second naive physics manifesto , 1995 .

[3]  John McCarthy,et al.  Making Robots Conscious of Their Mental States , 1995, Machine Intelligence 15.

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

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

[6]  Raymond Reiter,et al.  Proving Properties of States in the Situation Calculus , 1993, Artif. Intell..

[7]  Josefina Sierra-Santibáñez,et al.  A Declarative Formalization of STRIPS , 1998, ECAI.

[8]  F. H. Bradley,et al.  Appearance and Reality , 1893 .

[9]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[10]  Murray Shanahan,et al.  Narratives in the Situation Calculus , 1994, J. Log. Comput..

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

[12]  Daniel C. Dennett,et al.  Brainstorms: Philosophical Essays on Mind and Psychology , 1981 .

[13]  Rob Miller,et al.  A Case Study in Reasoning about Actions and Continuous Change , 1996, ECAI.

[14]  Raymond Reiter,et al.  Temporal Reasoning in Logic Programming: A Case for the Situation Calculus , 1993, ICLP.

[15]  Allen Newell,et al.  Reflections on the Knowledge Level , 1993, Artif. Intell..

[16]  Vladimir Lifschitz,et al.  Formalizing Common Sense: Papers by John McCarthy , 1998 .

[17]  Vladimir Lifschitz,et al.  Missionaries and Cannibals in the Causal Calculator , 2000, KR.

[18]  Anthony G. Cohn,et al.  Qualitative Reasoning , 1987, Advanced Topics in Artificial Intelligence.

[19]  Hector J. Levesque,et al.  The Frame Problem and Knowledge-Producing Actions , 1993, AAAI.

[20]  Raymond Reiter,et al.  Some contributions to the metatheory of the situation calculus , 1999, JACM.

[21]  Luc De Raedt,et al.  Inductive Logic Programming: Theory and Methods , 1994, J. Log. Program..

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

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

[24]  Ivan Bratko,et al.  Applications of inductive logic programming , 1995, SGAR.

[25]  Hector J. Levesque,et al.  Foundations for the Situation Calculus , 1998, Electron. Trans. Artif. Intell..

[26]  Nils J. Nilsson,et al.  Shakey the Robot , 1984 .

[27]  Murray Shanahan.  Solving the frame problem - a mathematical investigation of the common sense law of inertia , 1997 .

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

[29]  John McCarthy,et al.  Artificial Intelligence, Logic and Formalizing Common Sense , 1989 .

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

[31]  Edward H. Shortliffe,et al.  Production Rules as a Representation for a Knowledge-Based Consultation Program , 1977, Artif. Intell..

[32]  Ramanathan V. Guha,et al.  Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project , 1990 .

[33]  D. C. Dashfield.  HER MAJESTY'S STATIONERY OFFICE , 1954 .

[34]  Robert S. Boyer,et al.  Automated Reasoning: Essays in Honor of Woody Bledsoe , 1991, Automated Reasoning.

[35]  J. McCarthy.  SITUATION CALCULUS WITH CONCURRENT EVENTS AND NARRATIVE , 2001 .

[36]  Johan de Kleer,et al.  Readings in qualitative reasoning about physical systems , 1990 .

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

[38]  Raymond Reiter,et al.  Natural Actions, Concurrency and Continuous Time in the Situation Calculus , 1996, KR.

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

[40]  Michael Gelfond,et al.  What are the Limitations of the Situation Calculus? , 1991, Automated Reasoning: Essays in Honor of Woody Bledsoe.

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

[42]  J. McCarthy,et al.  Formalizing Context (Expanded Notes) , 1994 .

[43]  Dov M. Gabbay,et al.  Nonmonotonic reasoning and uncertain reasoning , 1994 .

[44]  John McCarthy,et al.  Notes on Formalizing Context , 1993, IJCAI.

[45]  Josefina Sierra.  Declarative Formalization of Heuristics , 1998, EUROVAV.