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

DOI10.1016/j.artint.2003.05.001zbMath1085.68684OpenAlexW2091205521MaRDI QIDQ814556

Murray Shanahan

Publication date: 7 February 2006

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2003.05.001

zbMATH Keywords

Commonsense reasoningCognitive roboticsNaive physics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Artificial intelligence for robotics (68T40)

Related Items

Action models for conditionals ⋮ Pouring liquids: a study in commonsense physical reasoning ⋮ Binary-Compatible Verification of Filesystems with ACL2 ⋮ Formalising the Fisherman's Folly puzzle

Cites Work

• Artificial intelligence today. Recent trends and development
• The kinematics of cutting solid objects
• Mid-sized axiomatizations of commonsense problems: A case study in egg cracking
• Unnamed Item
• Unnamed Item

This page was built for publication: An attempt to formalise a non-trivial benchmark problem in common sense reasoning