CFG ~TransitionSystem ==> ModelCheck¶

语义网络petri迁移系统扩展应用

Curry-Howard correspondence 从自动机到文法(符号自动机)

Domain Control Knowledge (DCK).编译为PDDL

域控制知识（DCK）可通过减少计划的搜索空间来有效地提高计划生成的效率。程序DCK是DCK的一种引人注目的类型，它支持计划框架的自然规范。不幸的是，大多数最新的计划者都没有利用程序性DCK所必需的机制。为解决此缺陷，我们建议将程序DCK直接编译为PDDL2.1，从而使任何与PDDL2.1兼容的计划者都可以利用它。本文的贡献是三方面的。首先，我们为类似Algol的过程语言提出了一种基于PDDL的语义，该语言可用于在计划中指定DCK。其次，我们提供了多项式算法，可将ADL计划实例和DCK程序转换为等效的无程序PDDL2。1个实例，其计划仅是那些遵守该计划的计划。第三，我们认为生成的计划实例非常适合由独立于域的启发式计划者解决。为此，我们提出了三种方法来为我们的翻译实例计算独立于域的启发式方法，有时还利用我们翻译的属性来指导搜索。在对熟悉的PDDL计划基准进行的实验中，我们表明，程序DCK的拟议编译可以显着提高启发式搜索计划器的性能。我们的翻译器已实现并可以在网络上找到。我们提出了三种方法来为我们的翻译实例计算独立于域的启发式方法，有时还利用我们翻译的属性来指导搜索。在对熟悉的PDDL计划基准进行的实验中，我们表明，程序DCK的拟议编译可以显着提高启发式搜索计划器的性能。我们的翻译器已实现并可以在网络上找到。我们提出了三种方法来为我们的翻译实例计算独立于域的启发式方法，有时还利用我们翻译的属性来指导搜索。在对熟悉的PDDL计划基准进行的实验中，我们表明，程序DCK的拟议编译可以显着提高启发式搜索计划器的性能。我们的翻译器已实现并可以在网络上找到。

aaai.org/Library/ICAPS/2007/icaps07-004.php

https://arxiv.org/abs/1910.04999

广义计划是生成对一组计划问题有效的单个解决方案的任务。在本文中，我们展示了如何使用过程域控制知识（DCK）来表示和计算广义计划。我们定义一种< it分而治之>方法，该方法首先生成过程DCK，以解决代表某些子任务的一组计划问题，然后将其编译为总体广义计划问题的可调用过程。我们的过程调用机制允许任意的嵌套和递归过程调用，并在PDDL中实现，以便现成的计划者可以计算和利用过程DCK。实验表明，使用程序化DCK作为可调用过程的现成的经典计划器可以在广泛的领域（包括非平凡的领域）中计算广义的计划， https://bibbase.org/network/publication/segovia-jimenez-jonsson-generalizedplanningwithproceduraldomaincontrolknowledge