MMJul, 2017

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

PDF
TL;DR本研究探讨了基于自定义扩展求解器的几种策略，以避免实例化复杂约束条件，对真实和合成基准测试的结果进行了系统比较。
answer set programmingdeclarative paradigmground+solve approachconstraint instantiationsolver extensions
发现论文，激发创造
  • 提升惰性基础 ASP 求解技术 —— 重启、相位保存、启发式等

    本研究提出了一种适用于 lazy-grounding ASP 求解器的新适应性方法，包括重启、相位保存、领域无关的启发式以及学习子句删除等，成功地提高了求解能力，并发现在某些情况下存在负面影响，表明需要与其他求解器相同的 portfolio solving。

    Aug, 2020

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

    使用将约束满足问题转化为答案集编程的方式解决问题，实验表明该方法具有单位传播、本地一致性等特性，具有计算价值。

    Apr, 2011

  • 一种多引擎的答案集编程方法

    本文提出了一种在现有 ASP 求解器基础之上通过应用机器学习方法，通过识别 ASP 程序的一组易于计算的句法特征，并对这些实例上的性能表现进行归纳学习算法选择策略，从而能够比第三届 ASP 竞赛的任何求解器都更有效地解决实例。

    Jun, 2013

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

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

    Jul, 2010

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

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

    Apr, 2018

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

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

    Aug, 2016

  • 有界基础的答案集编程

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

    May, 2014

  • 基于启发式分解的答案集计算优化

    该研究提出了一种新的优化方法，基于树分解技术和启发式算法，可以将一个输入的逻辑程序转化为一个等价的程序以提高 ASP 系统的求解效率，并在实验中验证了其有效性。

    Dec, 2018

  • 基于答案集规划的求解器调度

    本研究提出了一种使用 Answer Set Programming 自动确定精细的、非均匀且有序的求解器调度方案的方法，并且可以定制化地生成并行调度方案。

    Jan, 2014

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

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

    Feb, 2020