Mid-sized axiomatizations of commonsense problems: A case study in egg cracking

Studia Logica

Volumn 67, Issue 3, 2001, Pages 333-384

  Morgenstern, Leora ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 1642578625     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1010512415344     Document Type: Article

References (33)

1. AMIR, E., 2000, 'Towards a formalization of elaboration tolerance: Adding and deleting axioms', in M.-A. Williams and H. Rott, editors, Frontiers of Belief Revision, Kluwer.
2. BELL, J., 1997, 'Eating on an airplane', The Commonsense Problem Page, http://www-formal.stanford.edu/leora/cs
3. DAVIS, E., 'The egg cracking problem', Commonsense Problem Page.
4. DAVIS, E., 1988, 'A logical framework for commonsense predictions of solid object behavior', Artificial Intelligence in Engineering 3 (3):125-140.
5. DAVIS, E., 1993, 'The kinematics of cutting solid objects', Annals of Mathematics and Artificial Intelligence 9 (3,4):253-305.
6. DAVIS, E., 1997, 'Falling objects', Commonsense Problem Page, http://www-formal.stanford.edu/leora/cs
7. DAVIS, E., 1998, 'The naive physics perplex', AI Magazine 19 (4):51-79.
8. DAVIS, E., 1999, 'Guide to axiomatizing domains in first-order logic', Electronic Newsletter on Reasoning about Actions and Change 99002. At http://www.etaij.org/rac/
9. DE KLEER, J., 1977, 'Multiple representations of knowledge in a mechanics problem solver', in Proceedings of the Fifth International Joint Conference or Artificial Intelligence, IJCAI-77, pages 299-304.
10. DE KLEER, J., and J. S. Brown, 1985, 'A qualitative physics based on confluences', in D. Bobrow, editor, Qualitative Reasoning about Physical Systems, MIT Press, Cambridge, Massachusetts.
11. FORBUS, K., 1980, 'Spatial and qualitative aspects of reasoning about motion', in Proceedings of the First National Conference os Artificial Intelligence, AAAI 1980, pages 436-442.
12. HANKS, S., and D. MCDERMOTT, 1997, 'Nonomonotonic logic and temporal projection', Artificial Intelligence 33:379-412.
13. HAYES, P., 1985a, 'Naive physics I: Ontology for liquids', in J. Hobbs and R. Moore, editors, Formal Theories of the Commonsense World, pages 71-107, Ablex, Norwood, New Jersey.
14. HAYES, P., 1985b, 'The second naive physics manifesto', in J. Hobbs and R. Moore, editors, Formal Theories of the Commonsense World, pages 1-36, Ablex, Norwood, New Jersey.
15. KOWALSKI, R. A., and M. J. SERGOT, 1986, 'A logic-based calculus of events', New Generation Computing 4 (1):67-95.
16. LENAT, D., and R. V. GUHA, 1990, Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project, Addison-Wesley, Reading, Massachusetts.
17. LIFSCHITZ, V., 1998, 'Cracking an egg: An exercise in commonsense reasoning', Fourth International Symposium on Logical Formalizations of Commonsense Reasoning, http://www.cs.utexas.edu/users/vlmypapers/egg.ps
18. LIN, F., 1995, 'Embracing causality in specifying the indirect effects of action', in Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI95, pages 1985-1993.
19. MCCAIN, N., and H. TURNER, 1995, 'A causal theory of ramifications and qualifications', in Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 95, pages 1978-1984.
20. MCCARTHY, J., 1959, 'Programs with common sense', in Proceedings of the Teddington Conference on the Mechanization of Thought Processes, pages 75-91, London. Her Majesty's Stationary Office.
21. MCCARTHY, J., 1988, 'Mathematical logic in artificial intelligence', Daedalus, pages 297-311.
22. MCCARTHY, J., and P. J. Hayes, 1969, 'Some philosophical problems from the standpoint of artificial intelligence', in B. Meltzer and D. Michie, editors, Machine Intelligence 4, pages 463-502, Edinburgh University Press, Edinburgh.
23. MILLER, R., and L. Morgenstern, 1997, 'The commonsense problem page', http://www-formal.stanford.edu/leora/cs
24. MORGENSTERN, L., 1998, 'Beyond toy problems: A logical formalization of the eggcracking domain', Fourth International Symposium on Logical Formalizations of Commonsense Reasoning, http://www-formal.stanford.edu/leora/cs98/egg.a.ps
25. MORGENSTERN, L., and L. A. STEIN, 1988, 'When things go wrong: A formal theory of causal reasoning', in Proceedings of AAAI-1988, pages 518-523.
26. NAGEL, E., 1961, The Structure of Science, Harcourt, Brace, and Co., New York.
27. PEASE, A., V. CHAUDHRI, F. LEHMANN, and A. FARQUHAR, 2000, 'Practical knowledge representation and the DARPA high performance knowledge bases project', in Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning.
28. SANDEWALL, E., 1994, Features and Fluents, Oxford University Press, Oxford, England.
29. SANDEWALL, E., 1999, 'Logic modelling workshop', Electronic Colloquium on Reasoning about Actions and Change, http://www.ida.liu.se/ext/eta/lmw
30. SANDEWALL, E., 2000, 'On the methodology of research in knowledge representation and commonsense reasoning', in J. Minker, editor, Logic-Based Artificial Intelligence, Kluwer Academic Publishers, Dordrecht (forthcoming).
31. SHANAHAN, M., 1997, Solving the Frame Problem, MIT Press, Cambridge, Massachusetts.
32. SHANAHAN, M., 1998, 'A logical formalisation of Ernie Davis's egg cracking problem', Fourth International Symposium on Logical Formalizations of Commonsense Reasoning, http://www.formal.stanford.edu/leora/cs
33. STEIN, L. A., and L. MORGENSTERN, 1994, 'Motivated action theory', Artificial Intelligence 71:1-41.