MMApr, 2018

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

PDF
TL;DR本文提出了用于扩展 ASP 的带限制的顶部 - 向下执行模型 s（CASP）, 它可以在执行期间保留逻辑变量，并在答案集中应用约束，与 ASP、CLP 和其他 CASP 系统相比具有更出色的表达能力和性能。
caspconstraintsaspexecution modelperformance
发现论文，激发创造
  • 目标导向的约束答案集程序设计的证明

    使用基于约束的谓词应答集编程的查询驱动自顶向下执行模型 s (CASP) 生成完整解释树，为 ASP 应答集提供最小化且易于转化为自然语言的解释，显著促进了 ASP 程序理解和操作的可行性。

    Sep, 2020

  • ASP 模数 CSP: clingcon 系统

    本文介绍了一种混合型 ASP 求解器 clingcon，它使用 Constraint Programming 中的非布尔约束和 Answer Set Programming 的高性能布尔求解能力，其主要技术创新是通过基于不可约不一致集的学习技术改进 ASP 和 CP 求解器之间的交互，实现全局约束和优化语句支持，广泛的实证评估表明这些技术提高了一个数量级的性能。

    Oct, 2012

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

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

    Jul, 2010

  • 基于 ASP 求解的约束、惰性约束或传播者：一项实证分析

    本研究探讨了基于自定义扩展求解器的几种策略，以避免实例化复杂约束条件，对真实和合成基准测试的结果进行了系统比较。

    Jul, 2017

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

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

    Aug, 2016

  • 有界基础的答案集编程

    本文提出了基于边界约束的 ASP（Bound Founded Answer Set Programming）方法，解决了 ASP 系统中存在的基于有限域变量建模的算法性难题，同时将 ASP 的语义从布尔值和常规规则扩展到了数值变量上。

    May, 2014

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

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

    Jul, 2021

  • 涉及条件聚合的约束的 ASP 语义

    该研究论文扩展了 Answer Set Programming 的基础框架，引入了条件表达式概念和聚合函数，重点研究了具有线性约束的逻辑程序，并实现了在混合 ASP 求解器上的条件聚合。

    Feb, 2020

  • 非基础规则在答案集编程中的威力

    该论文提出了一种新的 ASP 编码模式，通过利用实际问题的大规则来编码难题，尤其针对 NP 问题能提供更强的表达能力，并且提供基于规则分解技术的解决方案，初步的基准测试表明，放弃固定程序的简便方式可以显著提高速度。

    Aug, 2016

  • Clingcon: 下一代

    本篇论文介绍了第三代约束答案集系统 clingcon，它将 Answer Set Programming（ASP）与有限域约束处理（CP）相结合，并采用惰性方法实现对约束传播的扩展。

    May, 2017