TY - GEN
T1 - Progress and prospect in lattice-valued logic systems based on lattice implication algebras
AU - Xu, Yang
AU - Da, Ruan
AU - Liu, Jun
PY - 2004
Y1 - 2004
N2 - 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.
AB - 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.
KW - Automated reasoning
KW - Lattice implication algebras
KW - Lattice-valued logics
KW - Linguistic truth-value
KW - Uncertainty inference
UR - http://www.scopus.com/inward/record.url?scp=8844247032&partnerID=8YFLogxK
U2 - 10.1142/9789812702661_0009
DO - 10.1142/9789812702661_0009
M3 - Conference contribution
AN - SCOPUS:8844247032
SN - 9812388737
SN - 9789812388735
T3 - Applied Computational Intelligence - Proceedings of the 6th International FLINS Conference
SP - 29
EP - 34
BT - Applied Computational Intelligence - Proceedings of the 6th International FLINS Conference
PB - World Scientific Publishing Co. Pte Ltd
T2 - Applied Computational Intelligence - Proceedings of the 6th International FLINS Conference
Y2 - 1 September 2004 through 3 September 2004
ER -