Abstract
PDF (283 K)
E-mail Article
Add to my Quick Links
Cited By in Scopus (10)
doi:10.1016/j.artint.2003.05.001 
Copyright © 2003 Published by Elsevier Science B.V.
An attempt to formalise a non-trivial benchmark problem in common sense reasoning
Murray Shanahan
Received 26 February 2002;
Abstract
Most logic-based AI research works at a meta-theoretical level, producing new logics and studying their properties. Little effort is made to show how these logics can be used to formalise object-level theories of common sense. In the spirit of Pat Hayes's Naive Physics Manifesto, the present paper supplies a formalisation of a non-trivial benchmark problem in common sense physical reasoning, namely how to crack an egg. The formalisation is based on the event calculus, a well-known formalism for reasoning about action. Along the way, a number of methodological issues are raised, such as the question of how the symbols deployed in the formalisation might be grounded through a robot's interaction with the world.
Author Keywords: Common sense reasoning; Naive physics; Cognitive robotics
References
[1]. J. Aloimonos, I. Weiss and A. Bandyopadhyay, Active vision. In: Proc. 1st International Conference on Computer Vision, London (1987), pp. 35–54. View Record in Scopus | Cited By in Scopus (34)
[2]. D.H. Ballard, Animate vision. Artificial Intelligence 48 (1991), pp. 57–86. Abstract | 
PDF (1733 K)
| View Record in Scopus | Cited By in Scopus (204)
[3]. S. Coradeschi and A. Saffioti, Anchoring symbols to sensor data. In: Proceedings AAAI-2000, Austin, TX (2000), pp. 129–235.
[4]. E. Davis. Representations of Commonsense Knowledge, Morgan Kaufmann, San Mateo, CA (1990).
[5]. E. Davis, Axiomatizing qualitative process theory. In: Proc. 3rd Internat. Conf. on Principles of Knowledge Representation and Reasoning (KR-92), Cambridge, MA (1992), pp. 177–188.
[6]. E. Davis, The kinematics of cutting solid objects. Ann. Math. Artificial Intelligence 9 (1993), pp. 253–305. View Record in Scopus | Cited By in Scopus (7)
[7]. E. Davis, Physical reasoning: Cooking problem. (The Common Sense 98 Problem Page, http://www.dcs. qmw.ac.uk/conferences/CS98/CS98Problems.html).
[8]. A. Galton. Qualitative Spatial Change, Oxford University Press, Oxford (2000).
[9]. S. Harnad, The symbol grounding problem. Phys. D 42 (1990), pp. 335–346. Abstract | PDF (1024 K)
| View Record in Scopus | Cited By in Scopus (374)
[10]. P.J. Hayes, The naive physics manifesto. In: D. Michie, Editor, Expert Systems in the Microelectronic Age, Edinburgh University Press, Edinburgh (1979).
[11]. P.J. Hayes, The second naive physics manifesto. In: J.R. Hobbs and R.C. Moore, Editors, Formal Theories of the Commonsense World, Ablex (1985), pp. 1–36.
[12]. P.J. Hayes, Naive physics 1: Ontology for liquids. In: J.R. Hobbs and R.C. Moore, Editors, Formal Theories of the Commonsense World, Ablex, Norwood, NJ (1985), pp. 71–107.
[13]. D.B. Lenat and R.V. Guha. Building Large Knowledge-Based Systems: Representation and Inference in the CYC Project, Addison-Wesley, Reading, MA (1990).
[14]. V. Lifschitz, Circumscription. In: D.M. Gabbay, C.J. Hogger and J.A. Robinson, Editors, The Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3: Nonmonotonic Reasoning and Uncertain Reasoning, Oxford University Press, Oxford (1994), pp. 297–352.
[15]. V. Lifschitz, Cracking an egg: An exercise in commonsense reasoning, Unpublished manuscript, 1998
[16]. N. McCain and H. Turner, Causal theories of action and change. In: Proceedings AAAI-97, Providence, RI (1997), pp. 460–465. View Record in Scopus | Cited By in Scopus (20)
[17]. J. McCarthy, Mathematical logic in artificial intelligence. Daedalus (1988), pp. 297–311.
[18]. R.S. Miller and M.P. Shanahan, Reasoning about discontinuities in the event calculus. In: Proc. 5th Internat. Conf. on Principles of Knowledge Representation and Reasoning (KR-96), Trento, Italy (1996), pp. 63–74.
[19]. L. Morgenstern, Mid-sized axiomatizations of commonsense problems: A case study in egg cracking. Studia Logica 67 (2001), pp. 333–384.
[20]. D.A. Randell, Z. Cui and A.G. Cohn, A spatial logic based on regions and connection. In: Proc. 3rd Internat. Conf. on Principles of Knowledge Representation and Reasoning (KR-92), Cambridge, MA (1992), pp. 165–176.
[21]. P. Simons. Parts: A Study in Ontology, Oxford University Press, Oxford (1987).
[22]. M.P. Shanahan, Default reasoning about spatial occupancy. Artificial Intelligence 74 (1995), pp. 147–163. Article | PDF (1248 K)
| View Record in Scopus | Cited By in Scopus (6)
[23]. M.P. Shanahan, Robotics and the common sense informatic situation. In: Proceedings ECAI-96, Budapest (1996), pp. 684–688.
[24]. M.P. Shanahan. Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia, MIT Press, Cambridge, MA (1997).
[25]. M.P. Shanahan, The event calculus explained. In: M.J. Wooldridge and M. Veloso, Editors, Artificial Intelligence TodayLecture Notes in Artificial Intelligence vol. 1600, Springer, Berlin (1999), pp. 409–430.
[26]. M.P. Shanahan, Reinventing Shakey. In: J. Minker, Editor, Logic-Based Artificial Intelligence, Kluwer Academic, Dordrecht (2000), pp. 233–253.
[27]. M.P. Shanahan, A logical account of perception incorporating feedback and expectation. In: Proc. 8th Internat. Conf. on Principles of Knowledge Representation and Reasoning (KR-2002), Toulouse, France (2002), pp. 3–13.
