The Prolog cut operator . We have formalized only state based strategies. An important number of strategies depend on chronological information, such as whether an action has been selected at a particular situation. Derivations in logic programming are identified with situations, and a fluent accessible is defined in order to characterize those situations which correspond to derivations of Prolog programs including cut. Derivations in logic programming are identified with situations, and a fluent accessible is defined in order to characterize those situations which correspond to derivations of Prolog programs including cut.
Planning is one of the most challenging problems.
Lin, F. 1997. The prolog cut operator . In particular, there has not been a widely accepted formalism for representing and reasoning about such knowledge. In this paper we consider axiomatizing AI search algorithms in the situation calculus. However, these action theories go well beyond being just a language for specifying the effects of actions.