Adding time and intervals to procedural and hierarchical control specifications

Authors:
Tran Cao Son;Chitta Baral;Le-Chi Tuan
Affiliations:
Computer Science Department, New Mexico State University, Las Cruces, NM;Computer Science and Engineering, Arizona State University, Tempe, AZ;Computer Science and Engineering, Arizona State University, Tempe, AZ
Venue:
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Year:
2004

Citing 10
Cited 2

Logic programs with classical negation

Logic programming
The interactive museum tour-guide robot

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
ConGolog, a concurrent programming language based on the situation calculus

Artificial Intelligence
Answer set programming and plan generation

Artificial Intelligence
Extending and implementing the stable model semantics

Artificial Intelligence
Logic programs with stable model semantics as a constraint programming paradigm

Annals of Mathematics and Artificial Intelligence
Decision-Theoretic, High-Level Agent Programming in the Situation Calculus

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
cc-Golog: Towards More Realistic Logic-Based Robot Controllers

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Extending ConGolog to Allow Partial Ordering

ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
ASSAT: computing answer sets of a logic program by SAT solvers

Eighteenth national conference on Artificial intelligence

Representing flexible temporal behaviors in the situation calculus

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Combining answer set programming and prolog: the ASP-PROLOG system

Logic programming, knowledge representation, and nonmonotonic reasoning

Quantified Score

Hi-index	0.00

Visualization

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.