论文研究 有向图语言.pdf

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