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

基于六元格值命题逻辑的语言真值归结方法被引量：2: 1; 作者孙芳张凤梅 +1 位作者邹丽邹开其《广西师范大学学报（自然科学版）》 CAS 北大核心 2010年第3期118-121,共4页; 根据语气词对真值的影响,用定性的方法分析语气词,可以将其分成三类,得到了六元语言真值。基于六元格蕴涵代数,研究了能同时表示可比信息和不可比信息的六元格值逻辑系统,探讨了该系统中的性质及其滤子上的软归结方法。语言真值归结自... 展开更多; 关键词格蕴涵代数语言真值逻辑归结方法; 在线阅读下载PDF 职称材料

格值命题逻辑系统LP(X)的语义归结方法被引量：2: 2; 作者张家锋徐扬何星星《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心 2011年第4期611-614,共4页; 为提高格值逻辑系统中α-归结原理的效率,将语义归结思想和α-归结原理相结合,讨论了格值逻辑系统的α-语义归结方法,并得到了其可靠性和完备性,为基于格值逻辑的归结自动推理算法作了必要的准备。; 关键词自动推理语义归结方法格值逻辑格蕴涵代数 α-归结原理; 在线阅读下载PDF 职称材料

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

直觉模糊逻辑的(α,β)-广义锁归结方法被引量：2: 4; 作者邹丽刘迪郑宏亮《计算机科学与探索》 CSCD 北大核心 2015年第8期1004-1009,共6页; 归结方法是定理自动证明的重要工具。为了简化直觉模糊命题逻辑的归结过程,基于直觉模糊命题逻辑归结原理的一般形式,提出了子句(α,β)-可满足和(α,β)-归结式的概念。研究了广义子句与其归结式的可满足性。在直觉模糊命题逻辑系统中... 展开更多; 关键词自动推理直觉模糊逻辑 (α β)-广义锁归结方法完备性定理; 在线阅读下载PDF 职称材料

四值非链格值命题逻辑系统L_4P(X)的语义归结方法: 5; 作者张家锋徐扬何星星《计算机应用研究》 CSCD 北大核心 2011年第9期3226-3228,3238,共4页; 为了提高归结方法处理带有不可比较性信息的能力,给出了四值格值命题逻辑系统上的语义归结原理,并证明了其可靠性和完备性,其上归结原理的研究为归结算法的实现提供了理论基础,从而为处理含有不可比真值的格值逻辑系统在智能推理系统中... 展开更多; 关键词格蕴涵代数自动推理语义归结方法四值命题逻辑系统; 在线阅读下载PDF 职称材料

格值语义归结推理方法被引量：8: 6; 作者张家锋徐扬何星星《计算机科学》 CSCD 北大核心 2011年第9期201-203,210,共4页; 归结自动推理是人工智能领域的一个重要研究方向,语义归结方法是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。基于格蕴涵代数的格值逻辑系统的α-归结原理提供了一种处理带有模糊性和不可比... 展开更多; 关键词格蕴涵代数格值命题逻辑系统LP(X) 自动推理语义归结方法; 在线阅读下载PDF 职称材料

归结与调解方法的有效性和完备性——基于扩充模糊逻辑: 7; 作者刘富春《计算机工程与应用》 CSCD 北大核心 2006年第2期73-75,175,共4页; 模糊集与模糊逻辑是处理大量存在的不确定性与模糊性信息的重要数学工具,在近似推理等领域有着广泛的应用。该文将王家兵等人提出的真值取在[0,1]区间上的带有相似性关系的模糊逻辑,扩充到很一般的与滋可比的有余完全分配格值逻辑中,将... 展开更多; 关键词模糊逻辑近似推理归结方法调解方法; 在线阅读下载PDF 职称材料

扩展规则方法研究综述被引量：2: 8; 作者王金艳谷文祥 +1 位作者覃少华殷明浩《智能系统学报》 CSCD 北大核心 2014年第1期1-11,共11页; 归结方法是自动推理的重要方法之一,而扩展规则是与归结对称的方法,近年来引起了研究者的广泛关注。从扩展规则的相关概念、在命题逻辑中的发展以及在一阶逻辑、描述逻辑、模态逻辑、可能性逻辑和多值逻辑中的应用3个方面论述分析了扩... 展开更多; 关键词自动推理归结方法扩展规则 SAT #SAT; 在线阅读下载PDF 职称材料

