Adding time and intervals to procedural and Hierarchical control specifications

Tran Cao Son; Chitta Baral; Le Chi Tuan

Adding time and intervals to procedural and Hierarchical control specifications

Tran Cao Son, Chitta Baral, Le Chi Tuan

Computer Science and Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

6 Scopus citations

Abstract

In this paper we introduce the language Golog+HTN^TI 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+HTN^TI specification.

Original language	English (US)
Title of host publication	Proceedings of the National Conference on Artificial Intelligence
Pages	92-97
Number of pages	6
State	Published - 2004
Event	Proceedings - Nineteenth National Conference on Artificial Intelligence (AAAI-2004): Sixteenth Innovative Applications of Artificial Intelligence Conference (IAAI-2004) - San Jose, CA, United States Duration: Jul 25 2004 → Jul 29 2004

Other

Other	Proceedings - Nineteenth National Conference on Artificial Intelligence (AAAI-2004): Sixteenth Innovative Applications of Artificial Intelligence Conference (IAAI-2004)
Country/Territory	United States
City	San Jose, CA
Period	7/25/04 → 7/29/04

ASJC Scopus subject areas

Software

Cite this

Son, TC, Baral, C & Tuan, LC 2004, Adding time and intervals to procedural and Hierarchical control specifications. in Proceedings of the National Conference on Artificial Intelligence. pp. 92-97, Proceedings - Nineteenth National Conference on Artificial Intelligence (AAAI-2004): Sixteenth Innovative Applications of Artificial Intelligence Conference (IAAI-2004), San Jose, CA, United States, 7/25/04.

@inproceedings{659696d4dc7343a3a375d633f9d291db,

title = "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 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+HTNTI specification.",

author = "Son, {Tran Cao} and Chitta Baral and Tuan, {Le Chi}",

year = "2004",

language = "English (US)",

pages = "92--97",

booktitle = "Proceedings of the National Conference on Artificial Intelligence",

note = "Proceedings - Nineteenth National Conference on Artificial Intelligence (AAAI-2004): Sixteenth Innovative Applications of Artificial Intelligence Conference (IAAI-2004) ; Conference date: 25-07-2004 Through 29-07-2004",

}

TY - GEN

T1 - Adding time and intervals to procedural and Hierarchical control specifications

AU - Son, Tran Cao

AU - Baral, Chitta

AU - Tuan, Le Chi

PY - 2004

Y1 - 2004

N2 - In this paper we introduce the language Golog+HTNTI 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+HTNTI specification.

AB - In this paper we introduce the language Golog+HTNTI 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+HTNTI specification.

UR - http://www.scopus.com/inward/record.url?scp=9444224980&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=9444224980&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:9444224980

SP - 92

EP - 97

BT - Proceedings of the National Conference on Artificial Intelligence

T2 - Proceedings - Nineteenth National Conference on Artificial Intelligence (AAAI-2004): Sixteenth Innovative Applications of Artificial Intelligence Conference (IAAI-2004)

Y2 - 25 July 2004 through 29 July 2004

ER -

Adding time and intervals to procedural and Hierarchical control specifications

Abstract

Other

ASJC Scopus subject areas

Other files and links

Fingerprint

Cite this