|The curved line in the figure indicates an inconsistent effect between the two actions, since the effect of one is the negation of the effect of the other.|
|The curved line in the figure indicates an interference
between the two actions, since the effect of one is the negation
of the effect of the other.
The second figure shows that inconsistent effects can also produce interference. When one of the actions is a persistence action we do not mark Interference since the mutex is already marked as Inconsistent Effects.
|The curved line in the figure indicates Competing Needs between the two actions, since their preconditions are in mutex.|
|The curved line in the top figure indicates a mutex between
two propositions since one is the negation of the other.
In the second figure, there is Inconsistent Support since the only way of achieving the two propositions is mutex. This figure assumes there are no other ways of achieving the two propositions.
Precond: CleanCup ∧ HaveMilk
Effect: HaveDrink ∧ ¬ CleanCup ∧ ¬ HaveMilk
Precond: Thirsty ∧ HaveDrink
Effect: Happy ∧ ¬ Thirsty ∧ ¬ HaveDrink
Initial State: Thirsty ∧ CleanCup ∧ HaveMilk
The goal is reached at level S2 with the action Drink. The action Drink can be done after the action MakeDrink, which can be done in the initial state S0.