题名基于六元格值命题逻辑的语言真值归结方法被引量：2: 1; 作者孙芳张凤梅邹丽邹开其; 机构辽宁师范大学计算机与信息技术学院大连大学信息工程学院; 出处《广西师范大学学报（自然科学版）》 CAS 北大核心 2010年第3期118-121,共4页; 基金国家自然科学基金资助项目(60875034 60873042); 文摘根据语气词对真值的影响,用定性的方法分析语气词,可以将其分成三类,得到了六元语言真值。基于六元格蕴涵代数,研究了能同时表示可比信息和不可比信息的六元格值逻辑系统,探讨了该系统中的性质及其滤子上的软归结方法。语言真值归结自动推理中语言真值直接参与运算,其推理结果的不确定性也是由语言值表达的。; 关键词格蕴涵代数语言真值逻辑归结方法; Keywords linguistic hedge lattice-value propositional logic resolution method; 分类号 TP181 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名格值命题逻辑系统LP(X)的语义归结方法被引量：2: 2; 作者张家锋徐扬何星星; 机构毕节学院逻辑语言与认知中心西南交通大学智能控制开发中心; 出处《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心 2011年第4期611-614,共4页; 基金国家自然科学基金资助项目(60875034) 贵州省教育厅专项基金资助项目(09ZX092) 毕节学院自然科学重点研究课题基金资助项目(20092027); 文摘为提高格值逻辑系统中α-归结原理的效率,将语义归结思想和α-归结原理相结合,讨论了格值逻辑系统的α-语义归结方法,并得到了其可靠性和完备性,为基于格值逻辑的归结自动推理算法作了必要的准备。; 关键词自动推理语义归结方法格值逻辑格蕴涵代数 α-归结原理; Keywords automated reasoning semantic resolution method lattice-valued logic lattice implication algebra resolution principle; 分类号 O142 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名格值命题逻辑LP(X)中的语义归结方法被引量：3: 3; 作者张家锋徐扬; 机构西南交通大学智能控制开发中心毕节学院逻辑、语言与认知研究中心; 出处《辽宁工程技术大学学报（自然科学版）》 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 职称材料

