引入形式化模型：Agent劝说模型及系统

为了简化和更好地阐述，假定Agent X和Agent Y正在就某交易的完成进行劝说，由于双方期望相差太远，致使劝说暂时陷入僵局。

此时，出于Agent 自身的理性，Agent X 和Agent Y 都通过选择劝说的方式来打破僵局，同时该劝说建立在案例匹配的基础上。这样的劝说，一方面更加符合提出劝说方Agent 的自身需求，另一方面也更能说服被劝说方Agent，更好地实现劝说效果，完成Agent 之间的谈判和合作。

基于以上分析，结合形式逻辑理论，以Agent X 对Agent Y提出的劝说为例，可将该劝说表示如下：

在该模型中，各元素含义及关系如下：

（1）PC（X→Y）表示Agent X向Agent Y提出的劝说；

（2）X表示提出该劝说的对象主体，即Agent X；

（3）Y表示被劝说的主体，即Agent Y；

（4）S 表示该劝说中使用的策略，如威胁或奖励；(www.xing528.com)

（5）C 表示该劝说中包含的案例，即劝说的内容；

（6）R 表示该劝说的目标结果，即是否实现合作，一般都有（S U C）⇒R。

该模型具有一定的通用性，即对Agent Y来说，相应的劝说都可以通过式（3-4）表示。

例如，假定Agent X和Agent Y正在就某汽配产品轮胎的购买进行交易，由于双方期望相差太远，交易陷入僵局。此时，出于Agent 自身的理性，Agent X和Agent Y都选择劝说的方式来打破僵局，相应的劝说都建立在对案例匹配的基础上。假定Agent X 向Agent Y 提出的劝说PC（X→Y）包含的策略为威胁（Threat），包含的内容即匹配度最高的案例为价格（p）等于5、数量（n）等于6，该劝说的目标结果是实现合作，即完成交易（Deal），则该劝说表示如下：

PC（X →Y）=〈X，Y，Threat，C｛p（5），n（6），Deal｝〉

且（Threat U C｛p（5），n（6）｝）⇒Deal。