共查询到17条相似文献，搜索用时 718 毫秒
1.
为了解决语义Web服务匹配方法主要针对服务IO描述的匹配, 导致匹配结果较为片面的问题, 提出了一种基于描述逻辑的语义Web服务IOPE描述及匹配方法. 具体使用描述逻辑概念标注服务IO, 以描述逻辑断言库刻画服务PE. 进行服务匹配时, 利用描述逻辑TBox概念包含检测确定服务请求与广告IO之间的包含关系; 利用描述逻辑ABox一致性检测推理, 判断服务请求与广告PE之间的逻辑蕴含关系; 依据此蕴含关系, 将PE匹配情况划分为4种, 即Exact, Perfect, Side-effect和Common匹配, 用以对匹配结果进行有意义的排序. 实验结果表明, 所提方法在召回率与现有方法相当的情况下, 具有更高的查准率. 相似文献
2.
为了解决限制数量约束的扩展模糊描述逻辑(EFALCQ)的推理复杂性问题,采用限制数量约束的描述逻辑(ALCQ)离散模拟EFALCQ,并重用ALCQ的推理结论来证明EFALCQ推理问题的复杂性.提出了EFALCQ一致性推理问题的ALCQ模拟方法,将EFALCQ的可满足性推理问题转换为EFALCQ的一致性推理问题,并用EFALCQ的一致性推理问题离散模拟EFALCQ的可满足区间推理问题.最后证明了EFALCQ的可满足性、一致性、以及可满足区间推理问题的推理复杂性是PSPACE-complete问题. 相似文献
3.
支持语义web模糊本体的描述逻辑 总被引：7，自引：0，他引：7
为实现语义web上包含复杂模糊知识的模糊本体的表示和推理,提出了一种描述逻辑的模糊扩展———支持比较表达式的模糊描述逻辑(FCDLs).给出FCDLs语法和语义的形式化定义,并规定FCDLs知识库中的公理和断言形式.FCDLs将模糊描述逻辑(FDLs)中的模糊概念和扩展模糊描述逻辑(EFDLs)中的截概念结合在同一理论中,并将截概念扩展为比较截概念,从而支持对实际中经常用到的模糊隶属度之间比较表达式的描述,而其他的描述逻辑模糊扩展均不支持比较表达式.FCDLs具有比FDLs和EFDLs更强的表达能力,能够表示复杂的模糊知识并基于它们完成推理任务.因此FCDLs可实现语义web上包含复杂模糊知识的模糊本体的表示和推理. 相似文献
4.
5.
6.
杜国平 《徐州师范大学学报(哲学社会科学版)》2012,38(1):139-142
知识蕴涵逻辑是能够处理包含矛盾信息知识系统的推理问题的一类逻辑系统。它可以避免由于矛盾信息而带来推理后承的致命性结果。其应用前景非常广泛,主要体现在:1.为智能系统提供处理不协调信息的逻辑工具;2.用于不协调信息的形式表示;3.有助于自然语言的理解。由两个具体的应用实例可以看出,在某些情况下,用知识蕴涵逻辑描述人类的推理过程更加符合人类智能的实际情况。 相似文献
7.
霍书全 《广东广播电视大学学报》2006,15(4):29-32,49
推理关系的形式化带来了“实质蕴涵怪论”问题,本文对推理关系形式化引起的歧义和“实质蕴涵怪论”的产生进行了分析。通过分析认为,推理是逻辑的研究对象,而逻辑又必须应用推理,推理的这种双重角色决定了对推理进行形式化就会产生“怪论”。虽然“怪论”难以消除,但在一定条件下也是可以消除的。既然推理如此特殊,我们只能通过扩充逻辑种类的方法间接完成对推理的刻画,应该抛弃狭义的逻辑观,使数理逻辑的优势发扬光大。 相似文献
8.
语义Web研究的目的是为了使机器可以理解知识,所以实现语义Web首先需要解决的问题就是计算机对知识的理解问题,只有计算机理解了所建立的知识,才能在此基础上展开推理服务。OWL是专门为基于Web的应用设计的本体语言,该语言与描述逻辑的组合可以实现一定程度上的推理服务。文中概述了本体语言和描述逻辑及它们之间的关系,并通过一个个实例显示本体中基于描述逻辑的推理服务。 相似文献
9.
苏丽 《科学技术哲学研究》2014,(1)
关于人类推理机制的说明主要有两种理论,分别是心智模型理论和心智逻辑理论。利普斯的心智逻辑理论构造了一个近似于一阶逻辑的人类演绎推理的形式规则(PSYCOP)系统,来描述依据命题联结词和量词变量进行的推导过程,并用Prolog计算机程序来模拟和检验该理论所描述的人类推理的心智过程。该理论的核心优势是去量词化,但同时也面临着一些可能的缺陷。 相似文献
10.
为了优化本体推理, 提出了一种在EL++本体中的公理模块提取方法.该方法通过分析符号解释域的边界和公理间的关系计算出给定推理任务的边界模块, 对于与推理任务中所有符号相关的公理集合, 采用边界分割和交集计算来提取最终的边界模块, 并提高模块的紧凑性.模块的正确性通过计算和推理任务中符号直接和间接相关的公理得到保证.给出了边界模块的理论基础和求解算法, 并通过符号边界和逻辑蕴涵之间的关系证明了模块的正确性.边界模块提取方法在EL++描述逻辑语言上进行了实现,现实的本体实验评估表明, 基于边界模块的推理比不采用模块的推理在性能上有很大的提高. 相似文献
11.
12.
当前Web页面基于HTML语言,缺乏语义信息,语义网络是对现有Web的扩展.OWL是Web Ontology的一种最新的W3C提出的表示语言,是实现语义Web的语言工具,它的逻辑基础是描述逻辑.结合OWL语言,提出一种基于描述逻辑的知识建模语言(KDL),给出了知识描述语言的语义解释,并提出了基于Tableau算法的推理算法. 相似文献
13.
当前Web页面基于HTML语言,缺乏语义信息,语义网络是对现有Web的扩展.OWL是WebOntology的一种最新的W3C提出的表示语言,是实现语义Web的语言工具,它的逻辑基础是描述逻辑.结合OWL语言,提出一种基于描述逻辑的知识建模语言(KDL),给出了知识描述语言的语义解释,并提出了基于Tableau算法的推理算法. 相似文献
14.
周毅 《阜阳师范学院学报(社会科学版)》2010,(6):94-97
逻辑推理和法律推理的关系十分密切,法律推理是逻辑推理的一般方法在法律领域中广泛、综合的运用,逻辑推理是法律推理重要的理性工具之一。法律推理中的逻辑推理形式必须是有效的,有效的逻辑推理可以消解裁判中的任意性,避免谬误,帮助获得正当的裁判结论。 相似文献
15.
田心军 《周口师范学院学报》2007,24(6):119-123
我国法律逻辑学界对法律推理的定义和划分存在诸多问题,其根源是研究进路不统一。从逻辑学进路重新定义法律推理,彰显其逻辑学特征,揭示其逻辑学本质,体现"宽泛"的法律推理观,便于实现法律逻辑学界对法律推理定义的统一。从逻辑学的进路重新划分法律推理,恪守逻辑学的划分原则,凸显辩证逻辑推理形式在法律推理中的地位和作用,利于实现法律逻辑学界对法律推理划分的统一。 相似文献
16.
王克喜 《徐州师范大学学报(哲学社会科学版)》2012,38(3):116-122
关于佛教逻辑的论式,学者们历来有不同的理解,有的认为其性质是演绎,有的认为其性质是归纳,也有的认为是类比。其实,应该从论辩或者论证的角度来看待佛教逻辑的论式性质,而不能只从推理的角度去看待佛教逻辑的论式性质。从非形式逻辑的角度看,佛教逻辑论式是一个论辩的程式;佛教逻辑论式是一个论证式,而不是推理式;佛教逻辑论式带有明显的心理因素,是"实践的论证"。 相似文献
17.
现有的归纳推理模型都是领域一般性的,这些模型的局限性和遭遇到的困难说明在领域一般性的意义上考察归纳推理可能是行不通的。而且逻辑学的研究已经承认,要建立一个完全的归纳逻辑也是不可能的。因此,对归纳推理研究应该放弃领域一般性的思路,而采用领域特殊性的视角和功能分析的研究方法可能会给归纳推理研究带来新的活力。 相似文献