智能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。该语言不仅考虑了从语义上来描述服务，而且也考虑