导　　师： 史忠植

学科专业： 081202

授予学位： 博士

作　　者： ;

机构地区： 中国科学院研究生院

摘　　要： 智能Web本质上是一种自治的实体，它具有自动调节功能，并能够进行协同工作，以便提供有效的应用服务。它是下一代互联网的另一种模式，就是有效地将智能融入到互联网中，让具有智能的计算机程序在互联网中运作，为人们提供各种自治的智能服务。智能Web以语义Web为基础设施，利用智能主体来封装各种Web资源并提供智能服务。从智能Web的总体目标来看，它必须解决以下一些关键问题：语义表达、智能主体、资源管理、服务管理和Web挖掘等。 智能主体是智能Web中的核心组件之一，它是一种智能的软件实体。智能主体和多主体系统已经成为人工智能甚至计算机科学的研究热点和重点之一，随着Internet的飞速发展，Web服务、语义Web服务以及网格服务等研究的深入，研究如何利用主体和多主体系统为用户提供各种自治的智能服务已成为当前主体和多主体系统的研究热点。智能Web就是利用主体和多主体系统理论技术来实现为用户提供各种自治的智能服务，即基于主体的智能Web中的服务。 本文分析了智能Web中服务的研究现状及存在的问题，从智能Web的服务架构、逻辑基础、主体服务描述及匹配、主体服务组合及协作等方面对智能Web中的服务进行了深入研究。本文的主要工作和创新点包括以下几个方面： /(1/)分析了智能Web中服务提出的背景，根据主体和多主体系统理论，特别是主体的心智状态模型，提出了一种基于主体的智能Web的服务总体架构。分析了用传统描述逻辑和动作理论作为智能Web中服务的逻辑基础的不充分性。根据智能Web的特点，给出了一种动作描述方法，并借鉴传统描述逻辑的语义解释方法给出了动作的语义解释，提出了一种基于描述逻辑的智能Web的服务理论。它具有清晰的语义特征，既提供了可判定的推理服务，又能有效地对动态知识和运行机制进行表示和推理，可以为智能Web的服务提供合理的逻辑基础。 /(2/)根据描述逻辑理论研究了主体服务描述和服务匹配问题，分析了用描述逻辑来研究主体服务的优点，提出了基于描述逻辑的主体服务描述和服务匹配方法。该方法充分利用描述逻辑在概念分层中的优点来自动建立主体服务分层，然后在服务分层上进行服务匹配，使得服务匹配具有高效性；同时该方法还充分利用描述逻辑具有清晰模型-理论语义的特点，利用主体服务的语义包含关系来刻画服务匹配，使得服务匹配具有有效性。该方法是基于语义的服务匹配，克服了基于语义距离进行主体服务匹配的不足。 /(3/)分析了目前传统主体服务描述语言CDL、SDL和LARKS等存在的问题和不足，结合智能Web中服务的特点，提出了一种带语义、继承以及支持协商机制的主体服务描述语言SDLSIN。该语言不仅考虑了从语义上来描述服务，而且也考虑 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 theory as the logical foundation for services in intelligent Web is analyzed. According to characteristic of services in intelligent Web, a kind of action description is presented, and the action interpretation is given referencing description logic's interpretation. The services theory based on description logic in intelligent Web is presented which has explicit semantics, provides decidable reasoning service and supports effective representation and reasoning of the dynamic process and running mechanism. So it may provide reasonable logical foundation for the services in intelligent Web. /(2/) Agent service description and service matchmaking are studied based on description logic, and the advantage of utilizing description logic to study agent service is analyzed. Agent service description and service matchmaking method based on description logic is presented. The method adequately makes use of concept hierarchy of description logic to automatic set up agent service hierarchy. Based on the agent service hierarchy, efficient agent service matchmaking is implemented. On the other hand, the method adequately makes use of effective model-theoretic semantics and subsumption relationship of description logic,

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

分 类 号： [TP393.09]

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