检索结果-维普期刊中文期刊服务平台

悖论逻辑的表演算被引量：3: 1; 作者林作铨李未《软件学报》 EI CSCD 北大核心 1996年第6期345-353,共9页; 悖论逻辑ＬＰ是一个超协调逻辑，发展超协调逻辑（ＬＰ）的目的是使得不会从矛盾推出任一命题，但它有一个主要缺点：就是一些在经典逻辑中有效的推理在ＬＰ中不再有效；极小悖论逻辑ＬＰｍ能克服这个缺点，使得在没有矛盾的直接影响下... 展开更多; 关键词表演算超协调逻辑悖论逻辑计算机; 在线阅读下载PDF 职称材料

非周期TBox框架下的推理——拟经典描述逻辑与超协调表演算(英文) 被引量：1: 2; 作者吴尽昭侯晖李绍荣《电子科技大学学报》 EI CAS CSCD 北大核心 2009年第5期656-668,共13页; 源自当今互联网的语义网研究的目的是定义信息语义和网络服务,因此需要赋予网络智能以便能够自动对网络内容进行推理。各种描述逻辑(DLs)在语义网的研究中扮演着重要角色,构成了W3C推荐的网络本体语言(OWL)的基础,而OWL源于为达到语义... 展开更多; 关键词非周期TBox 超协调推理 QCDLs 语义网表演算; 在线阅读下载PDF 职称材料

悖论逻辑及其表演算: 3; 作者林作铨《计算机学报》 EI CSCD 北大核心 1998年第S1期17-23,共7页; 修论逻辑LP是一个超协调逻辑，极小悖论逻辑LPm是一个LP的非单调逻辑扩展．本文给出了一阶LP和LPm的表演算．为此，本文在论证了（极小）悖论逻辑语义性质基础上，首先给出一个LP的（记号）表演算，然后给出一个LPm的极小表演算，并证... 展开更多; 关键词表演算超协调逻辑非单调逻辑悖论逻辑极小悖论逻辑; 在线阅读下载PDF 职称材料

含等词的超表演算: 4; 作者冯莎莎孙吉贵吴瑕《吉林大学学报（理学版）》 CAS CSCD 北大核心 2005年第4期455-460,共6页; 将处理等词问题的Superposition方法引入超表演算中,使超表演算能处理含等词的一阶逻辑问题,这种新的表演算不但具有完备性,而且无需回溯,是用表演算完成含等词的一阶逻辑定理机器证明的一种尝试.; 关键词超表演算 Superposition方法等词; 在线阅读下载PDF 职称材料

一种基于符号变换的描述逻辑ALC超协调推理算法: 5; 作者张小旺肖国辉《计算机科学》 CSCD 北大核心 2011年第3期206-212,共7页; 语义万维网作为一个开放、不断更新而且相互协作的环境,经常会包含一些不协调的或不精确的信息。众所周知,描述逻辑是语义万维网重要的逻辑基础,然而描述逻辑缺乏处理不协调或不完全信息的能力。近来一些超协调方案通过限制或阻止使用... 展开更多; 关键词语义互联网描述逻辑ALC 表演算超协调表演算不协调性处理; 在线阅读下载PDF 职称材料

题名悖论逻辑的表演算被引量：3: 1; 作者林作铨李未; 机构汕头大学计算机科学研究所; 出处《软件学报》 EI CSCD 北大核心 1996年第6期345-353,共9页; 基金国家自然科学基金国家863高技术计划与李嘉诚学术基金国家基础研究攀登计划资助; 文摘悖论逻辑ＬＰ是一个超协调逻辑，发展超协调逻辑（ＬＰ）的目的是使得不会从矛盾推出任一命题，但它有一个主要缺点：就是一些在经典逻辑中有效的推理在ＬＰ中不再有效；极小悖论逻辑ＬＰｍ能克服这个缺点，使得在没有矛盾的直接影响下超协调逻辑等价于经典逻辑．ＬＰ和ＬＰｍ原来都只给出语义定义，虽然已有ＬＰ的证明论，但如何得到一个ＬＰｍ的证明论仍是一个未解问题．本文提出了一种可靠与完全的表演算作为ＬＰ与ＬＰｍ的证明论．; 关键词表演算超协调逻辑悖论逻辑计算机; Keywords Tableaux, paraconsistent logic, logic of paradox, logic of millinlal paradox,minimally Inconsistent models.; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名非周期TBox框架下的推理——拟经典描述逻辑与超协调表演算(英文) 被引量：1: 2; 作者吴尽昭侯晖李绍荣; 机构电子科技大学光电信息学院中国科学院成都计算机应用研究所; 出处《电子科技大学学报》 EI CAS CSCD 北大核心 2009年第5期656-668,共13页; 基金 863 Program(2007AA01Z143)~~; 文摘源自当今互联网的语义网研究的目的是定义信息语义和网络服务,因此需要赋予网络智能以便能够自动对网络内容进行推理。各种描述逻辑(DLs)在语义网的研究中扮演着重要角色,构成了W3C推荐的网络本体语言(OWL)的基础,而OWL源于为达到语义网目标的人工智能(AI)本体论研究。语义网的知识和数据量巨大、分散、来源众多且因此通常不具有协调性。因此,必须开发针对非协调本体的实用的推理技术。该文基于Hunter的拟经典逻辑(QCL),构造了新型超协调拟经典描述逻辑(QCDLs),避免了逻辑爆炸问题,同时,针对基于非周期TBox的知识库推理问题,建立了QCDLs语义表演算,进而定义了一种可靠、完备且可判定的推理关系,从而构建了完整的语义网推理框架。与其他重要的超协调描述逻辑进行了比较,结果表明QCDLs具有更强的表达语义和推理能力,并且其相关行为在目标层次上表现出经典性。; 关键词非周期TBox 超协调推理 QCDLs 语义网表演算; Keywords acyclic TBox paraconsistent reasoning semantics and stronger reasoning capability, and that QCDLs semantic Web tableau calculus; 分类号 TN959.3 [电子电信—信号与信息处理]; 在线阅读下载PDF 职称材料

