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

理想状态下泛逻辑的形式演绎系统β: 1; 作者罗敏霞何华灿《计算机科学》 CSCD 北大核心 2004年第3期95-98,共4页; 本文提出泛逻辑学在理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下的形式演绎系统。讨论了商代数[F]的性质。进一步证明了形式演绎系统与文[11]的基本形式演绎系统UL(h=k=0.5)是等价的。; 关键词人工智能专家系统模糊推理模糊逻辑泛逻辑形式演绎系统; 在线阅读下载PDF 职称材料

理想状态下泛逻辑的形式演绎系统B的完备性: 2; 作者罗敏霞何华灿《计算机科学》 CSCD 北大核心 2005年第6期93-95,共3页; UB代数是理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下泛逻辑的代数系统。本文引入UB代数滤子的概念,讨论了UB代数的一系列性质。证明了理想状态下泛逻辑形式演绎系统B的完备性与强完备性。; 关键词形式演绎系统理想状态完备性泛逻辑广义相关系数自相关系数代数系统滤子; 在线阅读下载PDF 职称材料

L~*系统的半对偶形式系统S“非汉字符号”~* 被引量：4: 3; 作者吴洪博陈景林《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2001年第4期4-8,共5页; 研究了模糊命题演算的形式演绎系统L 和修正的Kleene逻辑系统 W ,W ,Wk 及R0 代数 .给出了L 系统的半对偶形式系统SL- ;与交推理规则相对应 ,引入并推理规则 ,证明了L 系统和SL- 系统的等价性 .; 关键词模糊命题演算形式演绎系统T^＊半对偶形式演绎系统ST^-＊并推理规则交推理规则等价性; 在线阅读下载PDF 职称材料

L~*系统的一种弱完全对偶形式系统WCL 被引量：5: 4; 作者吴洪博王国俊《西安石油学院学报（自然科学版）》 2000年第6期48-52,共5页; 研究了模糊命题演算的一种形式演绎系统 L* 和修正的 Kleene逻辑系统 W-,W,Wk 及 R0-代数 ,给出了 L* 系统的一种弱完全对偶形式系统 WCL-* ,并证明了二者之间的等价性。; 关键词模糊逻辑命题演算形式演绎系统T^＊弱完全对偶形式演绎系统WCT^＊-; 在线阅读下载PDF 职称材料

L~*系统中的模糊演绎定理被引量：26: 5; 作者吴洪博文秋梅《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2001年第1期17-22,共6页; 研究了模糊命题演算的形式演绎系统L 以及在语义上相关的修正的Kleene逻辑系统 W ,W ,Wk 和R0 代数 ,讨论了算子 :F(S)×F(S)→F(S)的一些基本性质 ,给出了L 系统中的模糊演绎定理 .结果表明 ,在L 系统中 ,(1 )如果Γ∪ {A} B ,... 展开更多; 关键词模糊逻辑模糊命题演算算子模糊演绎定量形式演绎系统模糊推理 Kleene逻辑系统推理规则; 在线阅读下载PDF 职称材料

关于形式系统L~*及R_0代数的若干结果被引量：3: 6; 作者王保社张小红《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2003年第3期28-31,42,共5页; 研究了模糊逻辑的形式演绎系统L 及R0 代数的性质,得到形式系统L 的两个更简捷的等价系统,证明了R0 代数的对偶代数是有界逆序对合BCK 代数,并给出关于R0 代数的一个重要反例,说明了R0 代数中∨与→是各自独立的.; 关键词数理逻辑模糊逻辑形式演绎系统 R0-代数 BCK-代数对偶代数; 在线阅读下载PDF 职称材料

L*系统中L*10的特点及应用被引量：1: 7; 作者吴洪博刘敏《工程数学学报》 CSCD 北大核心 2006年第5期835-842,共8页; 对模糊命题演算的形式演绎系统中的公理L10：（A→B）∨（（A→B）→A∨B）进行了较为深刻的研究，一方面应用L10讨论了L^＊系统与Lukasiewicz系统，GSdel系统的相互独立性，说明L10是L^＊系统区别于其它模糊命题演算的形式演译系统的... 展开更多; 关键词模糊逻辑命题演算蕴涵算子语义形式演绎系统L^＊; 在线阅读下载PDF 职称材料

