2、基于COGUI的论证方案建模与高效规则分类方法

基于COGUI的论证方案建模与高效规则分类方法

1. 论证冲突与建模方法概述

在论证过程中，存在不同类型的冲突。一种是陈述矛盾冲突，若S1和S2分别出现在两个论证A和B的结论中，那么A和B之间会存在对称攻击。另一种是例外冲突，当一个陈述既是论证A的结论，同时又是论证B的例外时，论证A的结论会通过“例外冲突”概念攻击论证B。

对于新论证方案（AS）的建模，有一套通用的方法，包含以下三个步骤：
- 步骤1 - 本体丰富 ：丰富AIF本体的词汇，添加新的概念和关系类型，添加代表新方案的概念作为规则方案的子类，并根据关键问题添加相关概念。
- 步骤2 - 规则定义 ：定义能够实现AS推理（即识别方案）和关键问题推理的推理规则。
- 步骤3 - 默认规则定义 ：引入默认规则来定义非单调推理。通用的推理规则为：“如果一个论证符合某个AS，那么我们可以认为其结论为真，除非其某个例外情况成立”。

2. 基于COGUI的论证方案实现

2.1 专家意见论证

在很多论证形式中，人们会引用权威来支持自己的观点，这种论证形式被称为“诉诸权威”或“基于知识地位的论证”。若引用的权威是专家，就是“专家意见论证”；若引用的是事件的目击者，则是“证人证言论证”。这类论证通常伴随着一些关键问题，比如质疑权威的可靠性，具体包括：被引用的人是否是权威？该权威是否是所讨论领域的权威？

“专家意见论证”方案的要素如下：
|要素|描述|
| ---- | ---- |
|专业前提|来源E