Logical Formalizations of Commonsense Reasoning: A Survey

Commonsense reasoning is in principle a central problem in artificial intelligence, but it is a very difficult one. One approach that has been pursued since the earliest days of the field has been to encode commonsense knowledge as statements in a logic-based representation language and to implement commonsense reasoning as some form of logical inference. This paper surveys the use of logic-based representations of commonsense knowledge in artificial intelligence research.

[1]  Hector J. Levesque,et al.  What Is Planning in the Presence of Sensing? , 1996, AAAI/IAAI, Vol. 2.

[2]  David L. Waltz,et al.  Understanding Line drawings of Scenes with Shadows , 1975 .

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

[4]  Barbara Messing,et al.  An Introduction to MultiAgent Systems , 2002, Künstliche Intell..

[5]  Eliseo Clementini,et al.  Qualitative Representation of Positional Information , 1997, Artif. Intell..

[6]  Ernest Davis.  Infinite Loops in Finite Time: Some Observations , 1992, KR.

[7]  L. Morgenstern.  Knowledge and the frame problem , 1991 .

[8]  K. J. Evans.  Representing and Reasoning with Probabilistic Knowledge , 1993 .

[9]  Ernest Davis,et al.  The scope and limits of simulation in automated reasoning , 2016, Artif. Intell..

[10]  Douglas B. Lenat,et al.  CYC: Using Common Sense Knowledge to Overcome Brittleness and Knowledge Acquisition Bottlenecks , 1986, AI Mag..

[11]  Ernest Davis,et al.  Knowledge and communication: A first-order theory , 2005, Artif. Intell..

[12]  David S. Touretzky,et al.  Implicit Ordering of Defaults in Inheritance Systems , 1984, AAAI.

[13]  Drew McDermott,et al.  A critique of pure reason 1 , 1987, The Philosophy of Artificial Intelligence.

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

[15]  Michael Gelfond,et al.  Answer Sets , 2008, Handbook of Knowledge Representation.

[16]  Ernest Davis,et al.  Axiomatizing Qualitative Process Theory , 2011, KR.

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

[18]  Ernest Davis,et al.  Physical Reasoning , 2008, Handbook of Knowledge Representation.

[19]  Martha Palmer,et al.  From TreeBank to PropBank , 2002, LREC.

[20]  Hector J. Levesque,et al.  Knowledge, action, and the frame problem , 2003, Artif. Intell..

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

[22]  Philip J. Davis,et al.  The Mathematical Experience , 1982 .

[23]  Anthony G. Cohn,et al.  A more expressive formulation of many sorted logic , 1987, Journal of Automated Reasoning.

[24]  Johan van Benthem,et al.  The logic of time - a model-theoretic investigation into the varieties of temporal ontology and temporal discourse, 2nd Edition , 1982, Synthese library.

[25]  Larry Wos,et al.  Automated Reasoning: Introduction and Applications , 1984 .

[26]  Rohit Parikh,et al.  Game Logic - An Overview , 2003, Stud Logica.

[27]  Moshe Y. Vardi.  Why is Modal Logic So Robustly Decidable? , 1996, Descriptive Complexity and Finite Models.

[28]  Alfonso Gerevini,et al.  Combining topological and size information for spatial reasoning , 2002, Artif. Intell..

[29]  Refractor.  Vision , 2000, The Lancet.

[30]  Lotfi A. Zadeh,et al.  Fuzzy Algorithms , 1968, Inf. Control..

[31]  Saul A. Kripke,et al.  Semantical Considerations on Modal Logic , 2012 .

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

[33]  John-Jules Ch. Meyer,et al.  Formalising Abilities and Opportunities of Agents , 1998, Fundam. Informaticae.

[34]  Rina Dechter,et al.  Constraint Processing , 1995, Lecture Notes in Computer Science.

[35]  Yehoshua Bar-Hillel,et al.  The Present Status of Automatic Translation of Languages , 1960, Adv. Comput..

[36]  Brian Falkenhainer,et al.  The Structure-Mapping Engine * , 2003 .

[37]  Patrick Doherty,et al.  TALplanner: A Temporal Logic-Based Planner , 2001, AI Mag..

[38]  Drew McDermott,et al.  A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..

[39]  Fangzhen Lin,et al.  Situation Calculus , 2008, Handbook of Knowledge Representation.

[40]  Rudolf Carnap,et al.  Introduction to Symbolic Logic and Its Applications , 1958 .

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

