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

基于修正的Kleene蕴涵的模糊描述逻辑: 1; 作者邱晓春裴道武《高校应用数学学报（A辑）》 CSCD 北大核心 2013年第4期457-465,共9页; 基于三角模的模糊描述逻辑的提出,使得模糊描述逻辑的框架更一般化,为知识处理提供了更理想的方法.在此基础上,提出基于修正的Kleene蕴涵的模糊描述逻辑,在建立该模糊描述逻辑的语法,语义与知识库形式后,进一步讨论相关的推理问题,包括... 展开更多; 关键词模糊描述逻辑修正的kleene蕴涵可满足性一致性 TABLEAU算法; 在线阅读下载PDF 职称材料

修正的Kleene系统中子代数的广义重言式理论被引量：6: 2; 作者魏海新《计算机工程与应用》 CSCD 北大核心 2009年第22期32-33,46,共3页; 将修正的Kleene系统中的广义重言式理论进行推广,讨论了其序稠密子代数的广义重言式理论,并利用可达广义重言式的概念在W的序稠密子代数中给出F(S)关于┐同余的一个分划。; 关键词修正的kleene系统广义重言式分划; 在线阅读下载PDF 职称材料

修正的Kleene系统中的一种降级算法及其性质: 3; 作者阎满富吴洪溥《工程数学学报》 CSCD 北大核心 2004年第4期537-542,共6页; 通过对模糊命题演算的形式演绎系统L*及修正的Kleene逻辑系统W,W,Wk的研究,给出了修正的Kleene系统中广义矛盾式之间的一种降级算法并讨论了它的性质和应用,最后在广义矛盾式理论中讨论了广义语义HS规则和广义语义MP规则,为进一步对修正... 展开更多; 关键词模糊逻辑修正的kleene系统广义矛盾式降级算法广义语义C-MP规则广义语义C-HS规则; 在线阅读下载PDF 职称材料

关于条件句的蕴涵理论被引量：6: 4; 作者霍书全《安徽大学学报（哲学社会科学版）》 CSSCI 北大核心 2011年第3期37-43,共7页; 为了刻画条件句,逻辑学家提出了许多蕴涵理论,如真值函项理论、条件概率理论、信念修正理论、可能世界语义学等。作为现代逻辑的一个分支,条件句逻辑充分利用各种蕴涵思想建立许多逻辑系统,但由于条件句的复杂性,各种蕴涵都难以刻画出... 展开更多; 关键词条件句蕴涵真值函项可能世界条件概率信念修正; 在线阅读下载PDF 职称材料

基于相似修正关系推理的焊接工艺决策: 5; 作者冯志强韩峻峰 +4 位作者黄伟铭柳存根甘露韩翔希焦自权《智能系统学报》 CSCD 北大核心 2020年第5期880-887,共8页; 针对基于相似度的推理和合成关系推理存在的不足,本文提供一种将相似度量与贴近方向相结合,生成修正或诱导模糊关系的近似推理模式。通过引入模糊概念间贴近方向函数,构造扩展型和缩减型2类修正函数,由此导出推理模型的一般表达形式,并... 展开更多; 关键词近似推理相似度量贴近方向剩余蕴涵 T-范数修正关系转化算子焊接规范参数; 在线阅读下载PDF 职称材料

