共查询到20条相似文献，搜索用时 31 毫秒
1.
一种基于vague集的模糊描述逻辑 总被引：1，自引：0，他引：1
为实现语义web上包含复杂模糊知识模糊本体的表示和推理,提出了一种基于vague集的模糊描述逻辑——vague ALC.首先介绍了vague集的定义,然后给出vague ALC的语法和语义的形式化描述,并规定vague ALC知识库中的公理和断言形式,指出了其推理的基本问题,最后给出了vagueALC的检验概念可满足性的tableau推理算法.Vague ALC建立于vague集之上,用一个区间来表示一个成员函数的隶属度,解决了Zadeh模糊集用单一的数不能准确表示一个成员函数隶属度的问题.Vague ALC具有比ALC更强的表达能力,能够表示复杂的模糊知识并基于它们完成推理任务,因此,vague ALC可实现语义web上包含复杂模糊知识的模糊本体的表示和推理. 相似文献
2.
3.
当前Web页面基于HTML语言,缺乏语义信息,语义网络是对现有Web的扩展.OWL是WebOntology的一种最新的W3C提出的表示语言,是实现语义Web的语言工具,它的逻辑基础是描述逻辑.结合OWL语言,提出一种基于描述逻辑的知识建模语言(KDL),给出了知识描述语言的语义解释,并提出了基于Tableau算法的推理算法. 相似文献
4.
当前Web页面基于HTML语言,缺乏语义信息,语义网络是对现有Web的扩展.OWL是Web Ontology的一种最新的W3C提出的表示语言,是实现语义Web的语言工具,它的逻辑基础是描述逻辑.结合OWL语言,提出一种基于描述逻辑的知识建模语言(KDL),给出了知识描述语言的语义解释,并提出了基于Tableau算法的推理算法. 相似文献
5.
语义Web研究的目的是为了使机器可以理解知识,所以实现语义Web首先需要解决的问题就是计算机对知识的理解问题,只有计算机理解了所建立的知识,才能在此基础上展开推理服务。OWL是专门为基于Web的应用设计的本体语言,该语言与描述逻辑的组合可以实现一定程度上的推理服务。文中概述了本体语言和描述逻辑及它们之间的关系,并通过一个个实例显示本体中基于描述逻辑的推理服务。 相似文献
6.
胡霞 《华中科技大学学报(社会科学版)》2007,21(3):123-123
周礼全是我国著名的逻辑学家,他在逻辑中引入语境的概念,提出形式逻辑要结合自然语言,开创了语言逻辑的研究,完成了语言学与逻辑学两大学科之间的过渡与结合,扩充了语言学理论的能量,丰富了逻辑学研究的内容,他是我国语言逻辑的倡导者与开拓者。今天,高度发达的计算机信息技术要求人们在逻辑的框架内去描述自然语言的特征,因此,对自然语言进行逻辑研究的应用价值十分明显。人工智能的研究,人机对话,计算机的自然语言处理,知识表示和知识推理等课题,都需要对自然语言进行精细的逻辑分析,准确的逻辑刻画。语言逻辑的提出,为处理自然语言理解提… 相似文献
7.
支持语义web模糊本体的描述逻辑 总被引：7，自引：0，他引：7
为实现语义web上包含复杂模糊知识的模糊本体的表示和推理,提出了一种描述逻辑的模糊扩展———支持比较表达式的模糊描述逻辑(FCDLs).给出FCDLs语法和语义的形式化定义,并规定FCDLs知识库中的公理和断言形式.FCDLs将模糊描述逻辑(FDLs)中的模糊概念和扩展模糊描述逻辑(EFDLs)中的截概念结合在同一理论中,并将截概念扩展为比较截概念,从而支持对实际中经常用到的模糊隶属度之间比较表达式的描述,而其他的描述逻辑模糊扩展均不支持比较表达式.FCDLs具有比FDLs和EFDLs更强的表达能力,能够表示复杂的模糊知识并基于它们完成推理任务.因此FCDLs可实现语义web上包含复杂模糊知识的模糊本体的表示和推理. 相似文献
8.
吕进 《西南师范大学学报(人文社会科学版)》2010,(2):70-74
命题时态逻辑PTL是一个可广泛应用于人工智能的逻辑,其特点是只有表达未来的时态算子。它刻画了人工智能研究中往往只需要描述未来状态,而不必关注过去的性质。PTL给出了一个表达时间具有向上线性、传递性、持续性和离散性的公理化逻辑系统,并证明了其可靠性和完全性。 相似文献
9.
10.
对于话语交流中知识与信念变化的研究主要采用两种技术路线：一是数值方法。数学与计算机学界常用的方法;一是符号逻辑方法,用逻辑或者数学的方式进行形式刻画并提供结构模型。而以当前兴起的动态认知逻辑为切入点来讨论知识与信念变化的形态、动机、过程等问题,为其提供切实可行的逻辑语言表述与结构模型．必然会拓宽用符号逻辑方法研究知识与信念变化的途径。 相似文献
11.
王磊 《毕节师范高等专科学校学报》2014,(2):35-38
勃克斯的因果陈述逻辑理论,以“因果蕴涵”和“因果可能世界”为核心,建构了一个公理化的逻辑体系。它所蕴涵的哲学性质及其认知价值为现代归纳逻辑的研究奠定了坚实的基础,同时也为人们的实践活动提供了一种具有指导性的逻辑方法和途径。 相似文献
12.
本文结合我们在多机分布式系统上研制的WUMPPS AND并行处理系统,讨论了知识表示的几种方法,阐明了逻辑方式表示知识的优越性及逻辑程序设计与知识表示之间的关系 相似文献
13.
数学、逻辑、物理学、化学、天文学、地理学和生物学七大基础学科,是全人类共同的科学基本知识。渊源于西方的逻辑是全人类共同的思维工具,是研究中国古代逻辑的正确方法。中国古代逻辑是百家争鸣辩论和朴素科学认识的思维工具,元典是《墨经》、《荀子.正名》和《公孙龙子.名实论》。《小取》定义的推式论证(归谬法),是中国古代思想家逻辑敏锐性的典型例证。中国古代逻辑研究的最大困难,是古文献解读和中西逻辑比较研究科学方法的正确运用。借鉴希尔伯特元数学纲领和塔尔斯基语言层次论的观点,当今中国古代逻辑研究是对中国古代逻辑的元(后设)研究。中国古代逻辑研究与邻近相关学科的研究,必然发生相互作用和影响,借鉴彼此的研究成果与方法。当今用发达完善的西方逻辑方法和现代语言来从事中国古代逻辑研究,促进中国古代逻辑的现代转型,中西逻辑兼容,使中国古代逻辑转换为现代人易于理解和运用的知识形态,可继续发挥中国古代逻辑为现代人类服务的积极作用。 相似文献
14.
张鹏飞 《安徽技术师范学院学报》2014,(6):41-46
本文提出对寄存器传送语言（RTL）描述的数字系统运用投影时序逻辑进行形式化描述并验证的方法。通过使用投影时序逻辑对RTL的形式语义进行定义,可把一个用寄存器传输语言描述的系统转换成投影时序逻辑的公式,从而使用投影时序逻辑可执行子集MSVL对系统行为和性质进行形式化的描述及验证,提高系统设计的可信性。 相似文献
15.
卡尔纳普在《通过语言的逻辑分析清除形而上学》一文中,以经验实证为基础,通过对语言进行逻辑的逐步分析．将形而上学的知识排除在科学认识的范围之外而认为全部形而上学都是无意义的。不过,透过对其使用方法的分析,可以看出卡尔纳普所做的工作不是充分的,他所使用的方法仅为从事哲学研究提供了新的工具或拓展了新的视野,而所谓的通过语言的逻辑分析来清除形而上学只不过是一厢情愿而已。 相似文献
16.
论教育逻辑学的性质、对象与研究方法 总被引：5，自引：0，他引：5
教育逻辑学是应用教育逻辑学（教学逻辑）和教育应用逻辑学（教育用逻辑）二者的综合。前者以现代逻辑原理和方法为基础，建构起可以运算（演算）的、自圆的逻辑系统。后者是关于逻辑学知识与技术在教育教学中的应用。教育逻辑学的研究对象，一是从哲学逻辑角度，依据教育教学中的一些模态词项建构起可运演的、描述教学规律的逻辑系统；二是各门学科教育教学方法与技术所促成的逻辑层面的教育教学原理、技术与方法。教育逻辑学的研究方法包括：形式化方法与非形式化方法的综合运用，公理化方法和自然演绎方法，逻辑语言学方法，逻辑哲学方法，数学方法等。 相似文献
17.
王良滨 《中国科教创新导刊》2011,(26):92-93
语言逻辑是在20世纪的指号学、语言学、逻辑学和语言哲学的基础上建立和发展起来的一门新兴、交叉学科。它是使用数理逻辑、模态逻辑和多值逻辑的方法来研究语言学的问题,特别是自然语言的问题;语言逻辑的研究对象包括语形学、语义学和语用学;语言逻辑的研究方法是形式化的分析方法,建立在形式化方法之上的语法学、语义学和语用学是当今语言逻辑研究最活跃、最有成就的领域;研究自然语言的逻辑,其首要的意义在于提高人们思维的逻辑性,丰富和发展逻辑科学,将语用学和语用逻辑应用于计算机语言和行为的分析等。 相似文献
18.
"推理与证明"这一章是在对合情推理、演绎推理、逻辑证明、公理化思想等已有认识的基础上,对推理和证明进行科学的概括和总结,从逻辑结构上分析归纳、 相似文献
19.
逻辑是研究思维形式及规律的一门基础学科。学习数学离不开对逻辑知识的掌握和运用,它是学习数学语言的基础,是我们认识问题、研究问题不可缺少的工具集合,而逻辑推理就是根据一系列的事实或依据,使用一定的推理方法,最后得到结论的严密的理性思维过程。下面从逻辑的方法、规律以及逻辑推理方面说说它在数学中的具体应用。 相似文献
20.
论逻辑学发展的多层面性 总被引：1，自引：0，他引：1
胡泽洪 《华南师范大学学报(社会科学版)》1995,(4)
逻辑学是一门古老而又年轻的科学,它的发展具有多层面性:从发展阶段看,可以有传统逻辑、经典逻辑与非经典逻辑之分;从研究内容与方法看,可以有外延逻辑、内涵逻辑与语言逻辑之分;从学科性质看,可以有元逻辑、一般逻辑与应用逻辑之分.了解逻辑学发展的这些不同层面,有利于我们更好地研究现代逻辑. 相似文献