基于语言真值格蕴涵代数的分层语义不确定性推理

he properties under graded semantic based on linguistic truth-valued lattice implication algebra was discussed. Then, the new inference to graded semantic of L-LIA was proposed, and the details about the reasoning were interpreted, i.e., its structure and representation, its uncertainty reasoning method of the graded semantic was investigated. Those will become the theoretical foundation for the resolution automated reasoning and uncertainty reasoning of lattice-valued first-ordered logical system with linguistic truth-valued.