区间值逻辑柔性化的研究  

Flexibility of the Interval-valued Logics

作　　者：薛占熬[1] 何华灿[1] 

机构地区：[1]西北工业大学计算机学院,西安710072

出　　处：《计算机科学》2005年第7期142-144,155,共4页Computer Science

基　　金：国家自然科学基金(No.60273087);北京自然科学基金(No.4032009)

摘　　要：蕴涵是研究逻辑学的重点和难点,本文运用泛逻辑学的理论,把广义相关性引入到区间值逻辑中,重新定义了区间值逻辑的补、交、并运算,给出一种区间蕴涵的定义形式,使区间值逻辑运算模型连续可变,进一步证明了区间蕴涵的正则性、单调性和伴随性。以全新的观点给出区间值逻辑在h几个特殊点处的交、并和蕴涵运算模型。这对深入研究区间值逻辑柔性化,具有重要的意义。The study of implication operator is important and difficult in the study of logic. In this paper, using the principle of the universal logics, generalized correlation is introduced into Interval-valued Logics, the intersection, u- nion and complement operation are redefined, and a new kind definition of the Interval-implication is given. The oper- ation models of the Interval-valued Logics are changeable continuity. Regularity and monotonicity of interval-implica- tion are proved, the property of adjoint pair of interval intersection and implication is also proved. The operation models of the Interval-Logics are firstly given for intersection, union and implication in the special points of h. It is very important to the further study of making Interval-Logics flexible.

关 键 词：区间值 柔性化 运算模型 广义相关性 泛逻辑学 定义形式 蕴涵 新定义 并运算 正则性 单调性 特殊点 研究区 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程] O159[自动化与计算机技术—控制科学与工程]