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

基于有限格蕴涵代数的格值命题逻辑语义系统被引量：3: 1; 作者马骏秦克云徐扬《西南交通大学学报》 EI CSCD 北大核心 2002年第5期557-560,共4页; 以有限格蕴涵代数作为逻辑系统的真值域 ,在其上建立了基于有限格蕴涵代数的格值命题逻辑语义系统。研究了在A水平上系统的赋值和公式的可满足性等基本定义 ,证明了系统“有效性”; 关键词有限格蕴涵代数多值逻辑逻辑代数格值命题逻辑语义系统数理逻辑; 在线阅读下载PDF 职称材料

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

基于有限格蕴涵代数的格值命题逻辑语法系统被引量：17: 3; 作者马骏高雅 +1 位作者秦克云徐扬《西南交通大学学报》 EI CSCD 北大核心 2004年第1期90-94,共5页; 以有限格蕴涵代数为真值域,建立了基于有限格蕴涵代数的格值命题逻辑系统;采用公理化的方法,给出了该系统在A水平上的语法导出、证明和协调性等基本定义,并证明了系统的可靠性定理、协调性定理、弱完备性定理和弱演绎定理.; 关键词多值逻辑逻辑代数格蕴涵代数语法系统格值命题逻辑; 在线阅读下载PDF 职称材料

格值命题逻辑系统L9P(X)中的自动推理算法被引量：5: 4; 作者李晓冰邱小平徐扬《计算机工程与应用》 CSCD 北大核心 2008年第10期6-9,共4页; 给出了格值命题逻辑系统L9P(X)上的放缩原理和放缩归结原理,基于放缩归结原理,给出了一种判断L9P(X)上子句集S为M-可满足的自动推理算法(这里M为L9上的中界元),并证明了其可靠性和完备性。; 关键词中界元格值命题逻辑系统归结自动推理放缩归结原理自动推理算法; 在线阅读下载PDF 职称材料

格值命题逻辑系统L_(vpl)中的推理规则被引量：2: 5; 作者陈树伟徐扬《西南交通大学学报》 EI CSCD 北大核心 2006年第2期256-258,共3页; 为描述取小、多重推理、多维推理等实际推理方法,在格值命题逻辑系统Lvp l中,引入了几类相应的推理规则.这些推理规则由语法和语义两部分组成,且在两部分之间存在一定的协调水平.证明了对于适当的语法语义协调水平,当Lvp l的公式集的L... 展开更多; 关键词格值命题逻辑推理规则封闭性语法语义; 在线阅读下载PDF 职称材料

格值命题逻辑系统中广义文字的正规性: 6; 作者何星星徐扬 +1 位作者李莹芳张家锋《计算机工程与应用》 CSCD 2012年第10期43-46,127,共5页; 基于格蕴涵代数的格值命题逻辑系统能定性地刻画不可比较性和不精确性。广义文字是该系统中α-归结自动推理的核心概念,是α-归结中的最基本单元。公式的正规性是α-归结原理中保持完备性的重要条件,其语义性质是公式形式的重要反映。... 展开更多; 关键词格值命题逻辑 α-归结原理广义文字正规性语义性质; 在线阅读下载PDF 职称材料

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

关于系统Z的一些意见被引量：6: 8; 作者张清宇《武汉大学学报（人文科学版）》 1993年第5期49-55,共7页; 本刊1992年第6期刊发了张金成同志的《辩证逻辑形式化的研究》一文后,陆续收到了一些稿件,对张文展开了讨论。我们本着“百花齐放,百家争鸣”的宗旨,已在本刊第4期及本期发表了部分来稿。至此,对该文讨论暂告一段落。; 关键词命题逻辑模态系统逻辑系统可能世界语义克里普克公理模式形式系统辩证逻辑推理规则模态逻辑; 在线阅读下载PDF 职称材料

格蕴涵代数中滤子的若干性质被引量：4: 9; 作者王学芳徐扬宋振明《西南交通大学学报》 EI CSCD 北大核心 2001年第5期536-539,共4页; 首先给出了滤子的几个等价条件 ,接着定义了固执滤子 ,证明了固执滤子 ,极大关联滤子 ,极大正关联滤子相互等价 ,得出了超滤是固执滤子及固执滤子是素滤子的结论。最后通过蕴涵同态给出了格蕴涵代数L的固执滤子的一个等价条件 ,即对任... 展开更多; 关键词超滤固执滤子格蕴涵代数格值命题逻辑系统蕴涵同态极大关联滤子; 在线阅读下载PDF 职称材料

