[ai-ch10plan] according to the authors. consider situation calculus. each action's preconditions arc described with a(n) axiom that says when the action can be taken.