计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2004年
5期
625-635
,共11页
史忠植%蒋运承%张海俊%董明楷
史忠植%蔣運承%張海俊%董明楷
사충식%장운승%장해준%동명해
描述逻辑%多主体系统%服务分层%服务匹配
描述邏輯%多主體繫統%服務分層%服務匹配
묘술라집%다주체계통%복무분층%복무필배
多主体系统中的服务匹配是智能主体和多主体系统等领域中的重要研究课题.描述逻辑是知识表示和推理的形式化工具,它提供了可判定的和可靠的推理服务.该文利用描述逻辑有效的推理功能,特别是它对概念包含关系的有效判断,把它与多主体系统的服务推理结合起来.充分利用描述逻辑具有清晰模型-理论语义和有效的概念分层推理服务等功能,该文提出了基于描述逻辑的主体服务匹配算法,详细研究了如何利用描述逻辑的理论和推理机制来实现自动的服务分层及服务匹配,并提出了五种服务匹配算法.这些方法都是基于语义的服务匹配,利用服务分层机制实现了有效和高效的多主体系统中的服务匹配,克服了基于语义距离进行服务匹配的不足.
多主體繫統中的服務匹配是智能主體和多主體繫統等領域中的重要研究課題.描述邏輯是知識錶示和推理的形式化工具,它提供瞭可判定的和可靠的推理服務.該文利用描述邏輯有效的推理功能,特彆是它對概唸包含關繫的有效判斷,把它與多主體繫統的服務推理結閤起來.充分利用描述邏輯具有清晰模型-理論語義和有效的概唸分層推理服務等功能,該文提齣瞭基于描述邏輯的主體服務匹配算法,詳細研究瞭如何利用描述邏輯的理論和推理機製來實現自動的服務分層及服務匹配,併提齣瞭五種服務匹配算法.這些方法都是基于語義的服務匹配,利用服務分層機製實現瞭有效和高效的多主體繫統中的服務匹配,剋服瞭基于語義距離進行服務匹配的不足.
다주체계통중적복무필배시지능주체화다주체계통등영역중적중요연구과제.묘술라집시지식표시화추리적형식화공구,타제공료가판정적화가고적추리복무.해문이용묘술라집유효적추리공능,특별시타대개념포함관계적유효판단,파타여다주체계통적복무추리결합기래.충분이용묘술라집구유청석모형-이론어의화유효적개념분층추리복무등공능,해문제출료기우묘술라집적주체복무필배산법,상세연구료여하이용묘술라집적이론화추리궤제래실현자동적복무분층급복무필배,병제출료오충복무필배산법.저사방법도시기우어의적복무필배,이용복무분층궤제실현료유효화고효적다주체계통중적복무필배,극복료기우어의거리진행복무필배적불족.
