基于六元格值命题逻辑的语言真值归结方法

Linguistic Truth-Valued Resolution Method Based on Six-Element Lattice-Valued Propositional Logic

根据语气词对真值的影响,用定性的方法分析语气词,可以将其分成三类,得到了六元语言真值。基于六元格蕴涵代数,研究了能同时表示可比信息和不可比信息的六元格值逻辑系统,探讨了该系统中的性质及其滤子上的软归结方法。语言真值归结自动推理中语言真值直接参与运算,其推理结果的不确定性也是由语言值表达的。

From the effect of the linguistic hedge for truth values,linguistic hedge can be divided into three types through the qualitative method. Then six truth values can be obtained. Based on the six-element lattice implication algebra,the six lattice-valued propositional logic system which can express both comparable and incomparable information is proposed. Its properties and soft resolution method on filter is discussed. Reasoning and operation are directly acted by linguistic truth values in the resolution proeess and the result is also preseuted with linguistic truth values.