第七节：经典抽象论辩理论¶
约 216 个字 预计阅读时间 1 分钟
1. 抽象论辩框架¶
2. 论证的可接受性¶
3. 基于外延的语义¶
3.1 可相容外延¶
无冲突：给定框架 \(\mathrm{AF} = \langle \mathrm{AR}, \mathrm{attacks} \rangle\)，设 \(E \subseteq \mathrm{AR}\) 是一组论证集合，则 \(E\) 是无冲突的当且仅当不存在 \(\alpha, \beta \in E\) 使得 \(\alpha\) 攻击 \(\beta\)。
可防御：
可相容外延：
定理 1：
3.2 完全外延¶
没有被攻击的论证一定属于任何完全外延。
3.3 基外延和优先外延¶
4. 基于标记的语义¶
标记：
合法标记：
可相容标记：
定理 6：
定理 7：
完全标记：
各种标记：
定理 8：