题名基于有限格蕴涵代数的格值命题逻辑语义系统被引量：3: 1; 作者马骏秦克云徐扬; 机构西南交通大学应用数学系; 出处《西南交通大学学报》 EI CSCD 北大核心 2002年第5期557-560,共4页; 基金国家自然科学基金资助项目 (6 0 0 74 0 14 ); 文摘以有限格蕴涵代数作为逻辑系统的真值域 ,在其上建立了基于有限格蕴涵代数的格值命题逻辑语义系统。研究了在A水平上系统的赋值和公式的可满足性等基本定义 ,证明了系统“有效性”; 关键词有限格蕴涵代数多值逻辑逻辑代数格值命题逻辑语义系统数理逻辑; Keywords many valued logic logic algebra lattice implication algebra; 分类号 O141.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名四值非链格值命题逻辑系统L_4P(X)的语义归结方法: 2; 作者张家锋徐扬何星星; 机构西南交通大学智能控制开发中心毕节学院逻辑语言与认知中心; 出处《计算机应用研究》 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 职称材料

题名基于有限格蕴涵代数的格值命题逻辑语法系统被引量：17: 3; 作者马骏高雅秦克云徐扬; 机构西南交通大学电气学院西南交通大学计算机与通讯工程学院西南交通大学理学院; 出处《西南交通大学学报》 EI CSCD 北大核心 2004年第1期90-94,共5页; 基金国家自然科学基金资助项目(60074014); 文摘以有限格蕴涵代数为真值域,建立了基于有限格蕴涵代数的格值命题逻辑系统;采用公理化的方法,给出了该系统在A水平上的语法导出、证明和协调性等基本定义,并证明了系统的可靠性定理、协调性定理、弱完备性定理和弱演绎定理.; 关键词多值逻辑逻辑代数格蕴涵代数语法系统格值命题逻辑; Keywords many-valued logic logic algebra lattice implication algebra; 分类号 O153.1 [理学—基础数学] O141.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名格值命题逻辑系统L9P(X)中的自动推理算法被引量：5: 4; 作者李晓冰邱小平徐扬; 机构西南交通大学智能控制开发中心西南交通大学物流学院; 出处《计算机工程与应用》 CSCD 北大核心 2008年第10期6-9,共4页; 文摘给出了格值命题逻辑系统L9P(X)上的放缩原理和放缩归结原理,基于放缩归结原理,给出了一种判断L9P(X)上子句集S为M-可满足的自动推理算法(这里M为L9上的中界元),并证明了其可靠性和完备性。; 关键词中界元格值命题逻辑系统归结自动推理放缩归结原理自动推理算法; Keywords intermediate element lattice-valued propositional logic automated reasoning based on resolution magnifying or reducing resolution principle automated reasoning algorithm; 分类号 O153 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名格值命题逻辑系统L_(vpl)中的推理规则被引量：2: 5; 作者陈树伟徐扬; 机构西南交通大学智能控制开发中心; 出处《西南交通大学学报》 EI CSCD 北大核心 2006年第2期256-258,共3页; 基金国家自然科学基金资助项目(60474022); 文摘为描述取小、多重推理、多维推理等实际推理方法,在格值命题逻辑系统Lvp l中,引入了几类相应的推理规则.这些推理规则由语法和语义两部分组成,且在两部分之间存在一定的协调水平.证明了对于适当的语法语义协调水平,当Lvp l的公式集的L型模糊集为同态映射时,它们关于这几类推理规则都在一定程度上封闭.; 关键词格值命题逻辑推理规则封闭性语法语义; Keywords lattice-valued propositional logic rules of inference closeness syntax semantics; 分类号 O141 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名格值命题逻辑系统中广义文字的正规性: 6; 作者何星星徐扬李莹芳张家锋; 机构西南交通大学智能控制开发中心; 出处《计算机工程与应用》 CSCD 2012年第10期43-46,127,共5页; 基金国家自然科学基金(No.60875034) 西南交通大学博士生创新基金; 文摘基于格蕴涵代数的格值命题逻辑系统能定性地刻画不可比较性和不精确性。广义文字是该系统中α-归结自动推理的核心概念,是α-归结中的最基本单元。公式的正规性是α-归结原理中保持完备性的重要条件,其语义性质是公式形式的重要反映。从语义角度研究了广义文字的正规性,给出了两种典型正规公式F1→F2和(F1→F2)'的真值情况。为讨论广义文字的形式及其α-可归结性提供了理论基础。; 关键词格值命题逻辑 α-归结原理广义文字正规性语义性质; Keywords lattice-valued propositional logic α-resolution principle generalized literal normal semantic property; 分类号 TP181 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名格值语义归结推理方法被引量：8: 7; 作者张家锋徐扬何星星; 机构西南交通大学智能控制开发中心毕节学院逻辑语言与认知中心; 出处《计算机科学》 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 职称材料

