基于蕴涵度和蕴涵率的蕴涵型命题真值求法

文章通过分析蕴涵型复合命题的真假涵义,并引入蕴涵度和蕴涵率两种度量,而得到了一种关于蕴涵型复合命题的真值计算新方法,即支命题之间的实际蕴涵度或蕴涵率对复合命题中描述蕴涵关系特征的语言值的符合度就是该复合命题的真值。该方法统一了确定性和不确定性蕴涵型复合命题的真值求法,填补了不确定性蕴涵型复合命题真值计算的空白,因而将在机器推理特别是不确定性推理中发挥重要作用。

A Truth Computation Method for Implication Compound Proposition Based on Implication Degree and Implication Rate

Through analyzing the true and false meanings of implication compound proposition and introducing two measurements:implication degree and implication rate,a new truth computation method for implication compound proposition is obtained.That is,the truth value of an implication compound proposition is just the compatibleness degree of the actual implication degree or implication rate between its sub-propositions with the language value that describes the feature of implication relation in this compound proposition.This method unifies truth computation methods for certainty and uncertainty implication compound propositions,and even fills in the gaps of the truth computation of uncertainty implication compound proposition,thus will exert important effects on machine reasoning and especially on uncertainty reasoning.