在社会生活中,人们主、客观方面存在的差异导致个人或组织等社会主体在目标或利益方面随时随地都有可能产生冲突和分歧。为了保证社会系统的稳定运行和正常发展,需要通过一定的方式对这些冲突和分歧进行合理有效的解决。谈判作为人类社会交往中解决冲突和分歧的一种重要方式,已经被广泛地应用到了人类社会生活的方方面面,并成为其中的重要组成部分。 传统的谈判是由参与谈判的各方人员在同一地点进行面对面的交流和沟通,通过交换意见进行协商,最终签订协议。近年来,随着互联网和信息技术的飞速发展以及全球经济一体化的形成,使得企业之间的联系变得更加紧密和需要节约更多的人力、物力及时间。人工智能中的Agent的引入,可以使企业之间开展自动谈判,不仅极大节约谈判成本,而且能提高谈判效率,降低谈判复杂程度,并使谈判结果更符合各方需求。 结合人类的辩论思想,创建基于Agent的劝说型辩论谈判系统,一方面可以通过系统中的Agent来模拟人类谈判过程中所使用的辩论,从而使谈判过程更加理性,谈判结果更加理想,另一方面也充分考虑到了人类谈判活动的复杂性和多变性,同时满足方便、快捷的实际谈判需求,可以为远程异地谈判提供高效、灵活、经济的支撑平台。因此,论文以此为出发点,展开如下的研究工作： (1)通过对目前国内外基于Agent的辩论谈判及相应的自动谈判系统的研究的分析,给出相应的研究工作及成果的综述,指出了目前的不足之处和值得进一步研究的地方。 (2)针对基于Agent的辩论谈判协议建立的不足问题,依据经典的BDI(信念、愿望、意图)理论和已有的基于Agent的谈判协议,将人类辩论思想融入,构建了更加完整的基于Agent的辩论谈判协议。对基于Agent的辩论谈判中可能用到的重点语素进行了规定和说明,并对基于Agent的辩论谈判过程中的各个状态下的推理规则进行了图示和详细描述,为研究基于Agent的辩论谈判协议的制定提供了理论基础。 (3)为了使策略的选择、模型的构建和其评价体系的确定更具有针对性,将基于Agent的辩论谈判过程划分为合作伙伴选择和有关谈判内容的具体交互两个阶段。在合作伙伴选择阶段,引入人际辩论谈判策略中的威胁、奖励、申辩和反驳等主要策略,对它们进行概念界定和分类,并运用形式逻辑理论和人际辩论谈判思想,提出了相关的形式化模型。论文还提出了有关这些策略和模型的辩论力度的概念和有效的评价算法,构建了相应的评价体系。 (4)将具体交互过程划分为辩论和反辩论这两个子过程,并提出了辩论和反辩论的形式化模型。在这个阶段,评价体系建立的核心在于购买方的购买值和销售方的销售值的概念界定,因此在提出了相应的购买值和销售值的概念的基础上,对基于Agent的辩论谈判过程中的具体交互阶段进行了详细的过程分析,提出了每一轮辩论和反辩论的有效的评价算法,构建了相应的评价体系。 (5)结合社会学基础理论及制度经济学中的科斯定理,提出了基于Agent的辩论谈判的社会制度的概念,并对其进行分类后以图示的形式给出了相关的表述模型。分析了基于Agent的辩论谈判的社会制度的产生原因,结合线性规划理论,得出其产生模型。基于经典的BDI理论,结合Agent所承担的社会角色和拥有的社会关系,运用基于Agent的辩论谈判过程中的合作伙伴选择阶段中所使用的策略和模型及评价体系的建立方法,给出了基于Agent的辩论谈判的社会性研究中的辩论谈判策略和模型,并构建了相应的评价体系,从而进一步验证了前面所提出的理论和方法的有效性。 (6)结合所提出的协议、策略和模型及相应的评价体系,对基于Agent的辩论谈判的过程进行分析,选定Jade作为开发平台,Java作为开发语言,设计并编程实现了基于Agent间辩论的汽配交易自动谈判系统原型,从实践上对本文所提出的理论和方法做出了验证。 总的来说,本文的研究是在结合了管理学、经济学、人工智能、社会学等相关理论的基础上,对基于Agent的劝说型辩论谈判系统进行了较为深入的研究,并通过实现一个具体的基于Agent的辩论谈判系统对论文所提出的理论和方法进行了验证。此外,本文还对基于Agent的劝说型辩论谈判中可能涉及到的社会性进行了研究。这些工作都将对基于Agent的劝说型辩论谈判和相应的自动谈判系统的研究起到积极的作用。