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

描述逻辑系统εLN中概念最小公共包含推理研究被引量：2: 1; 作者张维曹发生 +1 位作者余泉王驹《计算机工程与科学》 CSCD 北大核心 2012年第2期139-145,共7页; 描述逻辑的非标准推理是上世纪末本世纪初研究者们提出来的一种新的推理机制,它主要包括最具体概念、最小公共包含、匹配问题以及概念的重写等等。非标准推理的提出主要是为了解决人们在知识库的构建、管理、维护等方面遇到的问题,它能... 展开更多; 关键词描述逻辑描述树同态最小公共包含; 在线阅读下载PDF 职称材料

格值命题逻辑LP(X)中的语义归结方法被引量：3: 2; 作者张家锋徐扬《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心 2010年第5期767-770,共4页; 为了提高格值命题逻辑LP(X)中的α-归结原理的推理效率,将语义归结策略应用于α-归结原理,讨论了格值命题逻辑LP(X)中的α-语义归结方法,并证明了该方法的可靠性和弱完备性,为基于格值逻辑的归结自动推理提供一定基础。; 关键词自动推理语义归结方法格值逻辑格蕴涵代数; 在线阅读下载PDF 职称材料

格L的元与主同余的关系被引量：7: 3; 作者曹发生王驹蒋运承《西南大学学报（自然科学版）》 CAS CSCD 北大核心 2009年第12期87-91,共5页; 先分析主同余公式,通过构造出具体的主同余公式得到格L的元与它的主同余的关系;然后利用主同余的定义给出了分配格的主同余的一个判定条件.; 关键词格主同余主同余公式; 在线阅读下载PDF 职称材料

循环自动机的等价性被引量：1: 4; 作者黄飞丹曹发生《计算机工程与应用》 CSCD 北大核心 2011年第7期34-35,88,共3页; 主要讨论了两个循环有限自动机的等价性与循环有限自动机的生成子之间的关系,在某些条件下给出了两个循环有限自动机等价的充分必要条件。; 关键词循环有限自动机等价极小有限自动机; 在线阅读下载PDF 职称材料

题名描述逻辑系统εLN中概念最小公共包含推理研究被引量：2: 1; 作者张维曹发生余泉王驹; 机构黔南民族师范学院数学系毕节学院逻辑、语言与认知研究中心广西师范大学计算机科学与信息工程学院; 出处《计算机工程与科学》 CSCD 北大核心 2012年第2期139-145,共7页; 基金国家自然科学基金资助项目(60663001) 中国科学院计算机科学国家重点实验室开放课题基金资助项目(SYSKF0904) +1 种基金贵州省科学技术基金资助项目(黔科合J字[2009]2068); 文摘描述逻辑的非标准推理是上世纪末本世纪初研究者们提出来的一种新的推理机制,它主要包括最具体概念、最小公共包含、匹配问题以及概念的重写等等。非标准推理的提出主要是为了解决人们在知识库的构建、管理、维护等方面遇到的问题,它能为自下而上的知识库构建方式提供必要的支持,这些是传统的标准推理无法提供的。随着描述逻辑的运用越来越广泛,知识库的构建、管理、维护是人们无法回避的问题,因此描述逻辑的非标准推理的研究成为近年来描述逻辑研究者们所关注的热点问题。本文分析了描述逻辑中概念最小公共包含(LCS)推理机制的研究现状和存在的问题,针对目前LCS推理在同时处理存在限制和数量限制的不足,研究了描述逻辑系统εLN的LCS推理算法。首先定义了εLN中的概念描述树及其同态关系,利用描述树之间同态关系给出了概念间包含关系算法。然后通过定义描述树的笛卡尔积给出了εLN中的LCS推理算法,并指出该算法是多项式时间复杂的。; 关键词描述逻辑描述树同态最小公共包含; Keywords description logic description tree homomorphism least common subsumer; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名格值命题逻辑LP(X)中的语义归结方法被引量：3: 2; 作者张家锋徐扬; 机构西南交通大学智能控制开发中心毕节学院逻辑、语言与认知研究中心; 出处《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心 2010年第5期767-770,共4页; 基金国家自然科学基金资助项目(60875034) 贵州省教育厅自然科学基金资助项目(黔教科20090068); 文摘为了提高格值命题逻辑LP(X)中的α-归结原理的推理效率,将语义归结策略应用于α-归结原理,讨论了格值命题逻辑LP(X)中的α-语义归结方法,并证明了该方法的可靠性和弱完备性,为基于格值逻辑的归结自动推理提供一定基础。; 关键词自动推理语义归结方法格值逻辑格蕴涵代数; Keywords automated reasoning semantic resolution method lattice-valued logic lattice implication algebra; 分类号 O142 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名格L的元与主同余的关系被引量：7: 3; 作者曹发生王驹蒋运承; 机构毕节学院数学系毕节学院逻辑、语言与认知研究中心广西师范大学计算机科学与信息工程学院; 出处《西南大学学报（自然科学版）》 CAS CSCD 北大核心 2009年第12期87-91,共5页; 基金国家自然科学基金资助项目(60663001) 毕节学院院级重点资助项目(20092015); 文摘先分析主同余公式,通过构造出具体的主同余公式得到格L的元与它的主同余的关系;然后利用主同余的定义给出了分配格的主同余的一个判定条件.; 关键词格主同余主同余公式; Keywords lattice principal congruence principal congruence formula; 分类号 O142 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名循环自动机的等价性被引量：1: 4; 作者黄飞丹曹发生; 机构毕节学院数学系毕节学院逻辑、语言与认知研究中心; 出处《计算机工程与应用》 CSCD 北大核心 2011年第7期34-35,88,共3页; 基金贵州省教育厅自然科学基金资助项目(No.黔教科20090068) 贵州省科技厅基金资助项目(No.2010GZ43286); 文摘主要讨论了两个循环有限自动机的等价性与循环有限自动机的生成子之间的关系,在某些条件下给出了两个循环有限自动机等价的充分必要条件。; 关键词循环有限自动机等价极小有限自动机; Keywords cyclic finite automata equivalence minimal automata; 分类号 TP301.1 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	描述逻辑系统εLN中概念最小公共包含推理研究	张维曹发生余泉王驹	《计算机工程与科学》 CSCD 北大核心	2012	2	在线阅读下载PDF 职称材料
2	格值命题逻辑LP(X)中的语义归结方法	张家锋徐扬	《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心	2010	3	在线阅读下载PDF 职称材料
3	格L的元与主同余的关系	曹发生王驹蒋运承	《西南大学学报（自然科学版）》 CAS CSCD 北大核心	2009	7	在线阅读下载PDF 职称材料
4	循环自动机的等价性	黄飞丹曹发生	《计算机工程与应用》 CSCD 北大核心	2011	1	在线阅读下载PDF 职称材料