Complessit polinomiale.

Il grafo di pianificazione pu essere utilizzato nei problemi

proposizionali. invece complesso utilizzarlo per rappresentare tutti i valori che possono assumere
le variabili di un problema nella logica del primo ordine. Dato un problema con nl letterali, na azioni
e n livelli, la complessit del grafo di pianificazione ha una dimensione pari a O(n(na+nl)2).
Mutua esclusione ( Mutex ). La relazione di mutua esclusione si verifica quando uno stato
esclude il verificarsi contemporaneo di un altro stato/azione oppure quando un'azione esclude
un'altra azione o uno stato nello stesso tempo ( livello ). Ad esempio, lo stato Avere(uovo) esclude
la sua negazione Avere(uovo). Allo stesso modo l'azione Mangia(uovo) esclude lo stato
Avere(uovo) e Mangiato(uovo). Quando due azioni negano l'effetto l'una dell'altra, queste non
possono essere scelte contemporeamente in uno stesso livello poich generano effetti inconsistenti.
Un'azione potrebbe anche generare degli effetti che negano le precondizioni di un'altra azione,
interferendo con l'esistenza stessa dei letterali e modificando l'insieme delle azioni applicabili
( possibili ) in un determinato livello. A volte le azioni potrebbero escludersi a vicenda anche perch
hanno la medesima precondizione. Ad esempio, la precondizione Avere(uovo) la stessa sia per
Nasce(gallina) e per Mangia(uovo) ma un'azione esclude il verificarsi dell'altra ( condizione di
esclusivit ).