MMJul, 2019

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

PDF
TL;DR本研究针对一种名为 ADFs 的论证框架，提出 ADF^ +，实现与 NLP 的语义等价，并定义了一种新的 ADF^ + 语义用于 nlp 的 L-stable 语义的等价。
argumentation frameworksnormal logic programsdialectical frameworksstable models semanticsl-stable semantics
发现论文，激发创造
  • 加权抽象辩证框架：扩展和修订报告

    本文研究抽象辩证框架并将其推广以适应不完整指定的初始参数和关系的情况，以及计算其重要度的各种方法。

    Jun, 2018

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

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

    Aug, 2020

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

    该论文将 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 本质上是相同形式的理解。

    Jul, 2024

  • DIAMOND 论证系统：初步报告

    本研究提出了一种基于答案集编程的软件系统 DIAMOND 用于将抽象辩证框架（ADFs）翻译成稳定模型，从而实现多种语义（即允许、完整、稳定、基础）下的 ADF 模型。

    Dec, 2013

  • 用答案集编程解决高级论证问题

    本文介绍了从抽象辩论框架 (ADF) 和 GRAPPA 到解答集编程 (ASP) 的新型有效转化，并提供了 ADF 的五种主要语义 (包括允许的、完整的、首选的、基本的和稳定的解释) 的降低。

    Dec, 2019

  • 在良基语义下，可反驳逻辑和逻辑编程的相互定义

    本文提出将 Nute's Defeasible Logic 理论转化为逻辑程序的方法，并提供相应的相反方向翻译。通过某些自然限制，使得 Defeasible Logic ADL 的推理结论与 Logic Program 的 Well-Founded Semantics 相一致，这样就可以证明这两种形式语言是密切相关的。

    Jun, 2011

  • 抽象辩证框架是布尔网络

    研究了辩证框架和布尔调节网络之间的关系，揭示了它们的共同点和差异，并引入了一种对个体形式主义产生新结果的对应关系。

    Jul, 2024

  • 用于改善分类任务可解释性的新型结构化论证框架

    研究提出了一种新的结构化论证框架，名为扩展论证决策图（$xADG$），它是 Dung 抽象论证图的扩展。$xADG$ 框架允许论点在其内部结构中使用布尔逻辑运算符和多个前提，从而产生更简洁的论证图，易于用户理解，并在分类任务中取得了强大的预测能力。除此之外，该研究还表明，所构建的 $xADG$ 可能是可信的，可用于知识发现、获取和细化。

    Jun, 2023

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

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

    Mar, 2022

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

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

    May, 2024