PPT Slide

Planning Graph as a Dynamic CSP

--Propositions become DCSP variables; Actions are the values; Mutex constraints are

normal constraints. Action preconditions are activation constraints

Solving DCSP:

V := set of initially active variables

Loop until all active variables are assigned

Assign currently active variables

Set V= variables that become active

[Mittal & Falkenhainer, 1990]