24、受限接口下的说服对话研究

受限接口下的说服对话研究

1. 说服对话的相关命题

在说服对话的研究中，有几个重要的命题值得关注：
- 命题 4 ：设 G 为一个论证图，Pk 为一个合理的最终分布。如果 D 是关于 Pk 和 G 的最小获胜对话，那么说服者的论证集合 Persuader(D) 是无冲突的。
- 命题 5 ：同样在 G 为论证图，Pk 为合理最终分布的条件下，若 D 是关于 Pk 和 G 的最小获胜对话。对于所有 (B, A) ∈ Attacks(G)，如果 A ∈ Persuader(D)，那么要么存在某个 i 使得 B/X ∈ D(i) 且 X ≤ 0.5，要么存在 C ∈ Persuader(D) 使得 (C, B) ∈ Attacks(G)。
- 命题 6 ：若 D 是关于 Pk 和 G 的最小获胜对话，那么 Persuader(D) ∩ Persuadee(D) = ∅。
- 命题 7 ：当 D 是关于 Pk 和 G 的最小获胜对话时，对于所有 A ∈ Persuader(D)，有 Pk(A) > 0.5；对于所有 B ∈ Persuadee(D)，有 Pk(B) ≤ 0.5。
- 命题 8 ：如果 Pk 是合理的最终分布，且 D 是关于 Pk 和 G 的最小获胜对话，那么 Persuader(D) ⊆ Extension(Pk) 成立。

下面通过一个例子来说明这些命题。考虑一个图，其最终分布为 Pk(A) = 1，Pk(B) = 0，Pk(C) = 0，Pk(D)