In this paper we present an approach to representing and managing temporally-flexible behaviors in the Situation Calculus based on a model of time and concurrent situations. We define a new hybrid framework combining temporal constraint reasoning and reasoning about actions. We show that the Constraint Based Interval Planning approach can be imported into the Situation Calculus by defining a temporal and concurrent extension of the basic action theory. Finally, we provide a version of the Go log interpreter suitable for managing flexible plans on multiple timelines.
Representing Flexible Temporal Behaviors in the Situation Calculus / Alberto, Finzi; PIRRI ARDIZZONE, Maria Fiora. - STAMPA. - (2005), pp. 436-441. (Intervento presentato al convegno 19th International Joint Conference on Artificial Intelligence (IJCAI 05) tenutosi a Edinburgh, SCOTLAND nel JUL 30-AUG 05, 2005).
Representing Flexible Temporal Behaviors in the Situation Calculus
PIRRI ARDIZZONE, Maria Fiora
2005
Abstract
In this paper we present an approach to representing and managing temporally-flexible behaviors in the Situation Calculus based on a model of time and concurrent situations. We define a new hybrid framework combining temporal constraint reasoning and reasoning about actions. We show that the Constraint Based Interval Planning approach can be imported into the Situation Calculus by defining a temporal and concurrent extension of the basic action theory. Finally, we provide a version of the Go log interpreter suitable for managing flexible plans on multiple timelines.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.