TY - GEN
T1 - Planning with different forms of domain-dependent control knowledge - An answer set programming approach
AU - Son, Tran Cao
AU - Baral, Chitta
AU - McIlraith, Sheila
PY - 2001
Y1 - 2001
N2 - In this paper we present a declarative approach to adding domain-dependent control knowledge for Answer Set Planning (ASP). Our approach allows different types of domain-dependent control knowledge such as hierarchical, temporal, or procedural knowledge to be represented and exploited in parallel, thus combining the ideas of control knowledge in HTN-planning, GOLOG-programming, and planning with temporal knowledge into ASP. To do so, we view domain-dependent control knowledge as sets of independent constraints. An advantage of this approach is that domain-dependent control knowledge can be modularly formalized and added to the planning problem as desired. We define a set of constructs for constraint representation and provide a set of domain-independent logic programming rules for checking constraint satisfaction.
AB - In this paper we present a declarative approach to adding domain-dependent control knowledge for Answer Set Planning (ASP). Our approach allows different types of domain-dependent control knowledge such as hierarchical, temporal, or procedural knowledge to be represented and exploited in parallel, thus combining the ideas of control knowledge in HTN-planning, GOLOG-programming, and planning with temporal knowledge into ASP. To do so, we view domain-dependent control knowledge as sets of independent constraints. An advantage of this approach is that domain-dependent control knowledge can be modularly formalized and added to the planning problem as desired. We define a set of constructs for constraint representation and provide a set of domain-independent logic programming rules for checking constraint satisfaction.
UR - http://www.scopus.com/inward/record.url?scp=84867805629&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84867805629&partnerID=8YFLogxK
U2 - 10.1007/3-540-45402-0_17
DO - 10.1007/3-540-45402-0_17
M3 - Conference contribution
AN - SCOPUS:84867805629
SN - 3540425934
SN - 9783540425939
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 226
EP - 239
BT - Logic Programming and Nonmonotonic Reasoning - 6th International Conference, LPNMR 2001, Proceedings
T2 - 6th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2001
Y2 - 17 September 2001 through 19 September 2001
ER -