Creazione e revisione di piani multi-agente con un planner temporale

Questa tesi tratta i piani multiagente creati e revisionati da un planner temporale. Un piano è composto da una sequenza di azioni eseguite per raggiungere un obiettivo. Queste producono degli stati. Si parte da uno stato iniziale fino ad arrivare ad uno stato finale, che rappresenta l'obiettivo desiderato dallo scenario multiagente. Degli agenti eseguono le azioni, che possono essere eseguite solo se lo stato del piano, in quel momento preciso, soddisfa determinate condizioni. Terminata l'esecuzione dell'azione si avrà un nuovo stato. Una volta creato un piano, questo verrà simulato con azioni faulty (effetti sbagliati) e monitorato. Nel punto in cui avviene la discrepanza con il normale svolgimento, il piano viene riparato sempre utilizzando un planner temporale.