Mathematical logic in artificial intelligence
The artificial intelligence debate: false starts, real foundations
Representations of commonsense knowledge
Representations of commonsense knowledge
CNLS '89 Proceedings of the ninth annual international conference of the Center for Nonlinear Studies on Self-organizing, Collective, and Cooperative Phenomena in Natural and Artificial Computing Networks on Emergent computation
Artificial Intelligence
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Default reasoning about spatial occupancy
Artificial Intelligence
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Logic-based artificial intelligence
Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project
Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project
Anchoring Symbols to Sensor Data: Preliminary Report
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Artificial intelligence today
Causal theories of action and change
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Pouring liquids: A study in commonsense physical reasoning
Artificial Intelligence
Formalising the Fisherman's Folly puzzle
Artificial Intelligence
Understanding script-based stories using commonsense reasoning
Cognitive Systems Research
Hi-index | 0.00 |
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.