混合域中规划的CASP解
人工智能
2018-06-26 v2
摘要
CASP是ASP的一种扩展，允许在规则中加入数值约束。PDDL+是自动化规划PDDL标准语言的扩展，用于建模混合离散-连续动态。在本文中，我们呈现处理PDDL+问题的CASP解，即从PDDL+到CASP的编码，以及对EZCSP CASP求解器算法的扩展，以解决源自PDDL+域的CASP程序。在著名的PDDL+域的线性和非线性变体上进行的实验分析，涉及EZCSP求解器的各种配置、其他CASP求解器和PDDL+规划器，显示了我们方案的可行性。
引用
@article{arxiv.1704.03574,
title = {CASP Solutions for Planning in Hybrid Domains},
author = {Marcello Balduccini and Daniele Magazzeni and Marco Maratea and Emily LeBlanc},
journal= {arXiv preprint arXiv:1704.03574},
year = {2018}
}
备注
Under consideration in Theory and Practice of Logic Programming (TPLP)