14、基于AIF的带标签论证框架解析

基于AIF的带标签论证框架解析

1. 简单论证与AIF

在论证网络中，我们可以识别出论证。简单论证可以通过将表示论证必要前提的一组I - 节点与表示论证结论或主张的I - 节点相连来表示，这里会用到一个特定的RA - 节点来表示推理。

形式上，简单论证定义如下：
设 $G = (N, E)$ 是一个AIF论证网络，其中 $N = I ∪ RA ∪ CA ∪ PA$。$G$ 中的简单论证是一个元组 $(P, R, C)$，其中：
- $P ⊆ I$ 表示前提。
- $R ∈ RA$ 是推理。
- $C ∈ I$ 是论证的主张。
并且对于所有 $p ∈ P$，存在 $(p, R) ∈ E$，同时存在 $(R, C) ∈ E$。

抽象的AIF本体旨在作为一种表达论证的语言。但为了对这些论证进行有意义的操作（如可视化、查询、评估等），需要将其用更具体的语言表达，以便使用额外的工具和方法进行处理。

2. 带标签论证框架（LAF）

带标签论证框架（LAF）结合了AIF提供的知识表示特性和使用论证标签代数处理元信息的能力。该框架允许通过标签表示主张的特殊特征，这些标签会根据论证过程中的自然交互（如支持、冲突和聚合）进行组合和传播。我们将利用标签的传播来确定可接受性，附加到可接受主张上的最终标签将提供额外的可接受性信息，如正当性限制、解释等。

LAF的定义如下：
一个带标签论证框架（LAF）是一个表示为 $Φ = ⟨L, R, K, A, F⟩$ 的元组，其中：
- $L$ 是用于表示主张的逻辑语言。$L$ 是一组可能涉及表示强否定符号 “∼” 的表达式，且 $L