

![0_image_0.png](0_image_0.png)

- **Induced** An induced effect ϕ j(a) of an effect ϕ i(a) is an effect of the same action a that may execute at the same time. An effect is induced by another in the possible worlds where they are both reachable. For example, the conditional effect of an action always induces the unconditional effect of the action.
Induced mutexes, involving the inducing effect ϕ i(a), come about when an induced effect ϕ j(a) is mutex with another effect ϕ h(a
′) (see Figure 8). The induced mutex is between
(a) the effect ϕ h(a
′) that is mutex with the induced effect ϕ j(a) and (b) the inducing effect ϕ i(a). The label of the mutex is the conjunction of the label of the mutex ˆℓk(ϕ j(a), ϕh(a
′))
and the label of the induced effect ϕ j(a). For additional discussion of the methodology behind induced mutexes we refer to Smith and Weld (1998).

Literal Mutexes: The literal mutexes are a set of labelled pairs of literals. Each pair is labelled with a formula that indicates the set of possible worlds where the literals are mutex. The only reason for mutex literals is inconsistent support.

- **Inconsistent Support** Two literals have inconsistent support in a possible world at level k when there are no two non-mutex effects that support both literals in the world. The label of the literal mutex at level k is a disjunction of all worlds where they have inconsistent support.

The worlds for an inconsistent support mutex between l and l
′are: