Nov, 2010

有序析取的逻辑特征

HTML
PDF
TL;DR本文提出了利用Here-and-There的逻辑来实现ordered disjunction，并探究了其在分裂程序中的应用和性质，还和Karger等人的一个扩展进行了比较。
发现论文，激发创造
  • 关于Answer-Set Programming中强等价、一致等价和其它等价概念的共性视角

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

    Dec, 2007

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

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

    Apr, 2009

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

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

    Jul, 2010

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

    本文提出了两种方法来定义任意类型抽像限制原子（c-atoms）的逻辑程序的答案集，这些定义泛化了正常逻辑程序的修正点和级别映射基础的答案集语义，其中包括四种不同的答案集定义，这四种在应用于正常逻辑程序时是相等的。

    Oct, 2011

  • 关于含聚合函数的答案集程序的无根集和良基语义

    本文提出了一种新的未找到集合的概念，用于处理具有单调和反单调聚合函数的逻辑编程。此外，我们定义了基于此的暴力操作的范畴，称为逻辑编程之最基础的模型。我们证明了此模型与另一范畴之间的关系，并展示了其在普通逻辑编程中的典型性质，这些性质在此处同样成立。

    Jan, 2014

  • 将LPOD和CR-Prolog2转换成标准答案集程序

    该研究介绍了两种扩展标准答案集程序的方法，分别为 Logic Programs with Ordered Disjunction (LPOD) 和 CR-Prolog2，以处理偏好和一致性规则，同时提供了将这两种语言归约到标准 ASP 语言的替代方法。

    May, 2018

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

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

    Jul, 2019

  • 带有有序析取逻辑编程首选模型的逻辑特征

    本研究提出了一种新的、基于模型理论的方法来确定 Logic Programs with Ordered Disjunction (LPODs) 中最受欢迎的模型，从而克服了现有语义的不足。而且，新的方法可以用来定义一个包含有序和经典析取的自然类别的逻辑程序的语义，这使得程序不仅可以表达严格的优先级，还可以表达同样优先级的选择。

    Aug, 2021

  • 有序析取逻辑程序的强等价性：一个逻辑角度

    本文在四价逻辑中提出了逻辑程序的强等价的纯逻辑特征，并证明了该等价性的coNP完备性。

    May, 2022

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

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

    Jul, 2023