抽象参数化框架的变化：添加一个参数

Jan, 2014

抽象参数化框架的变化：添加一个参数

Change in Abstract Argumentation Frameworks: Adding an Argument

Claudette Cayrol, Florence Dupin de Saint-Cyr, Marie-Christine Lagasquie-Schiex

TL;DR本文研究了抽象论证系统中一种特定的添加新论点的变化，探讨了这种变化对于该论证系统中扩展集合的影响，基于集合基数和包含关系定义了几个结构属性，还提出了一些基于特定论点状态变化的属性，研究了这些属性在两种特定语义下的可行性和优越性。

Abstract

In this paper, we address the problem of change in an abstract argumentation system. We focus on a particular change: the addition of a new argument which interacts with previous arguments. We study the impact of such an addition on the outcome of the argumentation system, more particularly on the set of its →

abstract argumentation system change operation extensions set-inclusion relations grounded and preferred semantics

发现论文，激发创造

基于主张中心观的抽象论证偏好影响研究

本文研究了在声称层面下偏好对抽象论证的影响，研究发现了四种处理偏好的减少方法在处理声称扩充论证框架的语义和计算复杂度方面的行为不同，这加强了认为必须谨慎选择处理偏好的观点。

Apr, 2022

半抽象的基于价值的论证框架

本文介绍了抽象论证框架、基于价值的论证框架、半抽象论证框架及其关键概念、映射函数和结论关系等内容，并展示了这些形式化工具在复杂道德困境中的应用。

Sep, 2023

通过抽象解释保留论证性多智能体中的语义结构

本研究探讨了利用模型检查的方式研究抽象概念来简化 argumentation framework，这是解决动态 multi-agent 系统中的问题的一种方法。

Nov, 2022

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

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

Feb, 2019

抽象论证的基于排名的语义比较研究

本文提出了一个综合性研究，通过对排名语义进行比较和评估，在现有的语义之间揭示了行为差异，以期为论证的过程提供更清晰的指导。

Feb, 2016

学习论证语义的统一框架

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

Oct, 2023

抽象论证中的时间性和因果性

研究提出了一种将抽象论证框架的概念重写为一种动作语言的形式化方法，以考虑论证陈述的时间顺序和因果关系，并提出了一种答案集编程实现。

Mar, 2023

基于扩展的抽象论证中首选项计算与验证方法

我们提出了一种基于扩展的方法来计算和验证抽象论证系统中的偏好。我们的研究考虑了标准推理问题的逆，即在给定一个抽象论证框架和一组被证明的论证时，计算关于论证的所有可能偏好的方法和算法。我们证明了算法的正当性、完备性和终止性。该研究表明，偏好是在评估阶段（论证的可接受性）之后使用基于扩展的方法确定的，而不是事先声明的。我们的研究集中在基于地面、首选和稳定的语义上，我们发现计算偏好集的复杂度与论证数量呈指数关系，因此描述了一种近似方法和算法来计算偏好，并提供了验证所计算偏好的新算法。我们提供了算法的实施细节（源代码已提供）、用于评估算法的各种实验以及结果的分析。

Mar, 2024

论证过程中的渐进性

该论文介绍了一个基于 Dung 框架的抽象论证系统，并提出了一个对论证中提出的观点进行渐进式选择的新方法，能够对不同水平的支持进行分区。

Jun, 2011

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

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

Aug, 2020