A Compilation of the Full PDDL+ Language into SMT
A Compilation of the Full PDDL+ Language into SMT
复制标题
将完整 PDDL 语言编译为 SMT
DOI：
--
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
D. Magazzeni
中科院分区：
文献类型：
--
作者：
Michael Cashmore;M. Fox;D. Long;D. Magazzeni
混合系统中的计划对于处理现实世界应用很重要。 PDDL+支持具有混合离散和连续动态的域表示，并支持建模外源变化的事件和过程。通过众多基于SAT的计划方法，我们提出了一种通过SMT进行PDDL+计划的方法，描述了SMT编码，该编码捕获了Fox和Long发布的PDDL+问题的所有功能。编码可以应用于具有非线性连续变化的域。我们将此编码应用于简单的计划算法，在一组基准问题上显示出了出色的结果。
Planning in hybrid systems is important for dealing with real-world applications. PDDL+ supports this representation of domains with mixed discrete and continuous dynamics, and supports events and processes modelling exogenous change. Motivated by numerous SAT-based planning approaches, we propose an approach to PDDL+ planning through SMT, describing an SMT encoding that captures all the features of the PDDL+ problem as published by Fox and Long. The encoding can be applied on domains with nonlinear continuous change. We apply this encoding in a simple planning algorithm, demonstrating excellent results on a set of benchmark problems.
DOI：
10.1613/jair.3608
发表时间：
2012-05
期刊：
ArXiv
影响因子：
--
作者：
A. Coles;A. Coles;M. Fox;D. Long
通讯作者：
A. Coles;A. Coles;M. Fox;D. Long