Mid-Sized Axiomatizations of Commonsense Problems: A Case Study in Egg Cracking

We present an axiomatization of a problem in commonsense reasoning, characterizing the proper procedure for cracking an egg and transferring its contents to a bowl. The axiomatization is mid-sized, larger than toy problems such as the Yale Shooting Problem or the Suitcase Problem, but much smaller than the comprehensive axiomatizations associated with CYC and HPKB. This size of axiomatization permits the development of non-trivial, reusable core theories of commonsense reasoning, acts as a testbed for existing theories of commonsense reasoning, and encourages the discovery of new problems in commonsense reasoning.We present portions of core theories of containment, falling, and pouring, integrated into Shanahan's circumscriptive event calculus, and show how these can serve as the basis of an axiomatization that partly characterizes egg cracking. We discuss several commonsense reasoning problems encountered during this research, such as the Initial Specification Problem (a relative of the frame problem that occurs in theories in which fluents can trigger actions), and the Unobtainable State Problem (the problem of determining whether or not a theorem stating that one cannot get from one state to another is meaningful).

[1]  Adam Pease,et al.  Practical Knowledge Representation and the DARPA High Performance Knowledge Bases Project , 2000, KR.

[2]  Ernest Nagel,et al.  The Structure of Science , 1962 .

[3]  Hudson Turner,et al.  A Causal Theory of Ramifications and Qualifications , 1995, IJCAI.

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

[5]  Patrick J. Hayes,et al.  Naive physics I: ontology for liquids , 1989 .

[6]  Ernest Davis,et al.  A logical framework for commonsense predictions of solid object behaviour , 1988, Artif. Intell. Eng..

[7]  Johan de Kleer.  Multiple Representations of Knowledge in a Mechanics Problem-Solver , 1977, IJCAI.

[8]  斉藤 康己,et al.  Douglas B. Lenat and R. V. Guha : Building Large Knowledge-Based Systems, Representation and Inference in the Cyc Project, Addison-Wesley (1990). , 1990 .

[9]  Eyal Amir,et al.  Toward a Formalization of Elaboration Tolerance: Adding and Deleting Axioms , 2001 .

[10]  M. Shanahan.  Solving the frame problem , 1997 .

[11]  Kenneth D. Forbus.  Spatial and Qualitative Aspects of Reasoning about Motion , 1980, AAAI.

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

[13]  V. Lifschitz.  Cracking an Egg: An Exercise in Commonsense Reasoning , 1998 .

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

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

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

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

[18]  Fangzhen Lin,et al.  Embracing Causality in Specifying the Indirect Effects of Actions , 1995, IJCAI.

[19]  Johan de Kleer,et al.  A Qualitative Physics Based on Confluences , 1984, Artif. Intell..

[20]  Leora Morgenstern,et al.  Why Things Go Wrong: A Formal Theory of Causal Reasoning , 1988, AAAI.

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

[22]  Ernest Davis,et al.  Naive Physics Perplex , 1997, AI Mag..