A branch predicate maps current evidence to one outgoing route. It should be mutually understandable, cover expected cases, and provide a fallback for unknowns.

Branch Predicates Must Be Decidable

An OR node succeeds through one viable child; an AND node requires all designated children. This distinction represents plans with alternatives and compound obligations.

AND-OR Graphs Separate Required and Alternative Subgoals

A finite-state machine enumerates valid states and transitions. It is effective when control modes are bounded and illegal transitions must be rejected explicitly.

Learn Before

Related