直觉算子模糊命题逻辑系统中的归结方法

摘要

对直觉算子模糊逻辑(记为IOFL)系统给出初步解释,给出了复杂文字(μ,ν)-互补及(μ,ν)-相似的概念,对(μ,ν)-归结演绎作进一步探讨,并讨论了(μ,ν)-归结在实例中的应用.