Adding Time and Intervals to Procedural and Hierarchical Control Specifications
Abstract
In this paper we introduce the language Golog+HTNTI for specifying control using procedural and HTN-based con-structs together with deadlines and time restrictions. Our lan-guage starts with features from GOLOG and HTN and ex-tends them so that we can deal with actions with duration by being able to specify time intervals between the start (or end) of an action (or a program) and the start (or end) of another action (or program). We then discuss an off-line interpreter based on the answer set planning paradigm such that the an-swer sets of the logic program have a one to one correspon-dence with the traces of the Golog+HTNTI specification.
Cite
Text
Son et al. "Adding Time and Intervals to Procedural and Hierarchical Control Specifications." AAAI Conference on Artificial Intelligence, 2004.Markdown
[Son et al. "Adding Time and Intervals to Procedural and Hierarchical Control Specifications." AAAI Conference on Artificial Intelligence, 2004.](https://mlanthology.org/aaai/2004/son2004aaai-adding/)BibTeX
@inproceedings{son2004aaai-adding,
title = {{Adding Time and Intervals to Procedural and Hierarchical Control Specifications}},
author = {Son, Tran Cao and Baral, Chitta and Tuan, Le-Chi},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2004},
pages = {92-97},
url = {https://mlanthology.org/aaai/2004/son2004aaai-adding/}
}