MMAug, 2016

通过约束答案集编程实现 PDDL + 规划

PDF
TL;DR本文提出了一种新的基于约束应答集规划的 PDDL + 计划方法，在将 PDDL + 模型编码为 CASP 问题的基础上，处理混合离散 - 连续动力学领域，这是将 PDDL + 计划和逻辑编程联系起来的首次尝试，并以 EZCSP CASP 求解器为案例研究，在一组 PDDL + 基准问题上获得了有希望的结果。
pddl+mixed discrete-continuous dynamicsconstraint answer set programmingcasplogic programming
发现论文，激发创造
  • 混合领域规划的 CASP 解决方案

    论文介绍了 CASP 扩展 ASP 的功能，能够处理规则中的数字约束。PDDL + 是用于模拟离散和连续混合动力学的自动计划 PDDL 标准语言的扩展。研究人员提出了 CASP 解决方案，以解决来自 PDDL + 领域的 CASP 程序，并在知名的 PDDL + 领域的线性和非线性变体上进行了实验分析，表明他们的解决方案可行。

    Apr, 2017

  • 不需接地的约束型应答集编程

    本文提出了用于扩展 ASP 的带限制的顶部 - 向下执行模型 s（CASP）, 它可以在执行期间保留逻辑变量，并在答案集中应用约束，与 ASP、CLP 和其他 CASP 系统相比具有更出色的表达能力和性能。

    Apr, 2018

  • 约束求解器 EZCSP 及其集成架构的重要性

    本研究提出了约束应答集编程 Constraint Answer Set Programming （CASP）新研究领域，开发相应的 EZCSP 语言及其解释器并对其进行了系统性的研究，其设计和算法细节清晰地证明了这种混合系统的发展具有挑战性。在此基础上，展开了基于 EZCSP 的案例研究，重点关注其提供的各种集成方式。

    Feb, 2017

  • plasp 3: 有效的 ASP 规划

    本研究介绍了 PDDL-to-ASP 翻译器的新版本，该版本扩展了接受的 PDDL 特性范围，包含了处理多值 Fluent 的计划编码和多次射击 ASP 解决方案，提供了先进的规划算法，是 ASP 算法研究的很好框架选项，我们的实证分析表明，这些技术对 ASP 规划性能具有显着影响。

    Dec, 2018

  • 约束答案集编程：集成与转化（或基于 SMT 的）方法

    本文提出了 Constraint answer set programming 技术的概述，重点介绍了整合法和翻译法两种设计 Constraint answer set 求解器的方法，并提供了一个基于该技术的 Traveling Salesman Problem 的编码实例。

    Jul, 2021

  • 基于翻译的约束答案集求解方法

    本研究提出了一种新的方法，将约束处理技术与 Answer Set Programming（ASP）相结合，可以解决 ASP 中的有趣约束满足问题，并显示如何将有限域上的约束分解成逻辑程序，以便使用单元传播实现弧、束或范围一致性，并且对编码进行的实验表明它们的计算影响。

    Jul, 2010

  • 再探可能性答案集编程

    本文介绍了一种基于可能逻辑的新 ASP 模型，称为 Possibilistic answer set programming（PASP）。通过将对 PASP 程序中的规则的确定性附加到每个规则上，我们提出了一种更加合适的 PASP 语义，并且该框架可以轻松使用标准 ASP 求解器实现。

    Mar, 2012

  • 使用答案集编程进行混合领域的规划和调度

    本文介绍了一种基于行动语言 - 答案集编程的解决规划和调度问题的方法，该方法可以被应用于任何混合领域的计划和调度问题。

    Jan, 2013

  • 混合自动推理工具：从黑盒到透明盒的集成

    该论文介绍了约束逻辑编程和 Answer Set Programming 在混合领域的开发中的成功，以及 CASP 系统的困难之处，认为需要一个评估不同 CASP 方法集成方案的案例研究来解决这一问题。

    Dec, 2013

  • 利用可能性理论对答案集语义进行特征化和扩展

    本文介绍了新的 Possibilistic ASP (PASP) 模型语义，其中规则被解释为对可能性分布的约束，并且在这些约束的特殊模型中识别为可能主义答案集。此外，我们还发现一种新形式的析取，称为弱析取，其计算复杂性比传统析取容易。

    Nov, 2013