8、基于论证的智能体系统：推理方法与应用探索

基于论证的智能体系统：推理方法与应用探索

1. 合作推理

在推理过程中，可废止规则 $L_0 ⇐L_1, …, L_j, ∼L_k, …, ∼L_n$ 存在假设 $¬L_k, …, ¬L_n$。这意味着智能体在提交论证时，对于这些弱文字可以无需依据。不过，如果能将这些弱文字的假设替换为其他智能体以这些假设为规则头的论证，就能强化原论证。

1.1 合作的定义

设 $A_1$ 和 $A_2$ 分别是智能体 $a$ 和智能体 $b$ 的两个论证，$A_1$ 中有 $L_0 ⇐L_1, …, L_j, ∼L_k, …, ∼L_n$，$A_2$ 中有 $¬L_i ⇐M_1, …, M_m$（$k ≤i ≤n$），则以下被称为智能体 $a$ 和智能体 $b$ 的合作方案（结论称为强化论证）：
$L_0 ⇐L_1, …, L_j, ∼L_k, …, ∼L_i, …, ∼L_n$
$¬L_i ⇐M_1, …, M_k$
$L_0 ⇐L_1, …, L_j, ∼L_k, …, M_1, …, M_k, …, ∼L_n$

1.2 合作示例

以树状形式表示论证能很好地说明合作情况，如下所示：

graph LR
    classDef process fill:#E5F6FF,stroke:#73A6FF,stroke-width:2px;
    A(Agent a’s arg. tree):::process --> B(~Øp):::process
    A --> C(p):::process
    D(Agent b