论文部分内容阅读
由于更能体现人类的社会智能、具有更大的灵活性和适应性，多主体系统(MAS)可以广泛应用于构建开放、动态的软件系统，是人工智能研究的核心领域之一。选择适当的形式化工具描述主体通信和交互协议问题是当前多主体系统研究要解决的关键问题之一。本文以电子商务领域中主体间的交互协议为研究对象，提出了一种电子商务自动谈判协议的形式化描述方法，基于此方法对主要的电子商务谈判协议模型进行了描述，并进行了验证和分析。 本文成果主要包括： 1．指出了当前协商协议研究有待解决的三个主要问题，详细介绍了现有解决方案。 2．根据五种分类标准对协商协议进行了分析、比较和分类。 3．提出了一个刻画电子商务领域中谈判协议的概念框架，其主要属性包括动作、角色、局面、规则和消息等。 4．提出了扩展Petri网形式化描述方法，它除了可以为自动谈判协议建模之外，还支持模型分析、重用和集成。 5．利用提出的扩展Petri网给出了三种主要谈判协议的形式化描述，并对这些模型的性质进行了分析。