MMApr, 2017

混合领域规划的 CASP 解决方案

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

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

    Aug, 2016

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

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

    Apr, 2018

  • plasp 3: 有效的 ASP 规划

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

    Dec, 2018

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

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

    Dec, 2013

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

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

    Feb, 2017

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

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

    Jan, 2013

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

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

    Jul, 2021

  • ASP 中领域无关的最优成本规划

    该篇论文研究了 ASP 中成本最优规划问题，提出了基于两个 ASP 程序运行的成本最优规划器和完全不受制于步数的规划方法 Stepless Planning 来解决该问题，并实验结果表明 Stepless Planning 具有广阔的潜力。

    Jul, 2019

  • 规划混合离散 - 连续领域的建模

    该论文提出了 pddl+，支持建模混合离散 - 连续计划领域的领域描述语言，利用混合自动机将规划实例映射到语义模型，从而为 pddl + 提供正式语义。

    Oct, 2011

  • 将 Answer Set Programming 和领域启发式算法结合，解决难解的工业问题（应用论文）

    本文研究将 Answer Set Programming（ASP）与领域特定的启发式方法相结合，以有效地解决 Siemens 提出的 Partner Units Problem（PUP）和 Combined Configuration Problem（CCP），实验证明，我们的领域启发式 ASP 求解器可以找到 Siemens 所提供的所有 PUP 和 CCP 实例的解决方案。

    Aug, 2016