共查询到19条相似文献，搜索用时 313 毫秒
1.
保守扩充是数理逻辑中一个重要的性质。本体的保守扩充在本体设计和本体集成中扮演重要的角色,它可形式地精练本体、可靠地进行本体合并及在本体内部进行本体模块化。在本体的进化和本体的合并中,保守扩充最基本的任务是判定合并后的本体是否是原始本体的保守扩充,如果不是,那么进化后的本体与原始本体将不能保持一致的逻辑结论。分析了现有的描述逻辑的保守扩充及其相应的判定算法,提出描述逻辑VL的保守扩充,并构建了VL的典范模型,证明了VL的保守扩充的判定算法是指数时间复杂的。 相似文献
2.
3.
语义Web研究的目的是为了使机器可以理解知识,所以实现语义Web首先需要解决的问题就是计算机对知识的理解问题,只有计算机理解了所建立的知识,才能在此基础上展开推理服务。OWL是专门为基于Web的应用设计的本体语言,该语言与描述逻辑的组合可以实现一定程度上的推理服务。文中概述了本体语言和描述逻辑及它们之间的关系,并通过一个个实例显示本体中基于描述逻辑的推理服务。 相似文献
4.
针对信息集成中的语义异构问题,提出了一个基于本体的语义信息集成模型OSII,并给出了逻辑框架.OSII采用混和本体方式建模,以OWL描述本体,通过局部本体与全局本体之间的映射获得多源统一视图.提出了一种基于树结构的多策略本体映射算法,该算法包含4个步骤,即预处理,名称映射,子树映射和映射矫正.其特点在于:按照数据类型分类进行映射,并采用启发式规则,提高映射效率;同时考虑概念的语言相似性和结构相似性,提高相似度计算的准确性;采用迭代矫正,最终得到正确而完整的映射对.通过一个挑战性的实例说明了算法的有效性.OSII能很好地解决信息集成中的语义异构难点,实现多信息源之间的互操作. 相似文献
5.
本文就利用地理本体的强大的知识表达能力来表达地理时空信息的语义关系和时空关系进行了探讨,同时使用基于本体的多维地理时空信息的分类方法和描述逻辑语言OWL在Protege本体构建工具中构建了地理时空信息本体。 相似文献
6.
7.
描述逻辑是一族知识表示语言,其以结构化、形式化方法表示特定应用领域的知识。描述逻辑的各语言背后的逻辑是什么,能否公理化等问题在描述逻辑的研究进程中迄今没有相关研究。本文首先通过描述逻辑ALC与一阶逻辑的一个可判定片段之间的关系试图揭示描述逻辑的本质。最后给出了描述逻辑ALC的公理化方法及其演绎定理的证明。 相似文献
8.
卞拓蒙 《中山大学学报论丛》2010,3(1)
一般认为,标准量子力学需要使用一套它自己的逻辑系统,即量子逻辑.量子逻辑采用与一般逻辑系统不同的语义规则,因此和古典逻辑无法兼容.此篇文章将呈现一套量子力学的严格形式基础,它是对古典二值逻辑之保守扩充;保守扩充意指比原先之逻辑系统强,但较强的原因为它有较多之词汇.此套逻辑为三值逻辑.古典逻辑中为真的句子仍然为真.古典逻辑中为假的句子将被区分为强性假与中性.第三个真值-中性-考虑了非本征态情况中之观察句.本文详列了物理的公理并显示它们具有一个模型.此提案的可行性说明了量子逻辑是不必要的,并且存在一个共同的逻辑架构可提供给数学、非量子物理及量子力学使用. 相似文献
9.
为了优化本体推理, 提出了一种在EL++本体中的公理模块提取方法.该方法通过分析符号解释域的边界和公理间的关系计算出给定推理任务的边界模块, 对于与推理任务中所有符号相关的公理集合, 采用边界分割和交集计算来提取最终的边界模块, 并提高模块的紧凑性.模块的正确性通过计算和推理任务中符号直接和间接相关的公理得到保证.给出了边界模块的理论基础和求解算法, 并通过符号边界和逻辑蕴涵之间的关系证明了模块的正确性.边界模块提取方法在EL++描述逻辑语言上进行了实现,现实的本体实验评估表明, 基于边界模块的推理比不采用模块的推理在性能上有很大的提高. 相似文献
10.
Fan Rongqiang 《广东技术师范学院学报》1993,(4)
本文在Reiter 1980年提出的缺省逻辑的基础上,将缺省条件视为获取知识的背景知识与所得到的知识同等地加以考虑,提出了一种缺省模态逻辑。它是一种非单调逻辑,并且具有在Reiter的系统中所不能保证的两个重要性质:扩充的存在性和非单调性,然后通过知识从其背景中分离出来的方法,给出了一个缺省理论扩充的概念,它是Reiter的扩充概念的一种推广。 相似文献
11.
实践具有本体性的意义,把握世界本体不能无视实践,但实践不是世界的本体,世界的本体是包括实践这种特殊运动在内的统一的物质世界。实践本体论的论证是实践和本体两个概念之间的逻辑循环,其基本逻辑是:因为只有实践才是本体,所以本体就是实践。它在自我规定的概念中把自在的自然排除在其本体论哲学之外,却不能将它从人类的生产、生活中排除出去。说实践本体论是由马克思创立的,不符合马克思哲学思想的实际。实践存在论把实践等同于人的存在,它把实践夸大,把实践概念泛化,取消了物质实践和观念之间的关系问题,把物质实践消融在意识活动之中,同不了解、不知道实践的旧唯物主义和唯心主义哲学是两极相通的。实践本体论、实践存在论是唯实践主义,不是实践的唯物主义,具有明显的实践唯心主义倾向。 相似文献
12.
当前Web页面基于HTML语言,缺乏语义信息,语义网络是对现有Web的扩展.OWL是WebOntology的一种最新的W3C提出的表示语言,是实现语义Web的语言工具,它的逻辑基础是描述逻辑.结合OWL语言,提出一种基于描述逻辑的知识建模语言(KDL),给出了知识描述语言的语义解释,并提出了基于Tableau算法的推理算法. 相似文献
13.
当前Web页面基于HTML语言,缺乏语义信息,语义网络是对现有Web的扩展.OWL是Web Ontology的一种最新的W3C提出的表示语言,是实现语义Web的语言工具,它的逻辑基础是描述逻辑.结合OWL语言,提出一种基于描述逻辑的知识建模语言(KDL),给出了知识描述语言的语义解释,并提出了基于Tableau算法的推理算法. 相似文献
14.
在语义W eb中,用户访问行为模型可以作为本体论共享。如何把W eb访问活动转变成为体体论是一个非常关键的问题。为了解决这个技术问题,本文提出了一种在W eb个性化中集成模糊逻辑和形式化概念分析的本体论自动生成方法。文章首先对W eb个性化语义W eb和本体论进行了介绍,然后该方法的体系结构及其生成过程也被详细地论论述。 相似文献
15.
姚南强 《华东师范大学学报(哲学社会科学版)》2000,(6)
因明是世界三大逻辑起源之一。在其形成和发展过程中分别经历了印度因明、汉传因明和藏传因明的不同阶段和形态。印度古因明到新因明实现了类比推理向演绎推理的飞跃;汉传因明则形成了“八门二悟”的论辩逻辑体系,并在语用逻辑、辩证思维方面有所探讨。而藏传因明无论在哲学本体论、知识论还是逻辑上都有新的发展。 相似文献
16.
卞拓蒙 《中山大学学报论丛》2009,2(2)
研究信念逻辑的有趣之处在于:可以在没有清楚的存在与等同条件下,建立一套元目的形式理论.现有的合理且可能为真的形式系统皆因为著名的"知识拥有者的悖论(Knower's Paradox)"而导致不一致.这篇论文将建构一套第一人称信念的形式系统.用来建构系统的信念将来自内在观点,因此信念的拥有者将不在讨论的范围中.此外,本篇论文将论证信念的背景将扮演语意、知识论及语用的角色.本篇论文建构的系统将是标准初阶逻辑的有限延展,并将使用到引述.本系统所使用的公理及规则相对较弱,且因为太弱而不足够,因此导致了系统的不一致.本论文欲藉此论证:可被定义的信念集合将不可能被找到.在现有的信念理论及所有的第一人称信念理论中,有限且可被定义的信念集合皆为不一致的原因在于并未涵盖我们真实拥有的信念. 相似文献
17.
在语义Web中,用户访问行为模型可以作为本体论共享.如何把Web访问活动转变成为本体论是一个非常关键的问题.为了解决这个技术问题,本文提出了一种在Web使用挖掘中集成模糊逻辑和形式化概念分析的本体论自动生成方法.文章首先对Web使用挖掘以及语义Web和本体论进行了介绍,然后该方法的体系结构及其生成过程也被详细地论述. 相似文献
18.
王为全 《青海师范大学学报(哲学社会科学版)》2001,1(2):28-33
传统本体论以科学建构自身的合理性，但是科学的本体论既不能满足科学的标准，又是一个无人的本体论世界观，因而注定要终结。人的实践的存在方式决定了本体的存在 ，进而决定了本体论追求的合理性。本 论作为人的活动的本体论和人的世界的本体论，只能以辩证法来建构自身的合理性，马克思的实践辨证法是人的世界的法则，是表达人的独特存在方式和发展规律的逻辑，本体论只有遵从辨证的逻辑，才能达到绝对真理，才能真正地成为关于人的解放的学说。 相似文献