Representing flexible temporal behaviors in the situation calculus
Alberto Finzi, Fiora Pirri · 2005
In this paper we present an approach to represent-ing 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 reason-ing and reasoning about actions. We show that the Constraint Based Interval Planning approach can be imported into the Situation Calculus by defin-ing a temporal and concurrent extension of the ba-sic action theory. Finally, we provide a version of the Golog interpreter suitable for managing flexible plans on multiple timelines. 1