CASP solutions for planning in hybrid domains-Reference-Cited by-同舟云学术

CASP solutions for planning in hybrid domains

Published:2017-07 Issue:4 Volume:17 Page:591-633
ISSN:1471-0684
Container-title:Theory and Practice of Logic Programming
language:en
Short-container-title:Theory and Practice of Logic Programming

Author:

BALDUCCINI MARCELLO,MAGAZZENI DANIELE,MARATEA MARCO,LEBLANC EMILY C.

Abstract

AbstractConstraint answer set programming (CASP) is an extension of answer set programming that allows for numerical constraints to be added in the rules. PDDL+ is an extension of the PDDL standard language of automated planning for modeling mixed discrete-continuous dynamics. In this paper, we present CASP solutions for dealing with PDDL+ problems, i.e., encoding from PDDL+ to CASP, and extensions to the algorithm of the ezcsp CASP solver in order to solve CASP programs arising from PDDL+ domains. An experimental analysis, performed on well-known linear and non-linear variants of PDDL+ domains, involving various configurations of the ezcsp solver, other CASP solvers, and PDDL+ planners, shows the viability of our solution.

Publisher

Cambridge University Press (CUP)

Subject

Artificial Intelligence,Computational Theory and Mathematics,Hardware and Architecture,Theoretical Computer Science,Software

Reference60 articles.

1. Li H. X. and Williams B. C. 2008. Generative planning for hybrid systems based on flow tubes. In Proc. of 18th International Conference on Automated Planning and Scheduling (ICAPS 2008), J. Rintanen , B. Nebel , J. C. Beck and E. A. Hansen , Eds. AAAI Press, 206–213.

2. Karaman S. , Walter M. R. , Perez A. , Frazzoli E. and Teller S. J. 2011. Anytime motion planning using the RRT. In IEEE International Conference on Robotics and Automation (ICRA 2011). IEEE, 1478–1483.

3. Integration schemas for constraint answer set programming: A case study;Balduccini;Theory and Practice of Logic Programming,2013

4. Cimatti A. , Griggio A. , Mover S. and Tonetta S. 2015. HyComp: An SMT-based model checker for hybrid systems. In Proc. of Tools and Algorithms for the Construction and Analysis of Systems (ETAPS 2015), 52–67.

5. Miller R. and Shanahan M. 1996. Reasoning about discontinuities in the event calculus. In Proc. of 5th International Conference on Principles of Knowledge Representation and Reasoning (KR 1996), L. C. Aiello , J. Doyle and S. C. Shapiro , Eds. Morgan Kaufmann, 63–74.

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Answer Set Planning: A Survey;Theory and Practice of Logic Programming;2022-04-01

2. Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches;Theory and Practice of Logic Programming;2021-11-02

3. Effective grounding for hybrid planning problems represented in PDDL+;The Knowledge Engineering Review;2021

4. Exploiting Classical Planning Grounding in Hybrid PDDL+ Planning Engines;2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI);2020-11

5. The Seventh Answer Set Programming Competition: Design and Results;Theory and Practice of Logic Programming;2019-05-31