MMJul, 2022

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

PDF
TL;DR本文致力于研究基于强度的论证框架中附加性的新义和双扩展的计算方法，提出了基于伪布尔约束的新的求解方法，并进行模拟实验，证明了该方法可行且可扩展。
strength-based argumentation frameworksaccrualadmissibility-based semanticsdung's fundamental lemmapseudo-boolean constraints
发现论文，激发创造
  • 利用集体攻击重新发现论证原则

    本研究提出了一种基于原则的方法来探究 Argumentation Frameworks with Collective Attacks (SETAFs) 的语义，并提供了常见原则的综合概述，利用所得结果为增量计算提供了新的可行性结果。

    May, 2022

  • Schaefer 框架下基于逻辑的论证的参数化复杂度

    本文研究了关于逻辑基础论证的命题变体，分别探讨了 ARG、ARG-Check、ARG-Rel 等三种计算任务的参数化难度，并在 Schaefer 的框架下对问题进行结构参数分类，给出了各问题在参数化难度上的界限，其中一些情况具有极高的难度。

    Feb, 2021

  • 利用并行性解决抽象论证中的困难问题：技术报告

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

    Nov, 2014

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

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

    Aug, 2020

  • 论辩的防御语义：重访

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

    Nov, 2023

  • 解释论证的强度：揭示攻击和支持的作用 (技术报告)

    提供定量解释的关系归因解释（RAEs）理论，适应于计算攻击和支持在定量双极论证中的作用，通过计算归因分数量化解释论点的强度，并且提出了一种概率算法在有效近似 RAEs 的同时，揭示了 RAEs 在欺诈检测和大型语言模型案例研究中的应用价值。

    Apr, 2024

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

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

    Oct, 2018

  • 加权抽象辩证框架：扩展和修订报告

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

    Jun, 2018

  • 人类评估复杂论证框架的实证研究” 技术报告

    本文报道了一项经验认知研究，该研究提出了 12 个抽象论证框架，旨在比较不同的论证语义在人类论证评估中的有效性，结果表明基于场景语境和 CF2 语义的抽象论证语义最能符合人类论证评估行为。

    Feb, 2019

  • 学习论证语义的统一框架

    本文介绍了一个新颖的框架，使用归纳逻辑编程方法来以可解释的方式学习几个抽象和结构化的论证框架的可接受语义。通过实证评估，我们证明了我们的框架胜过现有的论证求解器，从而在形式论证和人机对话领域开启了新的未来研究方向。

    Oct, 2023