模糊推理与模糊逻辑被引量：26: 8; 作者王国俊《系统工程学报》 CSCD 1998年第2期1-16,共16页; 论证了当赋值集为［０，１］时经典命题演算中的定理、重言式、ＭＰ规则以及ＨＳ规则之间关系的不协调性．建立了关于模糊命题演算的准形式演绎系统，证明了相应的可靠性定理．修正了模糊取式（ＦｕｚｚｙＭｏｄｕｓＰｏｎｅｎｓ，ＦＭ... 展开更多; 关键词模糊推理模糊逻辑准形式演绎系统模糊系统模糊控制; 在线阅读下载PDF 职称材料

题名理想状态下泛逻辑的形式演绎系统β: 1; 作者罗敏霞何华灿; 机构西北工业大学计算机科学与工程系; 出处《计算机科学》 CSCD 北大核心 2004年第3期95-98,共4页; 基金中国国家自然科学基金(60273087) 北京市自然科学基金(4032009); 文摘本文提出泛逻辑学在理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下的形式演绎系统。讨论了商代数[F]的性质。进一步证明了形式演绎系统与文[11]的基本形式演绎系统UL(h=k=0.5)是等价的。; 关键词人工智能专家系统模糊推理模糊逻辑泛逻辑形式演绎系统; Keywords Universal logic.Formal deductive system ,Provable equivalence relation; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名理想状态下泛逻辑的形式演绎系统B的完备性: 2; 作者罗敏霞何华灿; 机构西北工业大学计算机学院; 出处《计算机科学》 CSCD 北大核心 2005年第6期93-95,共3页; 基金中国国家自然科学基金(60273087) 北京市自然科学基金(4032009); 文摘 UB代数是理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下泛逻辑的代数系统。本文引入UB代数滤子的概念,讨论了UB代数的一系列性质。证明了理想状态下泛逻辑形式演绎系统B的完备性与强完备性。; 关键词形式演绎系统理想状态完备性泛逻辑广义相关系数自相关系数代数系统滤子; Keywords Universal logic Formal deductive system B, UB algebra Completeness; 分类号 O141.1 [理学—基础数学] TV213 [水利工程—水文学及水资源]; 在线阅读下载PDF 职称材料

