基于辩论语义的算子模糊逻辑

原文传递

导出

摘要定义了一种基于辩论语义的算子模糊逻辑,这种逻辑是相关的、次协调的、非单调的,能形象地刻画认知过程中的信念修正,适于在知识不一致、不精确、不完全情形下推理.

作者程晓春姜云飞刘叙华

机构地区吉林大学计算机系符号计算与知识工程开放实验室

出处《中国科学（E辑）》 CSCD 1996年第1期64-71,共8页 Science in China(Series E)

基金国家自然科学基金国家"八六三"计划国家"攀登计划"资助项目

关键词算子模糊逻辑相关逻辑非单调逻辑辩论语义

参考文献6

1程晓春,钟绍春,欧阳丹彤,李春生,陈庆锋,张成奇.抽象算子逻辑及其自然演绎系统[J].东北师大学报（自然科学版）,2004,36(4):38-44. 被引量：1
2邓安生.Fuzzy算子运算的一种新语义解释[J].东北师大学报（自然科学版）,1993,25(1):33-36.
3唐日昆,刘叙华.广义λ-归结中的删除策略[J].吉林大学自然科学学报,1993(2):37-41.
4刘叙华,邓安生.Boole算子Fuzzy逻辑[J].中国科学（A辑）,1994,24(6):637-644. 被引量：5
5刘叙华,司徒芊.广义λ－调解[J].计算机学报,1995,18(2):135-140.
6程晓春,刘叙华,陆汝钤.基于证据语义的算子模糊逻辑[J].科学通报,1995,40(1):86-88. 被引量：7
7程晓春.BAOFL的TABLEAU推理[J].吉林大学自然科学学报,1997(1):39-42.
8程晓春.基于算子模糊逻辑的不确定程度计算[J].软件学报,1997,8(7):525-534. 被引量：2
9程晓春.算子模糊逻辑的λ-TABLEAU推理[J].模式识别与人工智能,1997,10(4):293-300.
10夏世芬,徐扬.一种算子模糊逻辑系统[J].四川师范大学学报（自然科学版）,2008,31(5):508-512. 被引量：5

1陈进才,何运.推广的算子模糊逻辑及其性质[J].西安公路学院学报,1992,12(1):76-81.
2周建仁,吴洪博.BL代数的一种弱化形式[J].吉林大学学报（理学版）,2014,52(2):231-236. 被引量：2
3邓安生,赵宏亮.多项式意义下模糊算子运算定义的唯一性[J].东北师大学报（自然科学版）,1998,30(3):1-3. 被引量：1
4李敏.对算子模糊逻辑的拓展讨论[J].辽宁师范大学学报（自然科学版）,2003,26(3):234-236. 被引量：1
5李敏.直觉算子模糊逻辑的研究[J].辽宁税务高等专科学校学报,2000,12(3):29-30.
6邓安生,张丽英.算子模糊逻辑定量模型的局限性[J].中国科学（E辑）,1998,28(5):446-453. 被引量：1
7程晓春,刘叙华,陆汝钤.基于证据语义的算子模糊逻辑[J].科学通报,1995,40(1):86-88. 被引量：7
8邓安生,张军.布尔算子Fuzzy逻辑公式的λ－恒假性[J].东北师大学报（自然科学版）,1995,27(2):28-30.
9程晓春.BAOFL的TABLEAU推理[J].吉林大学自然科学学报,1997(1):39-42.
10T. J. Stepien L. T. Stepien.Atomic Entailment and Atomic Inconsistency and Classical Entailment[J].Journal of Mathematics and System Science,2015,5(2):60-71. 被引量：1

中国科学（E辑）

1996年第1期

内容加载中请稍等...