[42]  Michael Wooldridge,et al.  Handbook of Knowledge Representation Edited Situation Calculus , 2022 .

[43]  Ernest Davis,et al.  Representations of commonsense knowledge , 2014, notThenot Morgan Kaufmann series in representation and reasoning.

[44]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..

[45]  Yun Peng,et al.  Agent communication languages: the current landscape , 1999, IEEE Intell. Syst..

[46]  Drew McDermott,et al.  Nonmonotonic Logic and Temporal Projection , 1987, Artif. Intell..

[47]  G. Murphy,et al.  The Big Book of Concepts , 2002 .

[48]  Nils J. Nilsson,et al.  Probabilistic Logic * , 2022 .

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

[50]  Marek J. Sergot,et al.  A logic-based calculus of events , 1989, New Generation Computing.

[51]  Pavlos Peppas,et al.  Handbook of Knowledge Representation Edited Belief Revision Pavlos Peppas 8.1 Introduction , 2022 .

[52]  Gerald J. Sussman,et al.  A Computational Model of Skill Acquisition , 1973 .

[53]  Yue Cao,et al.  Total-Order Planning with Partially Ordered Subtasks , 2001, IJCAI.

[54]  Jeremy Avigad,et al.  A formally verified proof of the prime number theorem , 2005, TOCL.

[55]  Stuart J. Russell,et al.  BLOG: Probabilistic Models with Unknown Objects , 2005, IJCAI.

[56]  中園 薫.  A Qualitative Physics Based on Confluences , 1986 .

[57]  M. Egenhofer,et al.  Point-Set Topological Spatial Relations , 2001 .

[58]  Paolo Traverso,et al.  Automated planning - theory and practice , 2004 .

[59]  Ernest Davis,et al.  Commonsense reasoning and commonsense knowledge in artificial intelligence , 2015, Commun. ACM.

[60]  John F. Sowa,et al.  Chapter 5 Conceptual Graphs , 2008 .

[61]  Ernest Davis,et al.  Commonsense reasoning about containers using radically incomplete information , 2017, Artif. Intell..

[62]  Bart Selman,et al.  Satisfiability Solvers , 2008, Handbook of Knowledge Representation.

[63]  Rohit Parikh,et al.  Logical Omniscience , 1994, LCC.

[64]  Tran Cao Son,et al.  Formalizing sensing actions A transition function based approach , 2001, Artif. Intell..

[65]  Andrew R. Haas,et al.  A Syntactic Theory of Belief and Action , 1986, Artif. Intell..

[66]  Lenhart K. Schubert.  Monotonic Solution of the Frame Problem in the Situation Calculus: An Efficient Method for Worlds wi , 1990 .

[67]  Philippe Muller,et al.  A Qualitative Theory of Motion Based on Spatio-Temporal Primitives , 1998, KR.

[68]  Hector J. Levesque,et al.  Knowledge Representation and Reasoning , 2004 .

[69]  Kevin P. Murphy,et al.  Machine learning - a probabilistic perspective , 2012, Adaptive computation and machine learning series.

[70]  Michael Fisher,et al.  Temporal Representation and Reasoning , 2008, Handbook of Knowledge Representation.

[71]  Glenn Shafer,et al.  Readings in Uncertain Reasoning , 1990 .

[72]  Robert A. Kowalski,et al.  Algorithm = logic + control , 1979, CACM.

[73]  R. H. Richens,et al.  Preprogramming for mechanical translation , 1956, Mech. Transl. Comput. Linguistics.

[74]  Patrick Doherty,et al.  Temporal Action Logics , 2008, Handbook of Knowledge Representation.

[75]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[76]  Brian V. Funt,et al.  Problem-Solving with Diagrammatic Representations , 1980, Artif. Intell..

[77]  Ernest Davis.  Qualitative reasoning and spatio-temporal continuity , 2012 .

[78]  Ernest Davis,et al.  Qualitative Spatial Reasoning in Interpreting Text and Narrative , 2013, Spatial Cogn. Comput..

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

[80]  Roger C. Schank,et al.  SCRIPTS, PLANS, GOALS, AND UNDERSTANDING , 1988 .

[81]  Thomas A. Henzinger,et al.  Alternating-time temporal logic , 1999 .

[82]  Raymond Turner.  Logics in Artificial Intelligence , 1984, Lecture Notes in Computer Science.

[83]  Michael R. Genesereth,et al.  Logical foundations of artificial intelligence , 1987 .

