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

基于模糊逻辑的不确定知识处理（Ⅱ）─—模糊逻辑的TABLEAU推理被引量：1: 1; 作者程晓春刘叙华《计算机学报》 EI CSCD 北大核心 1996年第12期931-940,共10页; 本文基于ＴＡＢＬＥＡＵ方法，给出了模糊逻辑中一些至今缺少有效证明论的推理关系的证明论，也给出了作者提出的模糊择优蕴涵的判定过程．据此说明了Ｙａｇｅｒ所给出的推理规则对其所讨论的模糊推理关系是不完备的．分析了本文对前提... 展开更多; 关键词模糊蕴涵 tableau法模糊逻辑不确定知识处理; 在线阅读下载PDF 职称材料

BAOFL的TABLEAU推理: 2; 作者程晓春《吉林大学自然科学学报》 CAS CSCD 1997年第1期39-42,共4页; 给出了基于信度语义的算子模糊逻辑BAOFL的TABLEAU推理方法，并证明了其可靠性和完备性．; 关键词算子模糊逻辑可信度知识表示 tableau推理; 在线阅读下载PDF 职称材料

基于信度语义的算子模糊逻辑被引量：8: 3; 作者刘叙华程晓春《计算机学报》 EI CSCD 北大核心 1995年第12期881-885,共5页; 本文在算子集与值域不同的算子格上，基于信度语义定义了一种归结推理更自然、具有结合性的算子模糊逻辑ＢＡＯＦＬ及一种语义有层次性的、非单调的算子模糊逻辑ＮＭＯＦＬ．; 关键词可信度算子模糊逻辑非单调逻辑人工智能; 在线阅读下载PDF 职称材料

基于算子模糊逻辑的不确定程度计算被引量：2: 4; 作者程晓春《软件学报》 EI CSCD 北大核心 1997年第7期525-534,共10页; 本文提出并比较了在信度语义下，计算算子模糊逻辑中公式（集）模糊程度的3种方法——归结法、广义归结法和TABLEAU方法．; 关键词算子模糊逻辑可信度归结 tableau方法; 在线阅读下载PDF 职称材料

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

题名基于模糊逻辑的不确定知识处理（Ⅱ）─—模糊逻辑的TABLEAU推理被引量：1: 1; 作者程晓春刘叙华; 机构吉林大学计算机科学系; 出处《计算机学报》 EI CSCD 北大核心 1996年第12期931-940,共10页; 基金国家自然科学基金 863高科技计划国家攀登项目; 文摘本文基于ＴＡＢＬＥＡＵ方法，给出了模糊逻辑中一些至今缺少有效证明论的推理关系的证明论，也给出了作者提出的模糊择优蕴涵的判定过程．据此说明了Ｙａｇｅｒ所给出的推理规则对其所讨论的模糊推理关系是不完备的．分析了本文对前提和结论分别构造ＴＡＢＬＥＡＵ推理树的方法在研究推理关系的相关性等方面的直观语义和作为模糊Ｐｒｏｌｏｇ的推理机所具有的优越性．; 关键词模糊蕴涵 tableau法模糊逻辑不确定知识处理; Keywords fuzzy implication, preferential logic, tableau method, fuzzy prolog.; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名BAOFL的TABLEAU推理: 2; 作者程晓春; 机构吉林大学计算机科学系; 出处《吉林大学自然科学学报》 CAS CSCD 1997年第1期39-42,共4页; 基金国家自然科学基金 863计划资助; 文摘给出了基于信度语义的算子模糊逻辑BAOFL的TABLEAU推理方法，并证明了其可靠性和完备性．; 关键词算子模糊逻辑可信度知识表示 tableau推理; Keywords operator fuzzy logic, belief, tableau method; 分类号 O141.3 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名基于信度语义的算子模糊逻辑被引量：8: 3; 作者刘叙华程晓春; 机构吉林大学计算机科学系; 出处《计算机学报》 EI CSCD 北大核心 1995年第12期881-885,共5页; 基金国家自然科学基金国家科委863高科技基金; 文摘本文在算子集与值域不同的算子格上，基于信度语义定义了一种归结推理更自然、具有结合性的算子模糊逻辑ＢＡＯＦＬ及一种语义有层次性的、非单调的算子模糊逻辑ＮＭＯＦＬ．; 关键词可信度算子模糊逻辑非单调逻辑人工智能; Keywords belief, operator fuzzy logic, nonmonotonic logic; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名基于算子模糊逻辑的不确定程度计算被引量：2: 4; 作者程晓春; 机构吉林大学计算机系; 出处《软件学报》 EI CSCD 北大核心 1997年第7期525-534,共10页; 基金国家自然科学基金国家863高科技项目; 文摘本文提出并比较了在信度语义下，计算算子模糊逻辑中公式（集）模糊程度的3种方法——归结法、广义归结法和TABLEAU方法．; 关键词算子模糊逻辑可信度归结 tableau方法; Keywords operator fuzzy logic, belief, resolution, generalized resolution, tableauX; 分类号 TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于修正的Kleene蕴涵的模糊描述逻辑: 5; 作者邱晓春裴道武; 机构浙江理工大学理学院; 出处《高校应用数学学报（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 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于模糊逻辑的不确定知识处理（Ⅱ）─—模糊逻辑的TABLEAU推理	程晓春刘叙华	《计算机学报》 EI CSCD 北大核心	1996	1	在线阅读下载PDF 职称材料
2	BAOFL的TABLEAU推理	程晓春	《吉林大学自然科学学报》 CAS CSCD	1997	0	在线阅读下载PDF 职称材料
3	基于信度语义的算子模糊逻辑	刘叙华程晓春	《计算机学报》 EI CSCD 北大核心	1995	8	在线阅读下载PDF 职称材料
4	基于算子模糊逻辑的不确定程度计算	程晓春	《软件学报》 EI CSCD 北大核心	1997	2	在线阅读下载PDF 职称材料
5	基于修正的Kleene蕴涵的模糊描述逻辑	邱晓春裴道武	《高校应用数学学报（A辑）》 CSCD 北大核心	2013	0	在线阅读下载PDF 职称材料