协议的语言和逻辑框架分析-基于Agent的劝说型辩论谈判

谈判协议的规定涉及两个基本前提，首先需要先规定基本的语言，即谈判各方以什么样的且各方都能接受的语言来进行谈判，例如，人类谈判中，事先都要确定谈判各方都能接受的语言后才能进行。其次，在此基础上，还需要规定好各基本语言的搭配和使用，即相关的逻辑框架，例如，人类谈判中，各地方言中对基本语言配合使用规定的不同可能会导致虽然具有了相同基本谈判语言的谈判各方仍旧无法正常开展和进行谈判。因此，如果基本语言不同，或者即使基本语言相同但逻辑框架不一致，谈判就无法正常开展和进行。同样的道理，在基于Agent的辩论谈判协议中，也需要对这两个问题进行事先规定，才能使作为谈判方的Agent正常开展辩论谈判。

在基于Agent的辩论谈判协议的相关研究中，最为经典的是S. Kraus et al.（1998）的研究。他们认为Agent作为人工智能应当具有信念（Belief）、愿望（Desire）和意图（Intention）这三种最基本的心理态度，并将这三者作为Agent之间的基本谈判语言的构成要素，三者之间的逻辑关系构成了协议的逻辑框架。其中，信念（简称为B）指的是Agent对其自身或周围环境的认识程度；愿望（D）指的是Agent想要完成某个行为的动机；意图（I）指的是Agent想要实现的目标。这三者之间的逻辑关系（即协议的逻辑框架）可表示如下：

B：B（α）→B（B（α）） （2-1）

B：B（α）→¬B（¬α）（2-2）

B：¬B（α）→B（¬B（α））（2-3）

B：B（α→β）→（B（α）→B（β））（2-4）

D：D（α）→¬D（¬α）（2-5）

D：D（α→β）→（D（α）→D（β））（2-6）

I：I（α）→¬I（¬α）（2-7）

I：I（α→β）→（I（α）→I（β））（2-8）

公式（2-1）表示，如果α存在于某个Agent所具有的信念中，则此Agent必然相信它具有信念α；公式（2-2）表示，如果α是某个Agent所具有的信念中的一个，则此Agent不相信与信念α相矛盾的其他的信念，同理也适用于Agent所具有的愿望和意图，即公式（2-5）和公式（2-7）；公式（2-3）表示，如果α不存在于某个Agent所具有的信念中，则此Agent必然不相信它具有信念α，与公式（2-1）类似，但相反；公式（2-4）表示，如果某个Agent所具有的信念中认为α必然能推出β，而α同时也是它自身的一个信念，则β也必将是它自身的一个信念，同理也适用于Agent所具有的愿望和意图，即公式（2-6）和公式（2-8）。

辩论谈判协议中，除了要具备上面的基本语言和逻辑框架外，还需要对其中的基本语素进行正确描述，具体如下：

1.描述Agent在辩论谈判中的反应行为的基本语素

由于本书所研究的主要是合作性的基于Agent的辩论谈判，因此，以Cooperate表示此Agent是属于愿意合作的Agent；此外，以Argue＿Negotiate表示辩论谈判的正向，以Counter＿Argue＿Negotiate表示辩论谈判的反向，即反向辩论谈判，以Start表示整个辩论谈判的开始，以End表示整个辩论谈判的结束，以Respond和No＿Respond表示参与辩论谈判的一方对对方提出的辩论谈判是否作出反应，以Agree表示参与辩论谈判的一方对对方所提出的辩论谈判的接受，以Abort表示辩论谈判的中止。

2.描述Agent在辩论谈判中的信息交流行为的基本语素(www.xing528.com)

对每一个参与辩论谈判的Agent来说，它们之间正常开展和进行辩论谈判时根据预先规定的协议所产生的谈判中的信息交流行为主要可以分为两类：一类是辩论谈判信息的输入，称为Nin；一类是辩论谈判信息的输出，称为Nout。具体来说，当Agent进行辩论谈判时，它既要从别的Agent处接受相关的辩论谈判信息，还要根据其自身有关此辩论谈判的知识和经验等对这些接收到的辩论谈判信息做出判断，然后得出自身的辩论谈判信息并输出给对方。

3.另外几个重要的基本语素

随着辩论谈判的开展与进行，Agent在辩论谈判过程中的信念、愿望和意图随之也不断变化，所涉及的辩论（Argue）也不尽相同，例如，谈判各方围绕不同的辩论谈判问题，可以抽象出不同的论点，同时结合不同的论据，采用不同的辩论策略及模型等进行辩论谈判。因此，需要先规定如下几个基本语素：

（1）能做（Cando）

表示Agent在辩论谈判过程中具有能完成某项任务的信念。这里的任务主要指的是谈判对手提出的将要谈判的内容，例如，可以是商务谈判中买方Agent要求卖方Agent就某个商品的销售的降价。因此，可以以公式（2-9）表示买方Agent α所具有的认为卖方Agent β是否能完成其提出的降价任务d的信念。

Bα（Cando（β，d））（2-9）

（2）做（Do）

表示Agent在辩论谈判过程中具有能要求对方完成某项任务的愿望，即对方是否能完成此项任务。因此，可以以公式（2-10）表示买方Agent α希望卖方Agent β完成其提出的降价任务d的愿望，也就是Agent β是否会完成Agent α提出的降价任务d。一般来说，愿望的实现即是否做需要一定的信念支持。

Dα（Do（β，d））（2-10）

（3）正在做（Doing）

表示Agent在辩论谈判过程中正在完成的某项任务，因此，可以以公式（2-11）表示买方Agent α具有希望卖方Agent β完成其所提出的降价任务d的目标；此外，公式（2-12）表示买方Agent α具有的卖方Agent β是否正在完成其提出的降价任务d的信念。

Iα（Do（β，d））（2-11）

Bα（Doing（β，d））（2-12）