next up previous
Next: Effect axioms and monotonic Up: FORMULAS FOR THE BLOCKS Previous: FORMULAS FOR THE BLOCKS



This paper contains formulas for several axiomatizations of a blocks world with moving blocks and painting blocks. Later versions will have more explanations, but I wanted to get the formulas down first.

John McCarthy
Thu Jan 30 13:14:14 PDT 1997