排序方式: 共有67条查询结果,搜索用时 15 毫秒
51.
分析了描述逻辑非标准推理的重要性,总结了描述逻辑中概念的匹配推理研究现状和存在的问题,针对匹配推理在处理数量限制和存在量词的不足研究了描述逻辑系统εLN中概念的匹配推理。将概念变量引入描述语言εLN,定义出了εLN中概念模式,进而给出了εLN中概念的匹配算法,证明了算法的可靠性并指出该算法计算出的匹配极小完全集的基数是随着匹配问题的大小(size)呈指数增长的。 相似文献
52.
53.
描述逻辑μALCQO 的语义及推理 总被引:1,自引:0,他引:1
循环术语集是描述逻辑长期以来的研究难点,其最基本的问题即语义及推理问题没有得到合理的解决.基于混合分级μ-演算将不动点构造算子引入到含有枚举构造算子的描述逻辑ALCQO 中,提出了一种允许包含循环术语集的描述逻辑μALCQO.给出了μALCQO 的语法、语义和不动点构造算子的性质,证明了μALCQO 的可满足性推理等价于混合分级μ-演算的可满足性推理.基于混合分级μ-演算可满足性推理算法,并利用完全强化自动机给出了μALCQO的可满足性推理算法,以及给出了推理算法正确性证明和复杂性定理.μALCQO为进一步给出同时含有不动点构造算子和枚举构造算子的表达能力强的描述逻辑推理算法提供了理论基础. 相似文献
54.
55.
56.
文中分析了描述逻辑循环术语集的研究现状和存在的问题,将近年来Baader F和Nebel B等人的工作扩展到新的方向.首先定义了描述逻辑的子系统vL,重新定义描述图G_T和G_J,使用互模拟的方法,给出了描述逻辑系统vL循环TBox非平凡的模型存在的、基于描述图的一个语法条件.证明:vL的包含推理算法是多项式时间复杂的. 相似文献
57.
58.
59.
智能互联网 总被引:4,自引:0,他引:4
Intelligent Web functions essentially as an autonomic entity. The Web automatically regulates the func-tions and cooperation of related Web sites and available application services. In the paper we will discuss the key is-sues related to the intelligent Web, such as semantic representation, Agent, resource management, service manage-ment, Web mininlz and so on. 相似文献
60.
基于描述逻辑的主体服务匹配 总被引:44,自引:1,他引:44
多主体系统中的服务匹配是智能主体和多主体系统等领域中的重要研究课题.描述逻辑是知识表示和推理的形式化工具,它提供了可判定的和可靠的推理服务.该文利用描述逻辑有效的推理功能,特别是它对概念包含关系的有效判断,把它与多主体系统的服务推理结合起来.充分利用描述逻辑具有清晰模型一理论语义和有效的概念分层推理服务等功能,该文提出了基于描述逻辑的主体服务匹配算法,详细研究了如何利用描述逻辑的理论和推理机制来实现自动的服务分层及服务匹配.并提出了五种服务匹配算法.这些方法都是基于语义的服务匹配,利用服务分层机制实现了有效和高效的多主体系统中的服务匹配,克服了基于语义距离进行服务匹配的不足. 相似文献