next up previous

The off-line interpreter: limitations.

1) Consider (<i>p1</i> <tt>;</tt> <i>p2</i>) where both sub-programs p2 and p1 are very large nondeterministic programs designed to solve `independent' decision-theoretic problems.

The off-line interpreter can return only the optimal policy pi that corresponds to the whole program. Intuitevely, we need: