导　　师： 史忠植

学科专业： H1202

授予学位： 博士

作　　者： ;

机构地区： 中国科学院计算技术研究所

摘　　要： 该文分析了智能WEB中服务的研究现状及存在的问题,从智能WEB的服务架构、逻辑基础、主体服务描述及匹配、主体服务组合及协作等方面对智能WEB中的服务进行了深入研究.该文的主要工作和创新点包括以下几个方面:(1)分析了智能WEB中服务提出的背景,根据主体和多主体系统理论,特别是主体的心智状态模型,提出了一种基于主体的智能WEB的服务总体架构.分析了用传统描述逻辑和动作理论作为智能WEB中服务的逻辑基础的不充分性.根据智能WEB的特点,给出了一种动作描述方法,并借鉴传统描述逻辑的语义解释方法给出了动作的语义解释,提出了一种基于描述逻辑的智能WEB的服务理论.(2)根据描述逻辑理论研究了主体服务描述和服务匹配问题,分析了用描述逻辑来研究主体服务的优点,提出了基于描述逻辑的主体服务描述和服务匹配方法.(3)分析了目前传统主体服务描述语言CDL、SDL和LARKS等存在的问题和不足,结合智能WEB中服务的特点,提出了一种带语义、继承以及支持协商机制的主体服务描述语言SDLSIN.(4)研究了面向服务的多主体动态组合问题,根据主体理论和情景演算理论,从理论上研究了多主体服务组合语言的形式语义,为多主体服务组合的执行和验证提供了必要的理论基础.(5)针对开放、动态的智能WEB的服务环境,根据多主体联合意图理论和共享规划理论,提出了一个面向服务的多主体协作的五阶段模型. Intelligent Web functions essentially as an autonomic entity. The Web automatically regulates the functions and cooperation of related Web sites and available application services. Intelligent Web is other pattern of next generation Web, and intelligence is integrated into it. Intelligent program can run in intelligent Web, and intelligent services can be provided by it. The infrastructure of intelligent Web is semantic Web, and it utilizes intelligent agent to encapsulate all Web resources and provide services. As to the general goal of intelligent Web, it must solve the key issues related to the intelligent Web, such as semantic representation, agent, resource management, service management and Web mining and so on. Agent is one of core components of the intelligent Web, and it is a kind of intelligent software entity. Agent and multi-agent system are one of the most important branches in artificial intelligence and computer science. With the fast development and research of Internet, Web services, semantic Web services and grid services, how to utilize agent and multi-agent system to provide variously autonomous intelligent services has been major problem of agent and multi-agent system. Intelligent Web use agent technology to realize all kinds of activities which are related to services in intelligent Web, i.e., agent based services in intelligent Web. The current work and the problem of services in intelligent Web are analyzed, and several problems such as service framework in intelligent Web, logical foundation, agent service description and matchmaking, agent service composition and cooperation are studied deeply in this dissertation. The main contributions of this dissertation are as follows. /(1/) The background of services in intelligent Web is analyzed. Based on the theory of agent and multi-agent system, especially the mental state model, a kind of service framework based on agent is presented in intelligent Web. The insufficiency of using description logic and action th

关 键 词： 智能主体 多主体系统 智能 描述逻辑 服务 服务描述 服务匹配 服务组合 服务协作 模型 多主体环境

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