题名悖论逻辑及其表演算: 3; 作者林作铨; 机构北京大学信息科学系; 出处《计算机学报》 EI CSCD 北大核心 1998年第S1期17-23,共7页; 基金国家自然科学基金国家863高科技基金国家攀登计划资助; 文摘修论逻辑LP是一个超协调逻辑，极小悖论逻辑LPm是一个LP的非单调逻辑扩展．本文给出了一阶LP和LPm的表演算．为此，本文在论证了（极小）悖论逻辑语义性质基础上，首先给出一个LP的（记号）表演算，然后给出一个LPm的极小表演算，并证明了两个表演算分别对于LP和LPm语义的可靠与完全性定理．; 关键词表演算超协调逻辑非单调逻辑悖论逻辑极小悖论逻辑; Keywords Tableau, paraconsistent logic,nonmonotonic logic,paradoxical logic, minimally paradoxical logic; 分类号 TP302 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名含等词的超表演算: 4; 作者冯莎莎孙吉贵吴瑕; 机构吉林大学计算机科学与技术学院; 出处《吉林大学学报（理学版）》 CAS CSCD 北大核心 2005年第4期455-460,共6页; 基金国家自然科学基金(批准号:60273080 60473003) 吉林省杰出青年基金(批准号:20030107).; 文摘将处理等词问题的Superposition方法引入超表演算中,使超表演算能处理含等词的一阶逻辑问题,这种新的表演算不但具有完备性,而且无需回溯,是用表演算完成含等词的一阶逻辑定理机器证明的一种尝试.; 关键词超表演算 Superposition方法等词; Keywords hyper tableau calculus superposition method equality; 分类号 TP31 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种基于符号变换的描述逻辑ALC超协调推理算法: 5; 作者张小旺肖国辉; 机构北京大学信息科学系安徽大学数学科学学院维也纳技术大学信息系统研究所; 出处《计算机科学》 CSCD 北大核心 2011年第3期206-212,共7页; 基金国家自然科学基金(60973003)资助; 文摘语义万维网作为一个开放、不断更新而且相互协作的环境,经常会包含一些不协调的或不精确的信息。众所周知,描述逻辑是语义万维网重要的逻辑基础,然而描述逻辑缺乏处理不协调或不完全信息的能力。近来一些超协调方案通过限制或阻止使用一些推理规则来避免推理的平凡化,从而容忍本体中出现的不协调。因为这些方法限制了描述逻辑系统的推理能力,所以推理能力弱于经典的描述逻辑推理能力,即使在处理协调的本体时。提出一种基于符号变换的具有强推理能力的超协调推理算法。证明了该算法是可判定的,而且在处理协调的本体时该推理系统与经典逻辑系统具有相等的推理能力。; 关键词语义互联网描述逻辑ALC 表演算超协调表演算不协调性处理; Keywords Semantic Web Description logic ALC Tableau Paraconsistent tableau Inconsistency handling; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	悖论逻辑的表演算	林作铨李未	《软件学报》 EI CSCD 北大核心	1996	3	在线阅读下载PDF 职称材料
2	非周期TBox框架下的推理——拟经典描述逻辑与超协调表演算(英文)	吴尽昭侯晖李绍荣	《电子科技大学学报》 EI CAS CSCD 北大核心	2009	1	在线阅读下载PDF 职称材料
3	悖论逻辑及其表演算	林作铨	《计算机学报》 EI CSCD 北大核心	1998	0	在线阅读下载PDF 职称材料
4	含等词的超表演算	冯莎莎孙吉贵吴瑕	《吉林大学学报（理学版）》 CAS CSCD 北大核心	2005	0	在线阅读下载PDF 职称材料
5	一种基于符号变换的描述逻辑ALC超协调推理算法	张小旺肖国辉	《计算机科学》 CSCD 北大核心	2011	0	在线阅读下载PDF 职称材料