A Declarative Formalization of STRIPS.
Josefina Sierra-Santibáñez · 1998
We present a declarative formalization of STRIPS [1] as a reasoning strategy in the situation calculus [10]. The idea is to use logic not only to represent planning problems, but also to describe the mental situations, mental actions and reasoning strategy STRIPS uses to solve those problems.