The Naive Physics Perplex

AI Magazine

Volumn 19, Issue 4, 1998, Pages 51-79

  Davis, Ernest ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS;

COMMONSENSE REASONING; COMPETENCY THEORY;

ARTIFICIAL INTELLIGENCE;

EID: 0032313946     PISSN: 07384602     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (53)

1. Addanki, S.; Cremonini, R.; and Penberthy, J. S. 1989. Reasoning about Assumptions in Graphs of Models. In Readings in Qualitative Reasoning about Physical Systems, eds. D. Weld and J. de Kleer, 546-562. San Francis-co, Calif.: Morgan Kaufmann.
2. Bloom, P.; Peterson, M. A.; Nadel, L.; and Garrett, M. F., eds. 1996. Language and Space. Cambridge, Mass.: MIT Press.
3. Charniak, E. 1993. Statistical Language Learning. Cambridge, Mass.: MIT Press.
4. Charniak, E., and McDermott, D. 1985. Introduction to Artificial Intelligence. Reading, Mass: Addison Wesley.
5. Davis, E. 1995. Approximation and Abstraction in Solid-Object Kinematics. Technical Report, 706, Computer Science Department, New York University.
6. Davis, E. 1993. The Kinematics of Cutting Solid Objects. Annals of Mathematics and Artificial Intelligence 9(3-4): 253-305.
7. Davis, E. 1990. Representations of Commonsense Knowledge. San Francisco, Calif.: Morgan Kaufmann.
8. de Kleer, J. 1977. Multiple Representations of Knowledge in a Mechanics Problem Solver. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence, 299-304. Menlo Park, Calif: International Joint Conferences on Artificial Intelligence.
9. de Kleer, J., and Brown, J. S. 1985. A Qualitative Physics Based on Confluences. In Qualitative Reasoning about Physical Systems, ed. D. Bobrow, 7-84. Cambridge, Mass.: MIT Press.
10. Dreyfus, H. 1979. What Computers Can't Do: The Limits of Artificial Intelligence. New York: Harper and Row.
11. Etherington, D. 1997. What Does Knowledge Representation Have to Say to Artificial Intelligence? In Proceedings of the Fourteenth National Conference on Artificial Intelligence, 762. Menlo Park, Calif: American Association for Artificial Intelligence.
12. Faltings, B. 1987. Qualitative Kinematics in Mechanisms. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence, 436-442. Menlo Park, Calif: International Joint Conferences on Artificial Intelligence.
13. Fleck, M. 1996. The Topology of Boundaries. Artificial Intelligence 80(1): 1-27.
14. Forbus, K. 1998. Building and Using Large Common Sense Knowledge Bases. Available at www.qrg.ils.nwu.edu/projects/HPKB/.
15. Forbus, K. 1985. Qualitative Process Theory. In Qualitative Reasoning about Physical Systems, ed. D. Bobrow, 85-168. Cambridge, Mass.: MIT Press.
16. Forbus, K. 1980. Spatial and Qualitative Aspects of Reasoning about Motion. In Proceedings of the First National Conference on Artificial Intelligence. Menlo Park, Calif: American Association for Artificial Intelligence.
17. Giunchiglia, F., and Walsh, T. 1992. A Theory of Abstraction. Artificial Intelligence 57:323-389.
18. Glasgow, J.; Narayanan, N. H.; and Chandrasekaran, B. 1995. Diagrammatic Reasoning. Cambridge, Mass.: MIT Press.
19. Guarino, N. 1998. Formal Ontology and Information Systems. In Formal Ontology in Information Systems, ed. N. Guarino. Amsterdam, The Netherlands: IOS.
20. Halpern, J., and Vardi, M. 1991. Model Checking versus Theorem Proving: A Manifesto. In Proceedings of the Second International Conference on Knowledge Representation and Reasoning, 325-334. San Francisco, Calif: Morgan Kaufmann.
21. Hayes, P. 1985a. Naive Physics 1: Ontology for Liquids. In Formal Theories of the Commonsense World, eds. J. Hobbs and R. Moore, 71-108. Norwood, N.J.: Ablex.
22. Hayes, P. 1985b. The Second Naive Physics Manifesto. In Formal Theories of the Commonsense World, ed. J. Hobbs and R. Moore, 1-36. Norwood, N.J.: Ablex.
23. Hayes, P. 1979. The Naive Physics Manifesto. In Expert Systems in the Microelectronic Age, ed. D. Michie. Edinburgh: Edinburgh University Press.
24. Hayes, P. 1978. The Naive Physics Manifesto. Working paper, Department of Computer Science, University of Essex.
25. Hayes, P. 1977. In Defense of Logic. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence, 559-565. Menlo Park, Calif: International Joint Conferences on Artificial Intelligence.
26. Iwasaki, Y., ed. 1997. Qualitative Reasoning: When Precise Data Isn't What You Need. IEEE Expert (Special Issue on Intelligent Systems and Their Applications) 12(3).
27. Ji, Q., and Marefat, M. 1997. Machine Interpretation of CAD Data for Manufacturing Applications. ACM Computing Surveys 29(3): 264-311.
28. Joskowicz, L., and Sacks, E. 1991. Computational Kinematics. Artificial Intelligence 51:381-416.
29. Kowalski, R. 1979. Algorithm = Logic + Control. Communications of the ACM 22:424-436.
30. Lenat, D., and Guha, R. V. 1993. RE:CYCLING Paper Reviews. Artificial Intelligence 61:149-174.
31. Lenat, D.; Prakash, M.; and Shepherd, M. 1986. CYC: Using Common Sense Knowledge to Overcome Brittleness and Knowledge-Acquisition Bottlenecks. AI Magazine 6:65-85.
32. Lifschitz, V. 1998. Cracking an Egg: An Exercise in Formalizing Commonsense Reasoning. Paper presented at the Fourth Symposium on Logical Formalizations of Commonsense Reasoning, 7-9 January, London, U.K.
33. Lifschitz, V. 1986. On the Semantics of STRIPS. In Reasoning about Actions and Plans: Proceedings of the 1986 Workshop, Timberline, Oregon, 1-9. San Francisco, Calif: Morgan Kaufmann.
34. McCarthy, J. 1993. Notes on Formalizing Context. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, 559-565. Menlo Park, Calif: International Joint Conferences on Artificial Intelligence.
35. McCarthy, J. 1968. Programs with Common Sense. In Semantic Information Processing, ed. M. Minsky, 403-418. Cambridge, Mass.: MIT Press.
36. McCarthy, J., and Hayes, P. 1969. Some Philosophical Problems from the Standpoint of Artificial Intelligence. In Machine Intelligence 4, eds. B. Metzler and D. Michie, 463-502. Edinburgh: Edinburgh University Press.
37. McCloskey, M. 1983. Naive Theories of Motion. In Mental Models, eds. D. Gentner and A. Stevens, 299-324. Hillsdale, N.J.: Lawrence Erlbaum.
38. McDermott, D. 1987. A Critique of Pure Reason. Computational Intelligence 3:151 -160.
39. McDermott, D. 1978. Tarskian Semantics, or No Notation without Denotation! Cognitive Science 2:277-282.
40. Miller, R., and Morgenstern, L. 1998. Commonsense Problem Page. Available at www-formal.stanford.edu/leora/cs/.
41. Morgenstern, L. 1998. Formalizing a Problem in Commonsense Physical Reasoning: The Egg-Cracking Problem. Paper present-ed at the Fourth Symposium on Logical Formalizations of Commonsense Reasoning, 7-9 January, London, U.K.
42. Morgenstern, L. 1997. Inheritance Comes of Age: Applying Nonmonotonic Techniques to Problems in Industry. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 299-304. Menlo Park, Calif: International Joint Conferences on Artificial Intelligence.
43. Moore, R. 1982. The Role of Logic in Knowledge Representations and Commonsense Reasoning. In Proceedings of the Second National Conference on Artificial Intelligence, 428-433. Menlo Park, Calif: American Association for Artificial Intelligence.
44. Nayak, P. 1994. Causal Approximations. Artificial Intelligence 70:277-334.
45. Nayak, P., and Levy, A. 1995. A Semantic Theory of Abstractions. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 196-202. Menlo Park, Calif.: International Joint Conferences on Artificial Intelligence.
46. Newell, A. 1980. The Knowledge Level. AI Magazine 2(2): 1-20.
47. Sandewall, E. 1989. Combining Logic and Differential Equations for Describing Real-World Systems. In Proceedings of the First International Conference on Knowledge Representation and Reasoning, 412-420. San Francisco, Calif: Morgan Kaufmann.
48. Schmolze, J. 1986. Physics for Robots. In Proceedings of the Fifth National Conference on Artificial Intelligence, 44-50. Menlo Park, Calif: American Association for Artificial Intelligence.
49. Shakhashiri, B. Z. 1985. Chemical Demonstrations: A Handbook for Teachers of Chemistry. Madison, Wis.: University of Wisconsin Press.
50. Shanahan, M. 1998. A Logical Formalisation of Ernie Davis's Egg-Cracking Problem. Paper presented at the Fourth Symposium on Logical Formalizations of Commonsense Reasoning, 7-9 January, London, U.K.
51. Tuttle, M. S. 1993. Book Review of E. Davis, Representations of Commonsense Knowledge, and D.B. Lenat and R.V. Guha, Building Large Knowledge-Based Systems: Representations and Inference in the CYC Project. Artificial Intelligence 61:121-148.
52. Weld, D. 1992. Reasoning about Model Accuracy. Artificial Intelligence 56:255-300.
53. Weld, D., and de Kleer, J. 1989. Readings in Qualitative Reasoning about Physical Systems. San Francisco, Calif: Morgan Kaufmann.