随着计算机技术和全球网络的不断发展和应用的广泛普及,越来越多的现实世界分布式的复杂应用问题摆在人们面前,伴随着电子商务交易模式的兴起,越来越多商务活动都在计算机网络上进行,这使得人们认识到互联网环境下人们商务活动研究的重要性,面向电子商务的自动谈判系统就是研究的重点之一。自动谈判系统是谈判支持系统的研究分支之一——基于过程的谈判模型,采用Agent可以部分或完全代替人对交易中的讨价还价问题通过谈判进行解决,不受时间、地点,人物的限制,可以大大提高谈判的效率、降低交易成本,促进电子商务的发展。自动谈判研究的终极目的是实现具有自主谈判能力的自动谈判系统,从而辅助谈判过程的完成。目前的现状是自动谈判系统在理论方面作了大量的研究,特别是谈判协议、谈判策略、谈判框架方面的理论研究已经相当成熟。但是这些研究不足以支撑起自动谈判系统实现,造成了理论和实际相脱离的现象十分严重,因此,自动谈判领域亟需在系统实现方面有所突破,以支持该领域中其他相关课题的研究。本文研究的主要内容:(1)逻辑推理理论和效用决策理论在自动谈判系统中的应用逻辑推理能力是Agent具有理性能力的特征之一;效用是理性个体对需求满意度的衡量,是决策的基础。本文从逻辑理性和效用理性阐述了Agent的BDI特点,并且用数学方法给出了逻辑推理和效用决策的计算方法。(2) Agent会话层次模型的设计会话是Agent建立关系,进行交流的重要途径,为了简化Agent会话的层次结构,本文给出了四层结构的会话模型,该模型是自动谈判各个模块功能的载体和体现,有助于简化会话问题的认识,也有助于Agent会话机制的设计和实现。(3)自动谈判系统的设计自动谈判系统的功能主要体现在通讯协议、谈判协议、谈判要素、谈判策略这几个部分,本文给出了这几个部分的设计,同时给出了整合各功能模块的框架结构。(4)用面向Agent的方法论Prometheus完成自动谈判的建模标准的设计规范是实现合格软件的基础,面向Agent的方法论Prometheus按照系统需求规范、总体架构、系统详细设计三个阶段进行,该方法能够很好地支持Agent软件的设计。(5)自动谈判系统在面向Agent开发环境JACK中的实现JACK是面向Agent的集成开发环境,能很好地支持BDI模型的实现和运行,亦可将各个功能模块进行整合,本文采用该开发环境完成自动谈判系统的谈判报价部分的实现。(6)给出自动谈判系统谈判报价的解集空间和自动谈判系统运行的结果为了验证该系统的各项功能在系统实现上的正确性,本文采用最大效用分析方法给出了自动谈判系统谈判报价的可能解集,该解集最大的用途在于对比自动谈判系统运行的结果。本文以电子商务中面向Agent的自动谈判系统为应用背景,研究MAS中Agent关于会话、计算和报价协商的理论和方法,运用面向Agent的设计方法论Prometheus在面向Agent的集成开发环境JACK下对自动谈判系统进行多Agent系统的建模、设计和实现技术的研究。