next up previous

The search control operator.

Innovation:
it becomes possible to introduce a new search control operator optimize(p).

<i>optimize(p1):p2</i>
indicates where the computational efforts can be saved: there is no need in looking ahead further than p1 to compute an optimal policy pi1 corresponding to p1.
<i>incrBestDo(optimize(p1);p2,s,h,p,pi,u,pr)</i> incrBestDo(optimize(p1);p2,s,h,p,pi,u,pr)" SRC="img48.gif" >