next up previous
Next: Frame axioms Up: FORMULAS FOR THE BLOCKS Previous: Introduction

Effect axioms and monotonic frame axioms


It is common to cut some corners so as to keep the axioms short.


Remark: We have cut a corner in (1) by letting a block itself be a place, i.e. the top of the block. To uncut this corner, we can write


The price is dealing with the extra function top.



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