形式化模型：威胁、奖励、反驳和申辩的优化方案

假设两个Agent（即Agent α与Agent β）正在就某个谈判议题进行辩论谈判，并处于合作伙伴选择过程中，由于双方不能就此议题达成一致，因而使此辩论谈判处于僵局之中。此时，其中一方（如Agent α）为了打破这个僵局，并试图说服另一方（即Agent β），可能会采用适当的辩论谈判策略，如威胁，以Threat（α⇒β）表示，或奖励，以Reward（α⇒β）表示，或反驳，以Rebut（α⇒β）表示，或申辩，以Appeal（α⇒β）表示。其中，Agent α是辩论方，Agent β是被辩论方。

从定义来看，无论采用的是哪一种辩论谈判策略，所包含的主要内容中除了提出和接受这个辩论谈判策略的主体外，还应当包括三个主要部分：

①Agent α有关此辩论谈判策略的知识，即辩论谈判策略本身；

②Agent α提出此辩论谈判策略想要达到的目标；

③Agent α认为Agent β在接受此辩论谈判策略后Agent β会达到的目标。

因此，在以上基础上，可对此辩论谈判策略建立如下形式化模型，即相关的威胁、奖励、反驳和申辩的形式化模型，具体如下：

模型3-1（威胁、奖励、反驳和申辩的形式化模型） 对提出辩论谈判策略的辩论方Agent α来说，它提出的辩论谈判策略，即Threat（α⇒β）或Re ward（α⇒β）或Rebut（α⇒β）或Appeal（α⇒β），均可形式化地表述为一个五元函数〈α，β，K，I，I′〉，且满足以下条件：(www.xing528.com)

①α表示辩论方，即Agent α，β表示被辩论方，即Agent β；

②K表示α有关此奖励的信息，K∈Kα；

③I表示α提出此奖励想要达到的目标，I∈Iα；

④I′表示α认为β在接受此奖励后，β将会达到的目标，I′∈Iα；

⑤如果提出的辩论谈判策略是威胁，在辩论谈判过程中，就一直存在关系K∧I→¬I′；如果提出的辩论谈判策略是奖励，在辩论谈判过程中，就一直存在关系K∧I→I′；且在辩论谈判过程中，K∧I一直保持不变。此外，根据反驳和申辩的定义来看，暂时不需要考虑I′这一项。

同理，对在辩论谈判过程中处于被辩论方的Agent β来说， Agent α所提出的有关威胁、奖励、反驳和申辩这些辩论谈判策略的模型也可按照以上规则表示，并且，Agent β也可根据自身的辩论谈判知识或经验等提出相关的辩论谈判策略，并同样以上面这样的五元函数来表示，只不过其中的K∈Kβ、I∈Iβ、I′∈Iβ。