This is a 1985 note aimed at regarding STRIPS as a proof strategy for an interactive theorem prover using a situation calculus formalism. It doesn't quite get there.

There are
**html**,
**dvi**,
**postscript**,
and
**pdf** versions of this note.

Up to: **My (John McCarthy's) main page**

Send comments to mccarthy@stanford.edu. I sometimes make changes suggested in them. - John McCarthy

The number of hits on this page since 2002 Oct 26.