next up previous
Next: Introduction

Declarative Formalization of Strategies
for Action Selection

Josefina Sierra-Santibáñez
Computer Science Department
Stanford University
Stanford, CA 94305
Phone: (650) 7234910



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.

Josefina Sierra
Tue Jul 21 09:54:27 PDT 1998