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

第27卷 第5期 计 算 机 学 报 VolJ 27 No．5 2004年 5月 CHINESE JOURNAL OF COMPUTERS Mav 2004 基于描述逻辑的主体服务匹配 史忠植 蒋运承”- 张海俊” 董明楷 (中国科学院计算技术研究所 北京 100080) ! (中国科学院研究生院 北京 100039) 摘 要 多主体系统中的服务匹配是智能主体和多主体系统等领域中的重要研究课题．描述逻辑是知识表示和推 理的形式化工具，它提供了可判定的和可靠的推理服务．该文利用描述逻辑有效的推理功能，特别是它对概念包含 关系的有效判断，把它与多主体系统的服务推理结合起来．充分利用描述逻辑具有清晰模型一理论语义和有效的概 念分层推理服务等功能，该文提出了基于