Jul, 2024

关于逻辑编程与SETAF等价性的研究

HTML
PDF
TL;DR该论文将Normal Logic Programs（NLPs）和Sets of Attacking Arguments（SETAF）互相转换，并证明了它们在语义上的等价性，特别是L-stable和semi-stable semantics的等价性。此外，论文还证明了Redundancy-Free Atomic Logic Programs（RFALPs）是与NLPs等价的，并通过一系列已知的程序转换对任何NLP进行了等价的RFALP转换。这些结果进一步加深了我们对NLPs和SETAFs本质上是相同形式的理解。
发现论文，激发创造
  • 具任意约束原子的逻辑程序稳定模型语义的表征

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

    Apr, 2009

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

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

    Oct, 2011

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

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

    Jan, 2014

  • 在答案集程序中嵌入外部来源

    本文提出一种基于外部原子内联的HEX程序评估方法，并将其应用于扩展程序等形式化领域中查找强等价性，性能得到了显著提高。

    Aug, 2018

  • 基于协相 Kohesion 的答案集语义与论证框架的相遇

    本文研究了抽象论证、非单调逻辑、论证框架、稳定扩展和松弛相容扩展之间的关系，比较了松弛稳定、状态和松弛相容扩展之间的异同，并阐述了松弛相容扩展的对称性。

    Jul, 2019

  • 关于抽象辩证框架和逻辑程序之间的等价性

    本研究针对一种名为ADFs的论证框架，提出ADF^ +，实现与NLP的语义等价，并定义了一种新的ADF^ +语义用于nlp的L-stable语义的等价。

    Jul, 2019

  • 抽象论证框架语义：逻辑编程方法

    本研究探讨了基于Argumentation Framework的框架和Partial Stable Models之间的关系，证明每个基于AF的框架Delta都可以被翻译成一个逻辑程序P_Delta，而不同的Delta语义扩展可以对应于P_Delta的不同PSM子集。该研究为新的基于AF的框架的语义定义提供了可能性，例如带有递归攻击和递归演绎支持的AFs。

    Aug, 2020

  • 抽象论证和答案集编程：纳尔逊逻辑的两面

    本文提出非矛盾推理与强化封闭世界假设两个原则，将逻辑编程和抽象论证框架都用Nelson构造逻辑N4予以说明，并将它们以一种模块化的方式翻译成构造逻辑，从而形成一种新的蕴涵连接，支持攻击表示通过将这个新的蕴涵与强否定相结合。

    Mar, 2022

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

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

    May, 2022

  • 关于非平坦的基于假设的论证和包含失败否定的逻辑规划的对应关系

    通过对非平面ABA的扩展，我们建立了假设为LP中的不可行否定的稳定模型语义，以及在LP中的否定失效头部的集合稳定ABA语义之间的对应关系。

    May, 2024