基于正则蕴涵算子与强否定的支持度理论 |
| |
引用本文: | 周红军,王国俊.基于正则蕴涵算子与强否定的支持度理论[J].自然科学进展,2005,15(9):1123-1128. |
| |
作者姓名: | 周红军 王国俊 |
| |
作者单位: | 陕西师范大学数学与信息科学学院,西安,710062 |
| |
基金项目: | 国家自然科学基金,陕西师范大学校科研和教改项目 |
| |
摘 要: | 研究了基于正则蕴涵算子的支持度理论,将模糊推理的全蕴涵三Ⅰ算法推广至一般情形.针对几个常用的正则蕴涵算子得到如下结果:(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中命题间的支持度的分布.最后,将逻辑非运算改为强否定,通过建立逻辑系统之间的同构进一步考察了相应逻辑系统中的支持度的分布.
|
关 键 词: | 三角模 正则蕴涵算子 伴随对 支持度 强否定 非经典逻辑 |
收稿时间: | 2004-12-22 |
修稿时间: | 2004-12-222005-03-29 |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
| 点击此处可从《自然科学进展》浏览原始摘要信息 |
| 点击此处可从《自然科学进展》下载免费的PDF全文 |
|