Sciweavers

Share
AI
2004
Springer

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

9 years 3 months ago
An attempt to formalise a non-trivial benchmark problem in common sense reasoning
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. 2003 Published by Elsevier B.V.
Murray Shanahan
Added 16 Dec 2010
Updated 16 Dec 2010
Type Journal
Year 2004
Where AI
Authors Murray Shanahan
Comments (0)
books