普拉斯普

plasp:ASP中基于PDDL的规划原型。本文介绍了一个原型系统plasp,它实现了由编译到应答集编程(ASP)的规划。我们的方法受到可满足性计划的启发,但它的目的是保持实际编译的简单性,有利于在ASP中通过元编程来建模规划技术。这有几个优点。首先,ASP建模很容易修改,并且可以在透明的环境中进行研究。第二,我们可以利用ASP。第三,我们可以利用ASP解决方案提供增量解决机制。最后,ASP社区获得了广泛的规划问题,规划社区受益于ASP的知识表示和推理能力。