自然科学版
哲学社会科学版
自然科学版
当代教师教育
中国西部研究
高校实验科学技术
陕西师范大学学报（自然科学版）
专题研究
IL型三I算法及其还原性
PDF下载 ()
罗清君，王国俊
(陕西师范大学 数学与信息科学学院， 陕西 西安 710062)
罗清君，男，硕士研究生，主要从事非经典数理逻辑的研究.
摘要:
基于模糊推理的全蕴涵三I算法，给出了当蕴涵算子→为蕴涵格中的蕴涵算子(称为IL型蕴涵)时的三I算法和α-三I算法的表达式，并进一步讨论了IL型三IMT算法.给出了IL型三I算法、三IMT算法具有P-还原性的充分条件.证明了IL型三I算法是P-还原的，如果存在a∈X，使A(a)=1；IL型三IMT算法是P-还原的，如果存在b∈Y，使B(b)=0.
关键词：
蕴涵格； 蕴涵算子； 三I算法； P-还原性
收稿日期：
2006-01-07
中图分类号：
O141.1
文献标识码：
A
文章编号：
1672-4291(2006)03-0009-05
基金项目：
国家自然科学基金重点资助项目(10331010)
Doi:
IL-type triple-I algorithm and its reversibility
LUO Qing-jun, WANG Guo-jun
(Collage of Mathematics Information Science, Shaanxi Normal University, Xi′an 710062, Shaanxi, China)
Abstract:
Based on the triple-I method, the expressions of triple-I algorithm and α-triple-I algorithm are given when the implication operator is used in an implication lattice. At the same time, some sufficient conditions for the triple-I method and α-triple-I method to have P-reductors are given. It is proved that the IL-type triple-I algorithm is P-reversing if  a∈X such that A(a)=1 and that IL-type triple IMT algorithm is P-reversing if b∈Y such that B(b)=0.
KeyWords:
implication lattice; implication operator; triple-I method; P-reductor

版权所有：陕西师范大学学报期刊社