MMJul, 2019

关于两种答案集编程方言的关系

PDF
TL;DR本文证明了在 ASP-Core 语言中避免通过聚合递归确实保证了两个稳定模型语义版本之间的等价性，并展示了如何放宽此要求而不违反等价性属性。
发现论文，激发创造
  • 利用答案集程序设计的技术提升抽象论证系统

    本文通过实验比较了原有编码与新的 metasp 编码，提供了最近引入的基于解析的基础语义的新编码，结果表明 metasp 方法在编码问题的复杂性适当反映的情况下表现良好。

    Aug, 2011

  • 具有命题连接词和聚合运算的逻辑程序

    提出了一种基于命题连词的比喻来定义 aggregates 的方法，可以在 ASP 范式下，对任意命题理论进行扩展，将 aggregates 定义为基础构造，并且结合了表达能力和简洁性。该定义还继承了关于具有嵌套表达式的程序的许多定理，例如强等价性和拆分定理。

    Dec, 2008

  • 命题答案集程序的聚合语义

    调查了建议用于命题 ASP 程序的主要聚合语义。重点是计算复杂性，表达能力以及不同方法的能力和局限性。

    Sep, 2021

  • 稳定 - 不稳定语义：超越 NP 的普通逻辑程序

    提出一种基于逻辑编程的建模范式，将 ASP 和 QBF 的最佳特性相结合，实现对高层次搜索问题的编码。

    Aug, 2016

  • FOLASP: FO (.) 作为答案解决器的输入语言

    该研究论文介绍了一种将一种基于一阶逻辑的扩展语言 FO (.) 转换为 Answer Set Programming (ASP) 的方法， 从而使得基于 ASP 的程序可以作为 FO (.) 的解决器，实验结果表明这种组合可以快速有效地解决 FO (.) 中的问题。

    Aug, 2021

  • ASP-Core-2 输入语言格式

    本文介绍了自 2013 年起在 ASP 比赛中使用的 ASP-Core-2 标准输入语言，它是求解器输入语言标准化推动知识表示和推理等领域应用的主要驱动力之一。

    Nov, 2019

  • 关于遗忘和强等价概念在答案集编程中的统一视角

    Answer Set Programming (ASP) 是一种基于规则的语言，用于知识表示和推理，研究了忘记、简化和相关概念的关联以及引入了一种新的相对等效概念，提供了相对简化的必要和充分条件，并介绍了结合投影和适度遗忘来获得相对简化的操作符。

    Dec, 2023

  • 有界基础的答案集编程

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

    May, 2014

  • 针对抽象论证的改进答案集编程编码

    本文使用 ASP 系统 clingo 提供的条件量词的析取形式，提供了三种著名的辩论语义的新编码，这些编码不仅比以前的版本更简洁，而且在标准基准测试中也表现优异，从而为高级辩论系统的高效解决方案的设计提供了一步关键。

    Jul, 2015

  • 超越 NP 问题：量化回答集

    本文提出了一种名为 ASP (Q) 的新语言，引入了程序稳定模型上的量词，进一步拓展了 Answer Set Programming 的建模能力，可以直接对多项式层次中的问题进行建模。

    Jul, 2019