[84]  Michael Thielscher,et al.  Reasoning robots - the art and science of programming robotic agents , 2005, Applied logic series.

[85]  James Pustejovsky,et al.  TimeML: Robust Specification of Event and Temporal Expressions in Text , 2003, New Directions in Question Answering.

[86]  Nikolaj Bjørner,et al.  Satisfiability modulo theories , 2011, Commun. ACM.

[87]  Xinlei Chen,et al.  Never-Ending Learning , 2012, ECAI.

[88]  Richmond H. Thomason,et al.  Logic and Artificial Intelligence , 2009 .

[89]  Hector J. Levesque,et al.  Projection Using Regression and Sensors , 1999, IJCAI.

[90]  David Jou,et al.  Understanding Non-equilibrium Thermodynamics: Foundations, Applications, Frontiers , 2010 .

[91]  Vladimir Lifschitz,et al.  Handbook of Knowledge Representation Edited Knowledge Representation and Classical Logic , 2022 .

[92]  Erik Sandewall.  Features and fluents : representation of knowledge about dynamical systems , 1994 .

[93]  Michael Thielscher,et al.  Ramification and Causality , 1997, Artif. Intell..

[94]  Eugene Charniak,et al.  Toward a model of children's story comprehension , 1972 .

[95]  Mehdi Dastani,et al.  A Logic of Emotions for Intelligent Agents , 2007, AAAI.

[96]  Ernest Davis.  Pouring liquids: A study in commonsense physical reasoning , 2008, Artif. Intell..

[97]  Ronald J. Brachman,et al.  "I Lied About the Trees", Or, Defaults and Definitions in Knowledge Representation , 1985, AI Mag..

[98]  Ernest Davis,et al.  The expressive power of first-order topological languages , 2013, J. Log. Comput..

[99]  James A. Hendler,et al.  The Semantic Web" in Scientific American , 2001 .

[100]  Jean-Paul Laumond,et al.  Dance Notations and Robot Motion, 1st Workshop of the Anthropomorphic Motion Factory, at LAAS-CNRS, Toulouse, France, 13-14 November, 2014 , 2015, Dance Notations and Robot Motion.

[101]  Leora Morgenstern,et al.  Motivated Action Theory: a Formal Theory of Causal Reasoning , 1994, Artif. Intell..

[102]  Bernhard Nebel,et al.  Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra , 1994, JACM.

[103]  Michael Thielscher,et al.  Modeling Actions with Ramifications in Nondeterministic, Concurrent, and Continuous Domains - and a Case Study , 2000, AAAI/IAAI.

[104]  Ernest Davis,et al.  How does a box work? A study in the qualitative dynamics of solid objects , 2011, Artif. Intell..

[105]  L. Morgenstern,et al.  Foundations of a logic of knowledge, action, and communication , 1988 .

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

[107]  Patrick Henry Winston,et al.  Learning structural descriptions from examples , 1970 .

[108]  John B. Lowe,et al.  The Berkeley FrameNet Project , 1998, ACL.

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

[110]  Joseph Y. Halpern.  Reasoning about uncertainty , 2003 .

[111]  Ernest Davis.  The kinematics of cutting solid objects , 2005, Annals of Mathematics and Artificial Intelligence.

[112]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[113]  Murray Shanahan,et al.  The Event Calculus in Classical Logic - Alternative Axiomatisations , 1999, Electron. Trans. Artif. Intell..

[114]  Gary G. Hendrix,et al.  Encoding Knowledge in Partitioned Networks , 1979 .

[115]  Benson Mates,et al.  Elementary Logic , 1965 .

[116]  A. Grzegorczyk.  Undecidability of Some Topological Theories , 1951 .

[117]  Philipp Koehn,et al.  Abstract Meaning Representation for Sembanking , 2013, LAW@ACL.

[118]  Gérard Ligozat,et al.  Reasoning about Cardinal Directions , 1998, J. Vis. Lang. Comput..

[119]  Fangzhen Lin,et al.  State Constraints Revisited , 1994, J. Log. Comput..

[120]  G. E. Hughes,et al.  An introduction to modal logic, 2e éd., 1 vol , 1973 .

[121]  Hector,et al.  High-level robotic control : beyond planning Position paper , 2002 .

[122]  Daniel Gildea,et al.  The Proposition Bank: An Annotated Corpus of Semantic Roles , 2005, CL.

[123]  Haim Gaifman,et al.  A Theory of Higher Order Probabilities , 1986, TARK.

