建立了一种带模糊文字以及模糊算子的算子模糊逻辑系统,讨论了该逻辑系统逻辑性质.在算子模糊逻辑系统中,定义了λ-归结,证明了λ-归结的相容性以及基于λ-归结的归结推理的完备性,为基于逻辑的不确定性推理提供了新的思路与方法.
A fuzzy logic system with fuzzy literals and fuzzy operator is defined in this paper, and its logic properties have discussed. We have defined λ-resolution in this system and have proved its consistence and completeness of λ-resolution. This will provide new train of thought and method for uncertain inference.