基于正则蕴涵算子与强否定的支持度理论

• 作者: 周红军 王国俊
• 来源期刊: 自然科学进展
• 学科: 数学
• 关键词: 三角模 正则蕴涵算子 伴随对 支持度 强否定 非经典逻辑
• 年，卷（期）: 2005,（9）
• 所属期刊栏目: 研究简讯
• 页码范围: 1123-1128
• 页数: 6页
• 分类号: O1
• 字数: 7118字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-008X.2005.09.014

摘要

研究了基于正则蕴涵算子的支持度理论,将模糊推理的全蕴涵三Ⅰ算法推广至一般情形.针对几个常用的正则蕴涵算子得到如下结果:(1)Lukasiewicz逻辑系统L中命题间的支持度之集恰为[0,1]中有理数的全体[0,1]∩ Q;(2)G(o)del逻辑系统(G-)和(x*)逻辑系统(W-)中命题间的支持度之集均为{0,12,1};(3)乘积逻辑系统P中命题间的支持度之集为{0,1};(4)考察了相应的n值逻辑系统Ln,Gn和Wn中命题间的支持度的分布.最后,将逻辑非运算改为强否定,通过建立逻辑系统之间的同构进一步考察了相应逻辑系统中的支持度的分布.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王国俊	陕西师范大学数学与信息科学学院	176	2910	25.0	49.0
2	周红军	陕西师范大学数学与信息科学学院	29	95	6.0	8.0