MMMay, 2017

Clingcon: 下一代

PDF
TL;DR本篇论文介绍了第三代约束答案集系统 clingcon，它将 Answer Set Programming（ASP）与有限域约束处理（CP）相结合，并采用惰性方法实现对约束传播的扩展。
answer set programmingfinite domain constraint processingconstraint propagatorsasp solvercp techniques
发现论文，激发创造
  • ASP 模数 CSP: clingcon 系统

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

    Oct, 2012

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

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

    Apr, 2018

  • Clingo = ASP + Control: 预备报告

    介绍了新的 ASP 系统 clingo 4，其提供高级结构来实现复杂推理过程，支持高级搜索形式（如优化或理论求解），并通过嵌入脚本语言 lua 和 python 实现控制能力，为 ASP 的声明输入语言提供了一种新的指令来支持命名和可参数化子程序的逻辑程序结构化。通过严格分离逻辑程序和控制程序，clingo 4 还取消了增量和反应推理的专用系统，其灵活性超越了 iclbingo 和 oclingo 的解决过程。

    May, 2014

  • Clingo 线性约束与整数和实数

    该研究论文介绍了一种基于 ASP 系统 clingo 的算法框架，利用线性约束扩充基本 ASP，实现了不同形式的线性约束，并在反应式环境下演示其应用。最后，对该算法进行了实证评估。

    Jul, 2017

  • 如何构建基于 ASP 的系统？

    这篇论文介绍了使用 CLINGO 实现扩展和定制化特殊目的系统的两种方法，通过 meta 编程和应用程序接口 2 种不同方式来实现操作和控制整个 ASP 模型。同时，还介绍了 CLINGO 新的应用程序类和中间格式 ASPIF，旨在帮助普通用户构建自己的 ASP 系统并进行非平凡的案例分析。

    Aug, 2020

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

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

    Jul, 2017

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

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

    Jul, 2010

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

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

    Apr, 2011

  • Clingraph：基于 ASP 的可视化系统

    该研究介绍了基于 ASP 的可视化工具 clingraph，用于通过 ASP 本身来可视化 ASP 的各种概念，同时提供了一个 python API 来扩展接口。

    Mar, 2023

  • ASP 中的冲突泛化：学习正确有效的非平庸限制条件

    通过结合 ASP 求解技术和演绎逻辑机器学习，我们的新方法能够通过学习约束并将其应用于原始程序以提高求解性能，该方法通过减少冲突最小化，可以减少不必要的求解工作，这是在真实用例中得到证明的。

    Aug, 2020