action: the sort of all actions. Its subsort
primitive-action includes not only the actions described in this
Appendix as primitive, but also compound actions that are equivalent to them,
e.g., complete and then escape, which is equivalent to escape.
A [O]: a sort of action, where A is a
sort of action and O is a sort of outcome. Restricts A to those
actions which, whenever performed, either fail or have an outcome whose
termination properties and kind of information processing are
included in O. Note that A [O1] | A [O2] is
generally a proper subsort of A [O1|O2], whereas
A [O1] & A [O2] is the same sort as A [O1 & O2], which can also be written as A
[O1] [O2].
A [using I]: a sort of action, where I is a sort of income. Restricts A to
those actions which, whenever performed, perhaps evaluate yielders
that refer to the current information indicated by I. Compare
Y [using I], where Y is a sort of yielder, below.
OBS:These actions are not implemented by the action interpreter.
|