TY - GEN
T1 - Research advances on resolution automated reasoning in lattice-valued logic based on lattice implication algebra
AU - Xu, Yang
AU - Zhong, Xiaomei
AU - He, Xingxing
AU - Liu, Jun
PY - 2012
Y1 - 2012
N2 - This paper provides a systematic review on the research development of α-resolution automated reasoning theories, methods, algorithms and prototype in lattice-valued propositional logic and first-order logic based on lattice implication algebra (LIA), linguistic truth-valued lattice-valued propositional logic and first-order logic based on LIA, respectively. In addition, some important problems needed to be further investigated are proposed.
AB - This paper provides a systematic review on the research development of α-resolution automated reasoning theories, methods, algorithms and prototype in lattice-valued propositional logic and first-order logic based on lattice implication algebra (LIA), linguistic truth-valued lattice-valued propositional logic and first-order logic based on LIA, respectively. In addition, some important problems needed to be further investigated are proposed.
UR - http://www.scopus.com/inward/record.url?scp=84892647024&partnerID=8YFLogxK
U2 - 10.1142/9789814417747_0114
DO - 10.1142/9789814417747_0114
M3 - Conference contribution
AN - SCOPUS:84892647024
SN - 9789814417730
T3 - World Scientific Proc. Series on Computer Engineering and Information Science 7; Uncertainty Modeling in Knowledge Engineering and Decision Making - Proceedings of the 10th International FLINS Conf.
SP - 714
EP - 719
BT - World Scientific Proc. Series on Computer Engineering and Information Science 7; Uncertainty Modeling in Knowledge Engineering and Decision Making - Proceedings of the 10th International FLINS Conf.
PB - World Scientific Publishing Co. Pte Ltd
T2 - 10th International Fuzzy Logic and Intelligent Technologies inNuclear Science Conference, FLINS 2012
Y2 - 26 August 2012 through 29 August 2012
ER -