On; , yes, though landing in is a substantive assumption. The general form is a preorder on .
, model and observation in, updated model out.
doesn’t have that shape, and I think that’s the content rather than a gap. It isn’t a map between the spaces the others live in. It takes the rest of the specification plus a tree and returns which complete plans are admissible, like:
Naive, sophisticated, resolute and updateless differ in *where the is taken, over what domain, and and (if two of that disagree) which one the agent actually acts on.
Thanks!
You are correct about the signatures.
On;
Naive, sophisticated, resolute and updateless differ in *where the