Jul, 2015

答案集编程中 GZ-Aggregates 的复杂度和编译

PDF
TL;DR本文探讨了基于 Vicious Circle Principle 的新型稳定模型语义，用于建立逻辑程序和聚合物的新语义，分析了整体一致的测试和谨慎的推理复杂性，并报告了应用于现有 ASP 解算器的编译技术的设计，最终实现了一个原型系统，使用户可以实验 Gelfond-Zhang 的聚合物。
stable model semanticslogic programsaggregatescoherence testingcautious reasoning
发现论文，激发创造
  • 恶性循环原理和具有聚合功能的逻辑程序

    该论文介绍了一种基于 ASP 和聚合的知识表示语言 Alog，旨在提供简单的语法和直观数学语义，包括其一些属性、计算答案集的算法和与其他方法的比较。

    Aug, 2018

  • ASP 中聚合物的构造语义表征

    本文描述了一种单调连续的不动点算子，用于计算具有聚集函数的程序的答案集。通过其计算复杂度与程序聚集函数的解决方案的检查成本之间的联系，将答案集检查和答案集存在问题紧密联系在一起。此外，还将算子所描述的语义与其他提议的聚合逻辑编程方案进行了关联。

    Jan, 2006

  • 使用近似不动点理论分析聚合答案集编程的语义

    该研究在近似不动点理论的观点下重新考虑了选择用于回答集编程（ASP）中聚合的适当形式化问题，介绍了一种等同于基本 ASP 程序的 Gelfond-Lifschitz 规约的 AFT 形式化，并将其扩展到聚合处理。

    Apr, 2021

  • 基于 ASP 语言的恶性循环原理与集合形成

    研究如何在逻辑编程语言中使用集合，包括引入的语言 Alog、新语言 Slog + 和 Vicious Circle Principle 的替代形式，重点在于语义和知识表示。

    Aug, 2016

  • 一种基于展开的聚合逻辑编程语义

    该论文提出了两个与聚合物逻辑程序答案集等价的定义，并旨在创建将具有聚合的逻辑程序转换为正常逻辑程序或积极程序的方法，其答案集语义可用于定义原始程序的语义。

    May, 2006

  • 带聚合函数的逻辑程序的良基与稳定语义

    本文提出了一个适用于逻辑程序中语义和聚合计算的框架，该框架基于三值立即后果运算符这一概念，采用不同方式定义该运算符以在精确性和可处理性之间取得平衡。

    Sep, 2005

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

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

    Sep, 2021

  • 具有凸广义原子的答案集编程属性

    本文分析了规则体中拥有凸广义原子的程序类，发现对于大部分语义，这个类中提出的许多语义是一致的。这是一个有趣的结果，因为最近已经表明，这个类是 FLP 语义的确切复杂性边界。

    Dec, 2013

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

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

    Dec, 2008

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

    本文证明了在 ASP-Core 语言中避免通过聚合递归确实保证了两个稳定模型语义版本之间的等价性，并展示了如何放宽此要求而不违反等价性属性。

    Jul, 2019