多值逻辑在不确定性知识表示及推理中的应用

The Application of Ternay Logic in Uncertain Knowledge Representation and Reasoning

针对传统产生式规则和Ｂｏｏｌｅａｎ 规则矩阵无法进行不确定性知识表示和推理的弱点，文章采用三值逻辑表示规则和真值状态的不确定性，提出并使用三值产生式规则（Ｔ 规则） 和三值规则矩阵（ＴＲ 矩阵） ，利用ＴＲ矩阵变换实现高速前向推理和后向推理。对复合三值规则的无损分解进行了详细探讨，最后提出了一个能进行不确定推理的新算法。

As to the weakness of the traditional adjacentrule and Boolean rule matrix which can not represent and inference uncertain knowledge ,ternary adjacentrule(Trule) ,ternary rule matrix(TR matrix) are proposed and used . We realizeforward/backward reasoning through TR matrix transformation .The lossless decomposition ofcompound Trulesisexplored in detail. A new algorithm dealing with uncertain reasoning problemsatlast.