[124]  Steven M. LaValle,et al.  Planning algorithms , 2006 .

[125]  D. Bobrow.  Qualitative Reasoning about Physical Systems , 1985 .

[126]  J. McCarthy.  Situations, Actions, and Causal Laws , 1963 .

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

[128]  M.P. Georgeff,et al.  Procedural knowledge , 1986, Proceedings of the IEEE.

[129]  Joseph Y. Halpern,et al.  From Statistics to Beliefs , 1992, AAAI.

[130]  Frank Wolter,et al.  Spatial logics with connectedness predicates , 2010, Log. Methods Comput. Sci..

[131]  Benjamin Kuipers,et al.  Qualitative Simulation , 1986, Artificial Intelligence.

[132]  John F. Sowa,et al.  Principles of semantic networks , 1991 .

[133]  Sheila A. McIlraith.  Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes) , 2000, Artif. Intell..

[134]  Elliott Mendelson,et al.  Introduction to Mathematical Logic , 1979 .

[135]  George A. Miller,et al.  WordNet: A Lexical Database for English , 1995, HLT.

[136]  Daniel S. Weld,et al.  The LPSAT System and its Application to Resource Planning , 1999, International Joint Conference on Artificial Intelligence.

[137]  Patrick Doherty,et al.  Circumscribing Features and Fluents: A Fluent Logic for Reasoning about Action and Change , 1994, ISMIS.

[138]  Joshua B. Tenenbaum,et al.  Church: a language for generative models , 2008, UAI.

[139]  David Makinson,et al.  On the logic of theory change: Safe contraction , 1985, Stud Logica.

[140]  Leo Corry,et al.  David Hilbert and the axiomatization of physics (1898-1918) : from Grundlagen der Geometrie to Gurundlagen der Physik , 2004 .

[141]  Manfred Jaeger,et al.  A Logic for Default Reasoning About Probabilities , 1994, UAI.

[142]  Eric P. Xing,et al.  Machine Comprehension using Rich Semantic Representations , 2016, ACL.

[143]  Daniel S. Weld.  Approximation Reformulations , 1990, AAAI.

[144]  Robert C. Moore.  A Formal Theory of Knowledge and Action , 1984 .

[145]  P. Pandurang Nayak,et al.  Causal Approximations , 1992, Artif. Intell..

[146]  Percy Liang,et al.  Learning executable semantic parsers for natural language understanding , 2016, Commun. ACM.

[147]  Tobias Nipkow,et al.  A FORMAL PROOF OF THE KEPLER CONJECTURE , 2015, Forum of Mathematics, Pi.

[148]  Anthony G. Cohn,et al.  Qualitative Spatial Representation and Reasoning , 2008, Handbook of Knowledge Representation.

[149]  Ronald J. Brachman,et al.  ON THE EPISTEMOLOGICAL STATUS OF SEMANTIC NETWORKS , 1979 .

[150]  Robert C. Moore.  The Role of Logic in Knowledge Representation and Commonsense Reasoning , 1982, AAAI.

[151]  Kenneth D. Forbus.  Handbook of Knowledge Representation Edited Qualitative Modeling , 2022 .

[152]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[153]  Timothy W. Finin,et al.  Semantics and Conversations for an Agent Communication Language , 1997, IJCAI.

[154]  Marco Colombetti,et al.  Research directions in agent communication , 2013, TIST.

[155]  Eugene Charniak,et al.  Statistical language learning , 1997 .

[156]  Rohit Parikh.  Logical omniscience and common knowledge: WHAT do we know and what do WE know? , 2005, TARK.

[157]  Terry Winograd,et al.  Understanding natural language , 1974 .

[158]  P. Petta,et al.  Computational models of emotion , 2010 .

[159]  Andrew Ortony,et al.  The Cognitive Structure of Emotions , 1988 .

[160]  Haixun Wang,et al.  Probase: a probabilistic taxonomy for text understanding , 2012, SIGMOD Conference.

[161]  Kurt Konolige.  Belief and incompleteness , 1984 .

[162]  Marc Pauly,et al.  A Modal Logic for Coalitional Power in Games , 2002, J. Log. Comput..

[163]  Drew McDermott,et al.  Tarskian Semantics, or No Notation Without Denotation! , 1986, Cogn. Sci..

[164]  Debasis Mitra,et al.  Qualitative Direction Calculi with Arbitrary Granularity , 2004, PRICAI.

[165]  Gary C. Borchardt,et al.  Event Calculus , 1985, IJCAI.