[论文解读] Verifiability of Argumentation Semantics
本文引入了一种类验证层级结构，以确定计算论证语义所需的最小信息量，表明标准语义（如偏好、稳定和理想）可通过特定类别的验证来实现。该研究建立了一套框架，通过这些类别表征中间语义的强等价性，从而为基于信息需求的语义比较提供统一视角。
Dung's abstract argumentation theory is a widely used formalism to model conflicting information and to draw conclusions in such situations. Hereby, the knowledge is represented by so-called argumentation frameworks (AFs) and the reasoning is done via semantics extracting acceptable sets. All reasonable semantics are based on the notion of conflict-freeness which means that arguments are only jointly acceptable when they are not linked within the AF. In this paper, we study the question which information on top of conflict-free sets is needed to compute extensions of a semantics at hand. We introduce a hierarchy of so-called verification classes specifying the required amount of information. We show that well-known standard semantics are exactly verifiable through a certain such class. Our framework also gives a means to study semantics lying inbetween known semantics, thus contributing to a more abstract understanding of the different features argumentation semantics offer.
研究动机与目标
- 确定计算论证语义所需的信息量，超出冲突自由集的最小信息量。
- 基于验证类别的层级结构，对语义进行可验证性分类。
- 基于信息需求，提供一种比较中间语义的框架。
- 利用验证类别表征语义的强等价性，实现语义特征的抽象比较。
提出的方法
- 提出一个包含15个验证类别的正式层级结构，表示对论证框架信息粒度的逐步细化。
- 将语义的可验证性定义为：仅使用特定验证类别中的信息即可计算出扩展。
- 引入理性概念，以确保语义不受自环影响，从而实现该层级结构内的分类。
- 利用基于核的表征（如 stb、ad、gr）将验证类别与强等价性关联起来。
- 运用逻辑推理与结构变换（如添加辅助论点）证明等价性与非等价性结果。
- 证明在15个验证类别中，仅有6个对分类标准语义是必要的。
实验结果
研究问题
- RQ1计算给定论证语义所需的最小信息量（超出冲突自由集）是什么？
- RQ2如何利用验证类别系统性地根据信息需求对语义进行分类？
- RQ3能否通过验证类别表征中间语义的强等价性？
- RQ4哪一个验证类别恰好捕捉了计算理性语义所需的信息？
- RQ5不同语义在可验证性与信息效率方面如何比较？
主要发现
- 所有标准理性语义（如偏好、稳定、理想、半稳定和急切）均可通过15个验证类别中的某一个精确验证。
- 在15个验证类别中，仅需6个即可对所考虑的标准语义进行分类，表明存在高度的信息复用。
- 偏好语义与理想语义的可验证性所需信息量严格少于其他语义（如半稳定或急切语义）。
- 当语义为 + - 可验证时，stb-stg-中间语义的强等价性由稳定核表征。
- 当语义为 +−-可验证时，ρ-ad-中间语义（如完全语义）的强等价性由可接受核表征。
- 该框架使得能够基于验证类定理，表征朴素扩展与强可接受集的强等价性。
更好的研究，从现在开始
从阅读论文到最终审阅，大幅缩短您的研究时间。
无需绑定信用卡
本解读由 AI 生成，并经人工编辑审核。