基于语言真值格值一阶逻辑的不确定性推理的语法

Syntax of Uncertainty Reasoning Based on Linguistic Truth-valued Lattice Value First-order Logic

讨论基于语言真值格值一阶逻辑的不确定性推理的语法内容,并研究了推理规则的闭性和可靠性,证明了推理规则在α≤∧θ∈Ln×L2(θ→θ′)(θ≠(an,b2))水平下的闭性,得到了推理规则在此水平下可靠性的充分必要条件。

The syntax under uncertainty reasoning based on linguistic truth-valued lattice values first-order logic was discussed in this paper,the closed and sound properties of inference rules were investigated,and it is proved that the inference rules have closed under the level α≤∧θ∈Ln×L2（θ→θ′）（θ≠（an,b2））,a sufficient and essential condition was obtained in the level.