Planning e replanning tramite azioni durative e vincoli temporali

The purpose of this thesis is to approach planning and replanning problems which involve a set of temporal constraints such as the durative nature of the actions, the temporal constraints on the achievement of goals, as well as constraints on consumable resources. The main contribution of the thesis is the proposal of an approach based on the durative actions formalism with the addition of specialized mechanisms. The approach is compared with an alternative formalization which models the metric aspects of time as a numerical variable. In particular, this last approach draws inspiration from the solutions reported in the article Sebastiano Caff, Francesco Di Mauro, Enrico Scala: A Numeric PDDL Based Approach for Temporally Constrained Journey Problems, Proc. 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, pp. 99- 106, November 2014. The approach has been tested in an extended version of the "Satellite" domain which has been widely used inside the planning community (starting from the AIPS 2002 Planning Competition) for testing numerical planning.

La tesi affronta problematiche di pianificazione e ripianificazione che coinvolgono vincoli temporali quali la durata delle azioni, i vincoli temporali sul raggiungimento dei goal, nonché vincoli su risorse consumabili. Il contributo principale della tesi consiste nella proposta di un approccio basato sul formalismo delle azioni durative. Tale approccio viene quindi messo in confronto con una formalizzazione alternativa che modella gli aspetti temporali come variabili numeriche. In particolare, questo approccio trae spunto da quanto pubblicato nell'articolo Sebastiano Caff, Francesco Di Mauro, Enrico Scala: A Numeric PDDL Based Approach for Temporally Constrained Journey Problems, Proc. 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, pp. 99- 106, November 2014. L'approccio è stato testato su una versione estesa del dominio "Satellite", il quale è stato ampiamente studiato per quanto riguarda la pianificazione numerica all'interno della comunità di planning (a partire dall'AIPS Planning Competition del 2002).