An attempt to formalise a non-trivial benchmark problem in common sense reasoning

Artificial Intelligence

Volumn 153, Issue 1-2, 2004, Pages 141-165

  Shanahan, Murray ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Cognitive robotics; Common sense reasoning; Naive physics

Indexed keywords

ACTUATORS; BENCHMARKING; COGNITIVE SYSTEMS; COMPUTER PROGRAMMING; FORMAL LOGIC; PROBLEM SOLVING; ROBOTICS; ROBOTS; SENSORS; THEOREM PROVING;

COGNITIVE ROBOTICS; COMMONSENSE REASONING; NAIVE PHYSICS;

ARTIFICIAL INTELLIGENCE;

EID: 1642566160     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2003.05.001     Document Type: Conference Paper

References (27)

1. Aloimonos J., Weiss I., Bandyopadhyay A. Active vision. Proc. 1st International Conference on Computer Vision, London. 1987;35-54.
2. Ballard D.H. Animate vision. Artificial Intelligence. 48:1991;57-86.
3. Coradeschi S., Saffioti A. Anchoring symbols to sensor data. Proceedings AAAI-2000, Austin, TX. 2000;129-235.
4. Davis E. Representations of Commonsense Knowledge. 1990;Morgan Kaufmann, San Mateo, CA.
5. Davis E. Axiomatizing qualitative process theory. Proc. 3rd Internat. Conf. on Principles of Knowledge Representation and Reasoning (KR-92), Cambridge, MA. 1992;177-188.
6. Davis E. The kinematics of cutting solid objects. Ann. Math. Artificial Intelligence. 9:1993;253-305.
7. Davis E. Physical reasoning: Cooking problem. The Common Sense 98 Problem Page, http://www.dcs. qmw.ac.uk/conferences/CS98/CS98Problems.html.
8. Galton A. Qualitative Spatial Change. 2000;Oxford University Press, Oxford.
9. Harnad S. The symbol grounding problem. Phys. D. 42:1990;335-346.
10. Hayes P.J. The naive physics manifesto. Michie D. Expert Systems in the Microelectronic Age. 1979;Edinburgh University Press, Edinburgh.
11. Hayes P.J. The second naive physics manifesto. Hobbs J.R., Moore R.C. Formal Theories of the Commonsense World. 1985;1-36 Ablex.
12. Hayes P.J. Naive physics 1: Ontology for liquids. Hobbs J.R., Moore R.C. Formal Theories of the Commonsense World. 1985;71-107 Ablex, Norwood, NJ.
13. Lenat D.B., Guha R.V. Building Large Knowledge-Based Systems: Representation and Inference in the CYC Project. 1990;Addison-Wesley, Reading, MA.
14. Lifschitz V. Circumscription. Gabbay D.M., Hogger C.J., Robinson J.A. The Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3: Nonmonotonic Reasoning and Uncertain Reasoning. 1994;297-352 Oxford University Press, Oxford.
15. V. Lifschitz, Cracking an egg: An exercise in commonsense reasoning, Unpublished manuscript, 1998.
16. McCain N., Turner H. Causal theories of action and change. Proceedings AAAI-97, Providence, RI. 1997;460-465.
17. McCarthy J. Mathematical logic in artificial intelligence. Daedalus. 1988;297-311.
18. Miller R.S., Shanahan M.P. Reasoning about discontinuities in the event calculus. Proc. 5th Internat. Conf. on Principles of Knowledge Representation and Reasoning (KR-96), Trento, Italy. 1996;63-74.
19. Morgenstern L. Mid-sized axiomatizations of commonsense problems: A case study in egg cracking. Studia Logica. 67:2001;333-384.
20. Randell D.A., Cui Z., Cohn A.G. A spatial logic based on regions and connection. Proc. 3rd Internat. Conf. on Principles of Knowledge Representation and Reasoning (KR-92), Cambridge, MA. 1992;165-176.
21. Simons P. Parts: A Study in Ontology. 1987;Oxford University Press, Oxford.
22. Shanahan M.P. Default reasoning about spatial occupancy. Artificial Intelligence. 74:1995;147-163.
23. Shanahan M.P. Robotics and the common sense informatic situation. Proceedings ECAI-96, Budapest. 1996;684-688.
24. Shanahan M.P. Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia. 1997;MIT Press, Cambridge, MA.
25. Shanahan M.P. The event calculus explained. Wooldridge M.J., Veloso M. Artificial Intelligence Today. Lecture Notes in Artificial Intelligence. vol. 1600:1999;409-430 Springer, Berlin.
26. Shanahan M.P. Reinventing Shakey. Minker J. Logic-Based Artificial Intelligence. 2000;233-253 Kluwer Academic, Dordrecht.
27. Shanahan M.P. A logical account of perception incorporating feedback and expectation. Proc. 8th Internat. Conf. on Principles of Knowledge Representation and Reasoning (KR-2002), Toulouse, France. 2002;3-13.