中文摘要：

潘给出的中介谓词逻辑系统MF的无穷值语义解释,不同于MF的其他任何语义解释。但在该无穷值语义解释下,＂当Afuz时～A真＂这种情况并未得到反映,并且该解释在模糊知识推理中必须作适当的修改才能更符合客观思维。给出了中介谓词逻辑系统MF一种真值域为（0,1-λ）∪（1-λ,λ）∪（λ,1）（λ∈（0.5,1））的无穷值语义解释,重新定义了MF的文字,提出了一种新的MF的λ-归结原理,证明了其完备性。该解释进一步表明用中介逻辑作为模糊知识的表示与推理的工具是可行的。

英文摘要：

For the medium predicate system MF,Pan proposed the infinite-valued semantic interpretation which differentiated from any other interpretation for MF.However,this type of infinite-valued semantic interpretation never reflects ＂～A true when A fuz＂,and must be modified to better suit the objective situation in fuzzy knowledge reasoning.This paper further investigates and gives out one novel kind of infinite-valued semantic interpretation whose truth-valued field is（0,1-λ）∪（1λ,λ）∪（λ,1）（λ∈（0.5,1））for MF,and redefines the concept of the literal in MF.One novel kind of λ-resolution for MF is proposed and the completeness of which is proved.Moreover,this interpretation further shows that it is possible to represent fuzzy knowledge and reason using the medium logic.