next up previous
Next: Goal Stack Derivation Up: The Heuristics Previous: Ordering Mental Actions

The Search Strategy

Given a total order on the set of appropriate mental actions for a mental situation, the relation tex2html_wrap_inline732 that sorts the set of mental situations according to the order in which they are explored by the depth first search strategy associated with tex2html_wrap_inline716 is defined by axiom gif -a variation of axiom (10) in [5].


Josefina Sierra
Tue Jul 21 09:26:01 PDT 1998