Sciweavers

Share
AAAI
2004

Adding Time and Intervals to Procedural and Hierarchical Control Specifications

9 years 8 months ago
Adding Time and Intervals to Procedural and Hierarchical Control Specifications
In this paper we introduce the language Golog+HTNT I for specifying control using procedural and HTN-based constructs together with deadlines and time restrictions. Our language starts with features from GOLOG and HTN and extends 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 answer sets of the logic program have a one to one correspondence with the traces of the Golog+HTNT I specification.
Tran Cao Son, Chitta Baral, Le-Chi Tuan
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2004
Where AAAI
Authors Tran Cao Son, Chitta Baral, Le-Chi Tuan
Comments (0)
books