题名关于系统Z的一些意见被引量：6: 8; 作者张清宇; 出处《武汉大学学报（人文科学版）》 1993年第5期49-55,共7页; 文摘本刊1992年第6期刊发了张金成同志的《辩证逻辑形式化的研究》一文后,陆续收到了一些稿件,对张文展开了讨论。我们本着“百花齐放,百家争鸣”的宗旨,已在本刊第4期及本期发表了部分来稿。至此,对该文讨论暂告一段落。; 关键词命题逻辑模态系统逻辑系统可能世界语义克里普克公理模式形式系统辩证逻辑推理规则模态逻辑; 分类号 C55 [社会学]; 在线阅读下载PDF 职称材料

题名格蕴涵代数中滤子的若干性质被引量：4: 9; 作者王学芳徐扬宋振明; 机构西南交通大学应用数学系; 出处《西南交通大学学报》 EI CSCD 北大核心 2001年第5期536-539,共4页; 基金国家自然科学基金项目 (6 0 0 740 14 6 98740 33); 文摘首先给出了滤子的几个等价条件 ,接着定义了固执滤子 ,证明了固执滤子 ,极大关联滤子 ,极大正关联滤子相互等价 ,得出了超滤是固执滤子及固执滤子是素滤子的结论。最后通过蕴涵同态给出了格蕴涵代数L的固执滤子的一个等价条件 ,即对任意一个格蕴涵代数L′,总存在一个从L到L′蕴涵同态 ,使这个滤子就是同态的对偶核。; 关键词超滤固执滤子格蕴涵代数格值命题逻辑系统蕴涵同态极大关联滤子; Keywords ultrafilter homomorphism filter lattice implication algebra; 分类号 O159 [理学—基础数学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于有限格蕴涵代数的格值命题逻辑语义系统	马骏秦克云徐扬	《西南交通大学学报》 EI CSCD 北大核心	2002	3	在线阅读下载PDF 职称材料
2	四值非链格值命题逻辑系统L_4P(X)的语义归结方法	张家锋徐扬何星星	《计算机应用研究》 CSCD 北大核心	2011	0	在线阅读下载PDF 职称材料
3	基于有限格蕴涵代数的格值命题逻辑语法系统	马骏高雅秦克云徐扬	《西南交通大学学报》 EI CSCD 北大核心	2004	17	在线阅读下载PDF 职称材料
4	格值命题逻辑系统L9P(X)中的自动推理算法	李晓冰邱小平徐扬	《计算机工程与应用》 CSCD 北大核心	2008	5	在线阅读下载PDF 职称材料
5	格值命题逻辑系统L_(vpl)中的推理规则	陈树伟徐扬	《西南交通大学学报》 EI CSCD 北大核心	2006	2	在线阅读下载PDF 职称材料
6	格值命题逻辑系统中广义文字的正规性	何星星徐扬李莹芳张家锋	《计算机工程与应用》 CSCD	2012	0	在线阅读下载PDF 职称材料
7	格值语义归结推理方法	张家锋徐扬何星星	《计算机科学》 CSCD 北大核心	2011	8	在线阅读下载PDF 职称材料
8	关于系统Z的一些意见	张清宇	《武汉大学学报（人文科学版）》	1993	6	在线阅读下载PDF 职称材料
9	格蕴涵代数中滤子的若干性质	王学芳徐扬宋振明	《西南交通大学学报》 EI CSCD 北大核心	2001	4	在线阅读下载PDF 职称材料