摘要

在n值命题逻辑系统Ln,Ln*中提出了模糊推理的反向三I问题,并给出了反向三I问题的真度形式解,从而在系统Ln与Ln*中建立了反向三I问题的形式化推理机制,为模糊推理的反向三I算法奠定了逻辑基础。