May, 2022

利用集体攻击重新发现论证原则

HTML
PDF
TL;DR本研究提出了一种基于原则的方法来探究Argumentation Frameworks with Collective Attacks (SETAFs)的语义，并提供了常见原则的综合概述，利用所得结果为增量计算提供了新的可行性结果。
发现论文，激发创造
  • 利用并行性解决抽象论证中的困难问题:技术报告

    本文介绍了一种并行计算的算法，用于枚举抽象论证框架的优先扩展，并采用SCC-递归语义定义模式，该算法在大型框架中表现出显着的性能改进，发现的解决方案数量和速度提高了。

    Nov, 2014

  • 具有偏好的基于假设的论证

    提出ABA+，一种新的处理偏好的结构化论证形式，通过直接将关于假设的偏好信息纳入攻击关系中，实现攻击反转。ABA+保守地扩展了ABA，并在论证语义与偏好处理之间展现了各种理想的特性。我们还介绍了“弱逆否命题”原则，涉及具有规则和偏好的推理，放松了逆否命题的标准原则，同时保证了ABA+的额外理想特性。

    Oct, 2016

  • 论带有偏好的论证的一般做法

    该文以ASPIC+形式主义为基础，构建了带偏好的论证的通用框架，并通过改进定义冲突自由的论据集，适应更广泛的逻辑实例化需求。最后，该框架被表明适应塔斯基逻辑实例化并通过古典逻辑审视，证明了该框架的广泛性。

    Apr, 2018

  • AFRA：递归攻击的论证框架

    本文介绍了一种名为AFRA的正式要素，它涵盖了论证框架内无限递归攻击的基本要求，并提供了具体的例子和与其他递归攻击形式化的详细比较。

    Oct, 2018

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

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

    Aug, 2020

  • 基于强度论证的可容许性：复杂性与算法（带证明的扩展版本）

    本文致力于研究基于强度的论证框架中附加性的新义和双扩展的计算方法，提出了基于伪布尔约束的新的求解方法，并进行模拟实验，证明了该方法可行且可扩展。

    Jul, 2022

  • 非扁平ABA是二极心论的一个实例

    本文提出了一种双极 AF 语义，借鉴了推理支持的概念，用于实例化 general ABAFs 概念，并证明了在此概念下具有所需的关系。

    May, 2023

  • 论辩的防御语义：重访

    通过引入新的语义——防御语义，本文研究了Dung的抽象论证框架，并提出了两种类型的防御、防御等价性以及接受论证的两种理由，进而定义了摘要的根等价性。

    Nov, 2023

  • 非扁平假设为基础的论证的实例化和计算方面

    该研究通过使用ABA和BAF之间的翻译，提出了一种基于实例的方法来推理非平坦的ABA，并通过识别冗余参数的三种方式来降低计算成本。实证评估表明，这种方法在许多情况下胜过不构建参数的方法，反映了BAF推理的复杂度较低。

    Apr, 2024

  • 关于逻辑编程与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