基于Agent的劝说模型及系统-逻辑理性分析

与日常的商务谈判形式一样，较强的逻辑推理和分析能力是基于多议题的Agent 劝说取得成功的关键因素之一。对基于多议题的Agent 劝说的研究，必须建立在较强的逻辑推理理论基础之上。一般认为，逻辑是指不论逻辑推理的前提是否完备，都能依靠逻辑推理得到可靠结论。

在相关研究中，关于逻辑理性的基本假设是认为Agent 具有完备的信息，而且世界是封闭的。在这样的基本假设下，逻辑理性认为，合理的行为可基于当前的信念合乎逻辑地推导出来。但是逻辑理性也存在着逻辑全知等理论与实际相脱节等问题，例如，假定Agent 具有了解世界的完备知识，事实却是Agent 资源是有限的，知识是不完备的。

目前在这方面的相关研究中，BDI 模型是典型代表［164］，该模型是在Cohen和Levesque 的正规模态逻辑的意图模型以及Rao 和Georeff 的BDI计算数学逻辑模型基础上发展起来的，侧重于形式描述信念、愿望和意图，包含3 个基本方面。

一、信念

信念包括对世界相关的信念、与其他Agent 思维趋向相关的信念和自我信念的集合。信念是Agent 对世界的认知，包含描述环境特性的数据和描述自身功能的数据，是Agent进行思维活动的基础。

二、愿望(www.xing528.com)

愿望是Agent 的最初动机，是其希望达到或保持的状态，由此可以激发系统的规划和行动。一般来说，可以表达为Agent 对环境状态的期待和判断，也就是通过判断该状态是否成立作为愿望是否实现的标志。在通常情况下，Agent 可以拥有互不相容的愿望，而且也不需要相信它的愿望是绝对可以实现的。

三、意图

意图是在承诺实现的愿望中选取的当前最需要完成或者最适合完成的一个，是当前Agent将要或正在实现的目标，属于思维状态的意向方向。一般来说，当前意图对Agent的当前动作具有指导性的作用。

基于多议题的Agent 劝说主要涉及命题逻辑、谓词逻辑和模态逻辑3 种逻辑。其中，命题逻辑的主要作用是描述和论断劝说的环境、商品的属性、劝说对象和劝说过程等内容；谓词逻辑用于描述和论断Agent 自身的相关属性；模态逻辑主要是帮助Agent 推测和分析对方可能采取的劝说动作或行为。

在基于多议题的Agent 劝说中，核心是Agent 之间的逻辑、交流与会话，这就要求对劝说中的相关属性和决策进行准确的定义和描述，而这些活动要借助非常严谨和形式化的数学工具来完成。