Based on a fuzzy abstract algebraraic system subsuming the complementarity laW,of fuzzyBoolean algebra,the Reiter default rule is extended from Boolean logic to fuzzy logic usingthe convertibility between the fuzzy logic expression and Boolean function.

• 在一种含有补余律的模糊抽象代数系统（即FuzzyBoole代数）上，利用模糊逻辑公式与布尔函数的相互转换性，构造了具有模糊非单调推理能力的推理机制；