题名基于修正的Kleene蕴涵的模糊描述逻辑: 1; 作者邱晓春裴道武; 机构浙江理工大学理学院; 出处《高校应用数学学报（A辑）》 CSCD 北大核心 2013年第4期457-465,共9页; 基金国家自然科学基金(11171308); 文摘基于三角模的模糊描述逻辑的提出,使得模糊描述逻辑的框架更一般化,为知识处理提供了更理想的方法.在此基础上,提出基于修正的Kleene蕴涵的模糊描述逻辑,在建立该模糊描述逻辑的语法,语义与知识库形式后,进一步讨论相关的推理问题,包括这个逻辑中的可满足性问题,Tableau算法及一致性问题.; 关键词模糊描述逻辑修正的kleene蕴涵可满足性一致性 TABLEAU算法; Keywords fuzzy description logic R0 implication operator revised kleene implication satisfiability consistency Tableau algorithm; 分类号 O159 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名修正的Kleene系统中子代数的广义重言式理论被引量：6: 2; 作者魏海新; 机构桂林航天工业高等专科学校计算机系; 出处《计算机工程与应用》 CSCD 北大核心 2009年第22期32-33,46,共3页; 基金广西区教育厅科研基金(No.桂教科研[2006]26号); 文摘将修正的Kleene系统中的广义重言式理论进行推广,讨论了其序稠密子代数的广义重言式理论,并利用可达广义重言式的概念在W的序稠密子代数中给出F(S)关于┐同余的一个分划。; 关键词修正的kleene系统广义重言式分划; Keywords revised kleene system generalized tautology partition; 分类号 O141.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名修正的Kleene系统中的一种降级算法及其性质: 3; 作者阎满富吴洪溥; 机构中国农业大学经济管理学院陕西师范大学数学信息科学学院; 出处《工程数学学报》 CSCD 北大核心 2004年第4期537-542,共6页; 基金陕西师范大学重点科研基金; 文摘通过对模糊命题演算的形式演绎系统L*及修正的Kleene逻辑系统W,W,Wk的研究,给出了修正的Kleene系统中广义矛盾式之间的一种降级算法并讨论了它的性质和应用,最后在广义矛盾式理论中讨论了广义语义HS规则和广义语义MP规则,为进一步对修正的Kleene逻辑系统的研究提供一个有益的工具.; 关键词模糊逻辑修正的kleene系统广义矛盾式降级算法广义语义C-MP规则广义语义C-HS规则; Keywords fuzzy logic revised kleene system generalized contradiction diwngrade algorithm generalized semantic C-MP rule genralized semantic C-HS rule; 分类号 O141.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名关于条件句的蕴涵理论被引量：6: 4; 作者霍书全; 机构安徽大学哲学系; 出处《安徽大学学报（哲学社会科学版）》 CSSCI 北大核心 2011年第3期37-43,共7页; 基金安徽省哲学社会科学规划项目(AHSK07-08D49) 安徽省教育厅人文社会科学研究项目(2009sk054); 文摘为了刻画条件句,逻辑学家提出了许多蕴涵理论,如真值函项理论、条件概率理论、信念修正理论、可能世界语义学等。作为现代逻辑的一个分支,条件句逻辑充分利用各种蕴涵思想建立许多逻辑系统,但由于条件句的复杂性,各种蕴涵都难以刻画出所有的条件关系,因此都不能等同于自然语言中的"如果,那么"。; 关键词条件句蕴涵真值函项可能世界条件概率信念修正; Keywords conditional implication truth function possible world conditional probability belief revision; 分类号 B815.3 [哲学宗教—逻辑学]; 在线阅读下载PDF 职称材料

题名基于相似修正关系推理的焊接工艺决策: 5; 作者冯志强韩峻峰黄伟铭柳存根甘露韩翔希焦自权; 机构北部湾大学机械与船舶海洋工程学院广西科技大学电气与信息工程学院上海交通大学船舶海洋与建筑工程学院上海船舶工艺研究所先进连接技术与自动化装备研究室; 出处《智能系统学报》 CSCD 北大核心 2020年第5期880-887,共8页; 基金国家自然科学基金项目(51969001) 广西科技重大专项(桂科AA17292003) 广西自然科学基金项目(2016GXNSFAA380188,2018GXNSFAA138080).; 文摘针对基于相似度的推理和合成关系推理存在的不足,本文提供一种将相似度量与贴近方向相结合,生成修正或诱导模糊关系的近似推理模式。通过引入模糊概念间贴近方向函数,构造扩展型和缩减型2类修正函数,由此导出推理模型的一般表达形式,并对几个修正算子和构造条件关系的模糊转化算子进行了分析比较。基于该推理模式构建焊接工艺决策模型,由给定熔深来确定合理的焊接规范参数,结果表明:模型可达到较高的计算精度,从而解决了近似推理中输出结果不能对输入事实的每一变化作出准确响应的问题。; 关键词近似推理相似度量贴近方向剩余蕴涵 T-范数修正关系转化算子焊接规范参数; Keywords approximate reasoning similarity measure nearness direction modified relation t-norm modification relationship translation operator welding code parameters; 分类号 TP181 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于修正的Kleene蕴涵的模糊描述逻辑	邱晓春裴道武	《高校应用数学学报（A辑）》 CSCD 北大核心	2013	0	在线阅读下载PDF 职称材料
2	修正的Kleene系统中子代数的广义重言式理论	魏海新	《计算机工程与应用》 CSCD 北大核心	2009	6	在线阅读下载PDF 职称材料
3	修正的Kleene系统中的一种降级算法及其性质	阎满富吴洪溥	《工程数学学报》 CSCD 北大核心	2004	0	在线阅读下载PDF 职称材料
4	关于条件句的蕴涵理论	霍书全	《安徽大学学报（哲学社会科学版）》 CSSCI 北大核心	2011	6	在线阅读下载PDF 职称材料
5	基于相似修正关系推理的焊接工艺决策	冯志强韩峻峰黄伟铭柳存根甘露韩翔希焦自权	《智能系统学报》 CSCD 北大核心	2020	0	在线阅读下载PDF 职称材料