Reasoning under Uncertainty Based on Linguistic Truth-Valued Lattice Values First-Order Logic (II)

摘要

In this paper, under Linguistic Truth-Valued Lattice-Valued First-Oredr Logic System lF(X), the Consistency of reasoning rules is obtained, by select the parametric α,β,T and I of approximate input information from the fuzziness and the incomparability in the intelligent information processing. Secondly, with the representability of inference rules in model (1) investigated, we also study consistent level.