导　　师： 吴时霖

学科专业： H1202

授予学位： 博士

作　　者： ;

机构地区： 复旦大学

摘　　要： 随着电子商务的发展,电子谈判是电子商务必须的部分.该文针对目前电子谈判系统中急需解决的技术问题进行了深入的研究,提供了一些新的解决思路和有效的开发方法.该文首先提供了一个通信管理与文档管理相结合的全新架构,能对谈判的各方面提供有效的支持.虽然模型主要强调还是对谈判的有效"支持",但这个谈判的概念模型为设计自动或半自动电子谈判系统提供了的思想基础.谈判的目标就是要根据合同进行合作,实现电子合作也非常重要的.然而在电子商务系统这样一个开放式网络中,任何一个伙伴没有能力去控制其他伙伴的行为.但可以事先详细说明条件,签订合同,借助于法律的威严,还是能够反对远方合作伙伴那些与合同不一致的行为,以保护自己的利益.该文用形式语言与自动机理论对电子合同及其目标、责任、约束以及不可抵赖性证据进行形式化定义,使责任和证据相互配合,迫使达到商业目标.为自动电子谈判与合作的设计与实施建立了理论基础.该文以通信为基础,引入本体的概念,提供了一个全新电子谈判媒体的设计与实施方法.电子谈判媒体的设计,通信设计是关键.通信设计的目标是要为电子谈判媒体的逻辑空间定义电子谈判方案模型.实践证明,使用该文所提供的方法能够有效解决电子谈判的本体问题;在运行时,xml schema能够有效表达和验证所做的通信设计.智能代理技术是实现自动谈判的有效途径,该文提供灵活有效的谈判代理开发方法,使用状态图和可废止逻辑规则说明谈判策略,动态地插入到一个集状态解释器和可废止逻辑推理引擎于一体的代理壳中,就可以获得所需要的自动谈判代理.由于状态图和可废止逻辑有很强的适应性,当应用环境发生变化时,只需要调整标准和规则的集合.

关 键 词： 电子谈判 电子合同 形式化模型 谈判代理

分 类 号： [TP317]

领　　域： [自动化与计算机技术] [自动化与计算机技术]