将直觉模糊粗糙集理论引入到逻辑推理中,通过对粗糙集、直觉模糊集、数理逻辑等基本理论的融合,给出了直觉模糊粗糙逻辑的语义及其推理方法。首先给出直觉模糊命题逻辑的5个逻辑值,即直觉模糊真、直觉模糊假、直觉模糊粗糙真、直觉模糊粗糙假和直觉模糊粗糙不相容,在此基础上定义了直觉模糊粗糙逻辑的运算,然后讨论了近似空间中直觉模糊粗糙命题公式的语义,最后针对含有不同逻辑连接词的直觉模糊粗糙命题公式给出了其语义推理方法。
The theory of the intuitionistic fuzzy rough set is introduced into the logic reasoning .By the combination of such basic theories as rough sets , intuitionistic fuzzy sets and mathematical logic , the semantic and reasoning methods of intuitionistic fuzzy rough logic are given .Initially, five logic values for the intuitionistic fuzzy proposition logic are given, i.e.intuitionistic fuzzy true , intuitionistic fuzzy false , intuitionistic fuzzy rough true , intuitionistic fuzzy rough false and intuitionistic fuzzy rough incompatible , and on the basis of this , the intuitionistic fuzzy rough logic operations are given;then the semantic of intuitionistic fuzzy rough proposition formulas in approximate space is discussed;finally, the semantic reasoning methods are proposed as for the intuitionistic fuzzy rough propositional formula containing different logical conjunctions .