TY - GEN
T1 - A temporally expressive planner based on answer set programming with constraints
T2 - Symposium on Constructive Mathematics in Computer Science
AU - Bao, Forrest Sheng
AU - Chintabathina, Sandeep
AU - Morales, A. Ricardo
AU - Rushton, Nelson
AU - Watson, Richard
AU - Zhang, Yuanlin
PY - 2011
Y1 - 2011
N2 - Recently, a new language ACC was proposed to integrate answer set programming (ASP) and constraint logic programming (CLP). In this paper, we show that ACC can be employed to build a temporally expressive planner for PDDL2.1. Compared with the existing planners, the new approach put less restrictions on the planning problems and is easy to extend with new features like PDDL axioms, thanks to the expressive power of ACC. More interestingly, it can also leverage the inference engine for ACC which has the potential to exploit the best reasoning mechanisms developed in the ASP, SAT and CP communities.
AB - Recently, a new language ACC was proposed to integrate answer set programming (ASP) and constraint logic programming (CLP). In this paper, we show that ACC can be employed to build a temporally expressive planner for PDDL2.1. Compared with the existing planners, the new approach put less restrictions on the planning problems and is easy to extend with new features like PDDL axioms, thanks to the expressive power of ACC. More interestingly, it can also leverage the inference engine for ACC which has the potential to exploit the best reasoning mechanisms developed in the ASP, SAT and CP communities.
UR - http://www.scopus.com/inward/record.url?scp=79956330581&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-20832-4_25
DO - 10.1007/978-3-642-20832-4_25
M3 - Conference contribution
AN - SCOPUS:79956330581
SN - 9783642208317
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 398
EP - 414
BT - Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
Y2 - 25 October 2010 through 26 October 2010
ER -