Representing Flexible Temporal Behaviors in the Situation Calculus
Abstract
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
Cite
Text
Finzi and Pirri. "Representing Flexible Temporal Behaviors in the Situation Calculus." International Joint Conference on Artificial Intelligence, 2005.Markdown
[Finzi and Pirri. "Representing Flexible Temporal Behaviors in the Situation Calculus." International Joint Conference on Artificial Intelligence, 2005.](https://mlanthology.org/ijcai/2005/finzi2005ijcai-representing/)BibTeX
@inproceedings{finzi2005ijcai-representing,
title = {{Representing Flexible Temporal Behaviors in the Situation Calculus}},
author = {Finzi, Alberto and Pirri, Fiora},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2005},
pages = {436-441},
url = {https://mlanthology.org/ijcai/2005/finzi2005ijcai-representing/}
}