19、多智能体系统中的论证：基础、格式与挑战

多智能体系统中的论证：基础、格式与挑战

1. 论证中的冲突与策略

在论证过程中，有时会发现论证之间存在隐含冲突。例如，通过对某些论证的分析，能揭示出其中的自相矛盾之处，也就是犯了谬误。

有一个定理给出了策略证明的充分图论条件，这对于单个智能体很有用。只要智能体知道不可能出现导致其论证之间（间接）失败的路径（即不会揭示出谬误），那么该智能体最好揭示其所有论证。智能体只需确定没有任何可想象的论证能揭示其自身论证之间的冲突即可。

不过，这个充分条件并非如实揭示所有论证的必要条件。例如，在特定的论证框架中，即使智能体自身的论证之间存在间接失败关系，如实揭示也可能是其占优策略。

下面通过一个具体例子说明：
|智能体|论证集合|
| ---- | ---- |
|x|{α1, α4, α5, α6}|
|y|{α2}|
|z|{α3}|

在这个例子中，尽管存在 α1 → α4 和 α1 → α5 的情况，但由于存在论证 α5 抵消了 x 自身论证中间接自我失败的负面影响，如实揭示对于 x 成为了占优策略，因为它的所有论证都被接受了。

2. 论证交换格式（AIF）

为了促进开放系统中智能体之间的论证交流，拥有一种用于论证表示的通用语言至关重要。论证交换格式（AIF）就是为此做出的一项努力。

2.1 AIF 的核心节点

AIF 的核心有两种类型的节点：
- 信息节点（I - 节点） ：用于表示论证中包含的被动信息，如主张、前提、数据等。
- 方案