Josefina Sierra-Santibáñez
Computer Science Department
Stanford University
Stanford, CA 94305
Phone: (650) 7234910
E-mail: jsierra@cs.stanford.edu
epsf
We propose a representation scheme for the declarative formalization of strategies based on the situation calculus and circumscription. The formalism is applied to represent a number of heuristics for moving blocks in order to solve planning problems in the blocks world. It is demonstrated that circumscription solves the problem of projecting the strategies formalized in the paper, and that it allows us to derive useful conclusions about their computability, correctness, redundancy, inconsistency, and the quality of their solutions. Finally, an advice taking scenario is presented to illustrate how a program capable of reasoning non-monotonically about declarative formalizations of strategies can have interesting reflective behavior.