论文部分内容阅读
中介谓词逻辑系统MF的无穷值语义解释,反映了反对对立概念之间的可变过程,并且该解释不同于MF的其他任何语义解释。但在该无穷值语义解释下,“当A fuz时~A真”这种情况并未得到反映。在此基础上,进一步研究得到了中介谓词逻辑系统MF一种真值域为[0,1-λ)∪(1-λ,λ)∪(λ,1](λ∈(0.5,1))的无穷值语义解释,重新定义了MF的文字,给出了MF中λ-互补文字及弱无中介集的定义,提出了一种新的MF的λ-归结原理,并证明了其可靠性和完备性。在改进的MF的无穷值语义解释下,不仅较好的表达了“当A fuz时~A真”的情形,而且其λ值的确定,可根据一定的实例知识计算出来,具有客观性。该解释进一步表明用中介逻辑作为模糊知识的表示与推理的工具是可行的。
The infinite value semantic interpretation of the MF of the mediation predicate logic system reflects the variable process between oppositional concepts and this interpretation is different from any other semantic explanation of MF. But under this infinite value semantic explanation, the situation “when A fuz ~ A is true” has not been reflected. On this basis, the further study shows that the true range of the MF is: [0,1-λ) ∪ (λ, λ) ∪ (λ, 1] , This paper redefines the text of MF and gives the definition of λ-complementary texts in MF and the weakly non-intervening set. A new MF-λ-reduction principle is proposed and its reliability and Completeness.Under the infinite semantic explanation of MF, it not only better expresses the case of “when A fuz ~ A is true”, but also the determination of the value of λ can be calculated based on a certain instance of knowledge, Is objectivity.This explanation further shows that the use of intermediary logic as a tool for the representation and reasoning of fuzzy knowledge is feasible.