基于描述逻辑的主体服务匹配.pdfVIP

第27卷 第5期 计 算 机 学 报 VolJ 27 No．5 2004年 5月 CHINESE JOURNAL OF COMPUTERS Mav 2004 基于描述逻辑的主体服务匹配 史忠植 蒋运承”- 张海俊” 董明楷 (中国科学院计算技术研究所 北京 100080) ! (中国科学院研究生院 北京 100039) 摘 要 多主体系统中的服务匹配是智能主体和多主体系统等领域中的重要研究课题．描述逻辑是知识表示和推 理的形式化工具，它提供了可判定的和可靠的推理服务．该文利用描述逻辑有效的推理功能，特别是它对概念包含 关系的有效判断，把它与多主体系统的服务推理结合起来．充分利用描述逻辑具有清晰模型一理论语义和有效的概 念分层推理服务等功能，该文提出了基于描述逻辑的主体服务匹配算法，详细研究了如何利用描述逻辑的理论和 推理机制来实现自动的服务分层及服务匹配．并提出了五种服务匹配算法．这些方法都是基于语义的服务匹配，利 用服务分层机制实现了有效和高效的多主体系统中的服务匹配，克服了基于语义距离进行服务匹配的不足． 关键词 描述逻辑；多主体系统；服务分层；服务匹配 中图法分类号 TP18 Agent Service Matchmaking Based on Description Logic SHI Zhong—Zhi” JIANG Yun—Cheng ! ZHANG Hal—Jun DONG Ming—Kai ”(Institute of Computing Technolog3 r．Chinese Academy of Sciences，Beijing 100080) ! (Graduate S(hool，Chinese A cademy 0，Sciences，Beijing 100039) Abstract Service matchmaking is one of the major problems in the area of intelligent agent and multi—agent systems．Description logic is the formal tool of knowledge representation and reason— ing．Using effective reasoning capability of description logic，especially its effective judgment tO concept subsumption，the combination of description logic and service reasoning in multi—agent systems is studied．Adequately making use of effective model—theoretic semantics and concept hi— erarchy of description logic，the description logic based service matchmaking algorithm for multi— agent systems is proposed，and the automatic service hierarchy and service matchmaking by de— scription logic theory and reasoning mechanism are studied in detail，and five kinds of algorithms of agent service matchmaking，i． ．agent service