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

Agent Service Matchmaking Based on Description Logic

多主体系统中的服务匹配是智能主体和多主体系统等领域中的重要研究课题 .描述逻辑是知识表示和推理的形式化工具 ,它提供了可判定的和可靠的推理服务 .该文利用描述逻辑有效的推理功能 ,特别是它对概念包含关系的有效判断 ,把它与多主体系统的服务推理结合起来 .充分利用描述逻辑具有清晰模型 理论语义和有效的概念分层推理服务等功能 ,该文提出了基于描述逻辑的主体服务匹配算法 ,详细研究了如何利用描述逻辑的理论和推理机制来实现自动的服务分层及服务匹配 ,并提出了五种服务匹配算法 .这些方法都是基于语义的服务匹配 ,利用服务分层机制实现了有效和高效的多主体系统中的服务匹配 ,克服了基于语义距离进行服务匹配的不足 .

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 reasoning. 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 hierarchy 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 description logic theory and reasoning mechanism are studied in detail, and five kinds of algorithms of agent service matchmaking are proposed. These matchmaking methods are based on semantic service matchmaking. Through the mechanism of the service hierarchy, an effective and efficient agent service matchmaking in multi-agent systems is implemented. At last, the realization method of the five kinds of algorithms of agent service match-making in Multi-Agent Environment (MAGE) is introduced.