FORMULAS FOR THE BLOCKS WORLD

John McCarthy
Computer Science Department
Stanford University
Stanford, CA 94305
jmc@cs.stanford.edu
http://www-formal.stanford.edu/jmc/

JanFebMarAprMayJun JulAugSepOctNovDec , :< 10 0

Abstract:

• Introduction
• Effect axioms and monotonic frame axioms
  • Frame axioms
  • Some reifications
  • Frame axioms using frames
    • How to assert n objects distinct with n+1 axioms
    • Assignment and Contents Functions
    • What is a frame?
• Projection in the Blocks World
• References
• About this document ...