题名L~*系统的半对偶形式系统S“非汉字符号”~* 被引量：4: 3; 作者吴洪博陈景林; 机构陕西师范大学数学研究所唐山师范学院数学系; 出处《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2001年第4期4-8,共5页; 文摘研究了模糊命题演算的形式演绎系统L 和修正的Kleene逻辑系统 W ,W ,Wk 及R0 代数 .给出了L 系统的半对偶形式系统SL- ;与交推理规则相对应 ,引入并推理规则 ,证明了L 系统和SL- 系统的等价性 .; 关键词模糊命题演算形式演绎系统T^＊半对偶形式演绎系统ST^-＊并推理规则交推理规则等价性; Keywords propositional calculus formal deductive system L * semi_dual formal deductive system S * union inference rule; 分类号 O141.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名L~*系统的一种弱完全对偶形式系统WCL 被引量：5: 4; 作者吴洪博王国俊; 机构四川大学数学系陕西师范大学; 出处《西安石油学院学报（自然科学版）》 2000年第6期48-52,共5页; 基金国家自然科学基金重点资助项目! (198310 40 ); 文摘研究了模糊命题演算的一种形式演绎系统 L* 和修正的 Kleene逻辑系统 W-,W,Wk 及 R0-代数 ,给出了 L* 系统的一种弱完全对偶形式系统 WCL-* ,并证明了二者之间的等价性。; 关键词模糊逻辑命题演算形式演绎系统T^＊弱完全对偶形式演绎系统WCT^＊-; Keywords fuzzy logic, propositional calculus, formal deductive system L *, weak completely dual formal system WC L- * , union inference rule; 分类号 O141.1 [理学—基础数学] O159 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名L~*系统中的模糊演绎定理被引量：26: 5; 作者吴洪博文秋梅; 机构陕西师范大学数学研究所唐山师范学院数学系; 出处《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2001年第1期17-22,共6页; 文摘研究了模糊命题演算的形式演绎系统L 以及在语义上相关的修正的Kleene逻辑系统 W ,W ,Wk 和R0 代数 ,讨论了算子 :F(S)×F(S)→F(S)的一些基本性质 ,给出了L 系统中的模糊演绎定理 .结果表明 ,在L 系统中 ,(1 )如果Γ∪ {A} B ,那么Γ A2 →B ;(2 )Γ∪ {A2 } B的充要条件是Γ A2 →B ;(3) (A B) C≈A (B C) (≈表示可证等价 ) ;(4)A B≈B A ;(5 ) A (A→B)→B ;(6 ) A2 →Ak(k∈N) .; 关键词模糊逻辑模糊命题演算算子模糊演绎定量形式演绎系统模糊推理 Kleene逻辑系统推理规则; Keywords fuzzy logic fuzzy propositional calculus operator fuzzy deductive theorem; 分类号 O159 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名关于形式系统L~*及R_0代数的若干结果被引量：3: 6; 作者王保社张小红; 机构咸阳师范学院数学系宁波大学理学院; 出处《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2003年第3期28-31,42,共5页; 文摘研究了模糊逻辑的形式演绎系统L 及R0 代数的性质,得到形式系统L 的两个更简捷的等价系统,证明了R0 代数的对偶代数是有界逆序对合BCK 代数,并给出关于R0 代数的一个重要反例,说明了R0 代数中∨与→是各自独立的.; 关键词数理逻辑模糊逻辑形式演绎系统 R0-代数 BCK-代数对偶代数; Keywords fuzzy logic formal deductive system R_0-algebra BCK-algebra; 分类号 O141.1 [理学—基础数学] O153.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名L*系统中L*10的特点及应用被引量：1: 7; 作者吴洪博刘敏; 机构陕西师范大学数学研究所; 出处《工程数学学报》 CSCD 北大核心 2006年第5期835-842,共8页; 基金国家自然科学基金(10471083) 陕西师范大学重点科研基金(995130); 文摘对模糊命题演算的形式演绎系统中的公理L10：（A→B）∨（（A→B）→A∨B）进行了较为深刻的研究，一方面应用L10讨论了L^＊系统与Lukasiewicz系统，GSdel系统的相互独立性，说明L10是L^＊系统区别于其它模糊命题演算的形式演译系统的特征标志，另一方面应用L10证明了L^＊系统中的条件演绎定理，给出了L10在L^＊中的一个重要应用。; 关键词模糊逻辑命题演算蕴涵算子语义形式演绎系统L^＊; Keywords fuzzy logic implication operator semantics L^＊ system deductive theorem; 分类号 O141.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名模糊推理与模糊逻辑被引量：26: 8; 作者王国俊; 机构陕西师范大学数学研究所; 出处《系统工程学报》 CSCD 1998年第2期1-16,共16页; 基金国家自然科学基金; 文摘论证了当赋值集为［０，１］时经典命题演算中的定理、重言式、ＭＰ规则以及ＨＳ规则之间关系的不协调性．建立了关于模糊命题演算的准形式演绎系统，证明了相应的可靠性定理．修正了模糊取式（ＦｕｚｚｙＭｏｄｕｓＰｏｎｅｎｓ，ＦＭＰ）与模糊拒取式（ＦｕｚｚｙＭｏｄｕｓＴｏｌｅｎｓ，ＦＭＴ）概念，并明确了ＦＭＰ与ＦＭＴ的模糊逻辑依据．; 关键词模糊推理模糊逻辑准形式演绎系统模糊系统模糊控制; Keywords fuzzy reasoning,fuzzy logic,quasiformal deductive system; 分类号 N94 [自然科学总论—系统科学] TP273.4 [自动化与计算机技术—检测技术与自动化装置]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	理想状态下泛逻辑的形式演绎系统β	罗敏霞何华灿	《计算机科学》 CSCD 北大核心	2004	0	在线阅读下载PDF 职称材料
2	理想状态下泛逻辑的形式演绎系统B的完备性	罗敏霞何华灿	《计算机科学》 CSCD 北大核心	2005	0	在线阅读下载PDF 职称材料
3	L~系统的半对偶形式系统S“非汉字符号”~	吴洪博陈景林	《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心	2001	4	在线阅读下载PDF 职称材料
4	L~*系统的一种弱完全对偶形式系统WCL	吴洪博王国俊	《西安石油学院学报（自然科学版）》	2000	5	在线阅读下载PDF 职称材料
5	L~*系统中的模糊演绎定理	吴洪博文秋梅	《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心	2001	26	在线阅读下载PDF 职称材料
6	关于形式系统L~*及R_0代数的若干结果	王保社张小红	《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心	2003	3	在线阅读下载PDF 职称材料
7	L系统中L10的特点及应用	吴洪博刘敏	《工程数学学报》 CSCD 北大核心	2006	1	在线阅读下载PDF 职称材料
8	模糊推理与模糊逻辑	王国俊	《系统工程学报》 CSCD	1998	26	在线阅读下载PDF 职称材料