Oct, 2011

具有任意抽象约束原子的逻辑程序的答案集

HTML
PDF
TL;DR本文提出了两种方法来定义任意类型抽像限制原子（c-atoms）的逻辑程序的答案集，这些定义泛化了正常逻辑程序的修正点和级别映射基础的答案集语义，其中包括四种不同的答案集定义，这四种在应用于正常逻辑程序时是相等的。
发现论文，激发创造
  • 关于Answer-Set Programming中强等价、一致等价和其它等价概念的共性视角

    本文提出一种参数化的等价概念，同时限制了规则头和规则体中允许出现的原子，该方法是用于逻辑编程中应对强等价和一般等价的一种新的实现方式。

    Dec, 2007

  • 基于答案集语义的逻辑程序的证明

    本文介绍了基于图的解释Answer Set编程的离线和在线证明方法，并将其集成到计算模型中用于调试Answer Set程序。

    Dec, 2008

  • 具任意约束原子的逻辑程序稳定模型语义的表征

    本文研究了具有（抽象的）约束原子的逻辑程序的稳定模型语义及其性质，并提出了简洁的抽象表示方法，该方法可以将稳定模型泛化到任意的约束原子逻辑程序中。我们还展示了如何通过这个抽象表示方法来推广现有的方法，并进一步扩展了用于普通原子逻辑程序的标准特征和性质。

    Apr, 2009

  • 基于程序级方法的回答集语义下逻辑程序修订

    本文提出了一种基于答案集语义下的逻辑程序修订方法，通过三种评价方式确定用程序P修订后的答案集，同时满足了 AGM 修订原则和更新逻辑程序的特征。

    Jul, 2010

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

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

    Dec, 2013

  • 回答集程序中强否定的功能视角

    该研究使用 Bartholomew 和 Lee 的函数稳定模型语义，提供了关于强否定的另一种描述方式，并表明非布尔内涵函数可以用强否定表示以计算函数稳定模型语义。

    Dec, 2013

  • 双重正常逻辑程序-被遗忘的类别

    本研究探讨了双正常规划在计算复杂度和表达能力方面的特性，并将其与命题理论和正常规划进行了比较和关联。

    Jul, 2015

  • 重新审视答案集程序中的显式否定

    本文研究了Answer Set Programming中的explicit negation可以与nested expressions相组合，并证明可以通过扩展Equilibrium Logic来捕获这种组合，同时将其与Nelson's strong negation进行比较。

    Jul, 2019

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

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

    Apr, 2021

  • 具有内涵函数的一阶稳定模型语义

    通过引入引伸函数，扩展一阶稳定模型语义，并将其用作定义Answer Set Programming Modulo Theories (ASPMT)的基础，从而实现类似SMT的有效一阶推理，解决包含实数的领域中的接地问题。

    Jul, 2023