Representing Flexible Temporal Behaviors in the Situation Calculus
Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence. Pages 436-440.
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 Golog interpreter suitable for managing flexible plans on multiple timelines.
@inproceedings{ijcai2005p209,
title = {Representing Flexible Temporal Behaviors in the Situation Calculus},
author = {Finzi, Alberto and Pirri, Fiora},
booktitle = {Proceedings of the Nineteenth International Joint Conference on
Artificial Intelligence, {IJCAI-05}},
publisher = {International Joint Conferences on Artificial Intelligence},
pages = {436--440},
year = {2005},
url = {https://ijcai.org/proceedings/2005/209},
}
TY - CPAPER TI - Representing Flexible Temporal Behaviors in the Situation Calculus AU - Finzi, Alberto AU - Pirri, Fiora T2 - Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05 PB - International Joint Conferences on Artificial Intelligence PY - 2005 SP - 436 EP - 440 UR - https://ijcai.org/proceedings/2005/209 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
