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

In this paper, under linguistic truth-valued lattice-valued first-order 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.