题名直觉模糊逻辑的(α,β)-广义锁归结方法被引量：2: 4; 作者邹丽刘迪郑宏亮; 机构辽宁师范大学计算机与信息技术学院南京大学计算机软件新技术国家重点实验室; 出处《计算机科学与探索》 CSCD 北大核心 2015年第8期1004-1009,共6页; 基金国家自然科学基金Nos.61105059 61175055 61173100~~; 文摘归结方法是定理自动证明的重要工具。为了简化直觉模糊命题逻辑的归结过程,基于直觉模糊命题逻辑归结原理的一般形式,提出了子句(α,β)-可满足和(α,β)-归结式的概念。研究了广义子句与其归结式的可满足性。在直觉模糊命题逻辑系统中给广义子句配锁,规定在做归结时各子句中被消去文字在该子句中的序号最小,由此建立了(α,β)-广义锁归结方法,并证明了该方法的可靠性和完备性。给出了直觉模糊逻辑的广义锁归结算法步骤,并通过实例说明了该方法的有效性。; 关键词自动推理直觉模糊逻辑 (α β)-广义锁归结方法完备性定理; Keywords automated reasoning intuitionistic fuzzy logic （α,β）-generalized lock resolution completeness theorem; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名四值非链格值命题逻辑系统L_4P(X)的语义归结方法: 5; 作者张家锋徐扬何星星; 机构西南交通大学智能控制开发中心毕节学院逻辑语言与认知中心; 出处《计算机应用研究》 CSCD 北大核心 2011年第9期3226-3228,3238,共4页; 基金国家自然科学基金资助项目(60875034); 文摘为了提高归结方法处理带有不可比较性信息的能力,给出了四值格值命题逻辑系统上的语义归结原理,并证明了其可靠性和完备性,其上归结原理的研究为归结算法的实现提供了理论基础,从而为处理含有不可比真值的格值逻辑系统在智能推理系统中的实际应用提供了有力的支持。; 关键词格蕴涵代数自动推理语义归结方法四值命题逻辑系统; Keywords lattice implication algebra automated reasoning semantic resolution method four-elements non-chain lattice-valued propositional logic system; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名格值语义归结推理方法被引量：8: 6; 作者张家锋徐扬何星星; 机构西南交通大学智能控制开发中心毕节学院逻辑语言与认知中心; 出处《计算机科学》 CSCD 北大核心 2011年第9期201-203,210,共4页; 基金国家自然科学基金(60875034) 贵州省科学技术项目(2010GZ43286) 2011年西南交通大学博士生创新基金项目资助; 文摘归结自动推理是人工智能领域的一个重要研究方向,语义归结方法是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。基于格蕴涵代数的格值逻辑系统的α-归结原理提供了一种处理带有模糊性和不可比较性信息的工具,它能对格值逻辑系统中在一定真值水平下的不可满足逻辑公式给出反驳证明。首先研究了格值逻辑系统上一类广义子句集的性质,该类子句集在任意赋值下能分为两个非空子集,接着讨论了这类广义子句集的语义归结方法,并证明了其可靠性和完备性。; 关键词格蕴涵代数格值命题逻辑系统LP(X) 自动推理语义归结方法; Keywords Lattice implication algebra Lattice-valued propositional logic LP（X） Automated reasoning Semantic resolution method; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名归结与调解方法的有效性和完备性——基于扩充模糊逻辑: 7; 作者刘富春; 机构广东工业大学应用数学学院; 出处《计算机工程与应用》 CSCD 北大核心 2006年第2期73-75,175,共4页; 基金广东省自然科学基金资助项目(编号:020146 031541) 广东工业大学青年基金项目(编号:042027); 文摘模糊集与模糊逻辑是处理大量存在的不确定性与模糊性信息的重要数学工具,在近似推理等领域有着广泛的应用。该文将王家兵等人提出的真值取在[0,1]区间上的带有相似性关系的模糊逻辑,扩充到很一般的与滋可比的有余完全分配格值逻辑中,将王家兵等人的许多结论进行了推广。首先对带有相似性关系的模糊逻辑的语义描述进行了扩充,然后讨论了在这种模糊推理中归结式与调解式的有效性,最后通过证明一个子句集在扩充模糊逻辑中的不可满足性与它在带有相等关系的二值逻辑中的不可满足性是等价的,得到了基于归结与调解方法对这种广义模糊演算的完备性。; 关键词模糊逻辑近似推理归结方法调解方法; Keywords fuzzy logic,approximate reasoning,resolution,paramodulation; 分类号 TP181 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名扩展规则方法研究综述被引量：2: 8; 作者王金艳谷文祥覃少华殷明浩; 机构广西师范大学计算机科学与信息工程学院长春建筑学院基础教学部东北师范大学计算机科学与信息技术学院; 出处《智能系统学报》 CSCD 北大核心 2014年第1期1-11,共11页; 基金国家自然科学基金资助项目(61070084 61272535 +8 种基金 61163065 61370156 61165009) 2012GXNSFAA053219) 广西高校科研项目(2013YB029) 广西师范大学博士启动基金资助项目; 文摘归结方法是自动推理的重要方法之一,而扩展规则是与归结对称的方法,近年来引起了研究者的广泛关注。从扩展规则的相关概念、在命题逻辑中的发展以及在一阶逻辑、描述逻辑、模态逻辑、可能性逻辑和多值逻辑中的应用3个方面论述分析了扩展规则10年来的研究现状,重点阐述扩展规则用于求解SAT、相近SAT和#SAT问题各种算法的优缺点,最后指出相关的研究热点与发展趋势。; 关键词自动推理归结方法扩展规则 SAT #SAT; Keywords automated reasoning resolution principle extension rule SAT #SAT; 分类号 TP181 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于六元格值命题逻辑的语言真值归结方法	孙芳张凤梅邹丽邹开其	《广西师范大学学报（自然科学版）》 CAS 北大核心	2010	2	在线阅读下载PDF 职称材料
2	格值命题逻辑系统LP(X)的语义归结方法	张家锋徐扬何星星	《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心	2011	2	在线阅读下载PDF 职称材料
3	格值命题逻辑LP(X)中的语义归结方法	张家锋徐扬	《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心	2010	3	在线阅读下载PDF 职称材料
4	直觉模糊逻辑的(α,β)-广义锁归结方法	邹丽刘迪郑宏亮	《计算机科学与探索》 CSCD 北大核心	2015	2	在线阅读下载PDF 职称材料
5	四值非链格值命题逻辑系统L_4P(X)的语义归结方法	张家锋徐扬何星星	《计算机应用研究》 CSCD 北大核心	2011	0	在线阅读下载PDF 职称材料
6	格值语义归结推理方法	张家锋徐扬何星星	《计算机科学》 CSCD 北大核心	2011	8	在线阅读下载PDF 职称材料
7	归结与调解方法的有效性和完备性——基于扩充模糊逻辑	刘富春	《计算机工程与应用》 CSCD 北大核心	2006	0	在线阅读下载PDF 职称材料
8	扩展规则方法研究综述	王金艳谷文祥覃少华殷明浩	《智能系统学报》 CSCD 北大核心	2014	2	在线阅读下载PDF 职称材料