19、多智能体系统中的论证：理论与实践

多智能体系统中的论证：理论与实践

1. 论证冲突与策略揭示

在论证过程中，智能体的论证可能会存在隐含冲突。例如，当某些论证揭示了智能体自身论证中的矛盾时，就意味着该智能体犯了谬误。定理给出了策略证明的充分图论条件，这对单个智能体很有用。只要智能体知道其论证之间不可能出现导致（间接）失败的路径（即不会揭示出谬误），那么该智能体最好揭示其所有论证。智能体只需确定没有任何可想象的论证能揭示其自身论证之间的冲突即可。

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

示例分析

考虑一个具体例子，有额外论证α6和失败关系(α6,α3)。设智能体类型分别为Ax = {α1,α4,α5,α6}，Ay = {α2}，Az = {α3}，完整的论证图如图所示。在完全揭示的情况下，机制结果规则产生的结果o = {α1,α4,α5,α6}。在这个例子中，尽管存在α1 →α4和α1 →α5的关系，但如实揭示对于智能体x来说是占优策略，因为它的所有论证都被接受了。这依赖于存在一个论证（即α5），它抵消了智能体x自身论证中间接自我失败的负面影响。

2. 论证交换格式（AIF）

为了促进开放系统中智能体之间的论证，拥有一种用于论证表示的通用语言至关重要。论证交换格式（AIF）就是朝着这个方向的一项社区主导的努力。

AIF的核心节点

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