PROGRESS AND PROSPECT IN LATTICE-VALUED LOGIC SYSTEMS BASED ON LATTICE IMPLICATION ALGEBRAS

摘要

This paper summarizes the major research progress in the logical algebras - lattice implication algebras (LIAs), algebraic logics - lattice-valued logics based on LIAs, as well as uncertainty inference and automated reasoning based on these lattice-valued logics. The relevant further research topics and prospects are also outlined. The theory and method of these kinds of logic systems for characterizing the linguistic truth-value-based uncertainty inference and automated reasoning are highlighted and will be specially investigated.