TY - GEN
T1 - An axiomatizable lattice-ordered linguistic truth-valued logic
AU - Liu, Jun
AU - Xu, Yang
AU - Ruan, Da
A2 - Wagemans, Jan
N1 - Conference code: FLINS 2010
PY - 2010/8
Y1 - 2010/8
N2 - Investigations on an algebraic structure of linguistic truth values in decision making and social science applications still lack a formalism for development of strict linguistic truth-valued logic system and its approximate reasoning scheme in practice. To attain this goal we characterize and construct the structure of linguistic value sets in natural language by a lattice-valued algebra structure - lattice implication algebra (LIA), where Łukasiewicz implication algebra, as a special case of LIA, plays a substantial role. By using Łukasiewicz logic’s axiomatizability in terms of Pavelka type fuzzy logic, we propose a new axiomatizable linguistic truth-valued logic system based on LIA to place an important foundation for further establishing formal linguistic valued logic based approximate reasoning systems. This proposed logic system has a distinct advantage of handling incomparable linguistic terms in perception-based decision making processes.
AB - Investigations on an algebraic structure of linguistic truth values in decision making and social science applications still lack a formalism for development of strict linguistic truth-valued logic system and its approximate reasoning scheme in practice. To attain this goal we characterize and construct the structure of linguistic value sets in natural language by a lattice-valued algebra structure - lattice implication algebra (LIA), where Łukasiewicz implication algebra, as a special case of LIA, plays a substantial role. By using Łukasiewicz logic’s axiomatizability in terms of Pavelka type fuzzy logic, we propose a new axiomatizable linguistic truth-valued logic system based on LIA to place an important foundation for further establishing formal linguistic valued logic based approximate reasoning systems. This proposed logic system has a distinct advantage of handling incomparable linguistic terms in perception-based decision making processes.
KW - Linguistic truth values
KW - Decision making
KW - Lattice implication algebra
UR - http://ecm.sckcen.be/OTCS/llisapi.dll/open/ezp_109450
UR - http://ecm.sckcen.be/OTCS/llisapi.dll/open/ezp_109450_2
UR - http://ecm.sckcen.be/OTCS/llisapi.dll/open/ezp_109450_3
UR - http://knowledgecentre.sckcen.be/so2/bibref/7413
U2 - 10.1142/9789814324700_0009
DO - 10.1142/9789814324700_0009
M3 - In-proceedings paper
SN - 978-981-4324-69-4
VL - 1
T3 - Computer Engineering and Information Science
SP - 72
EP - 78
BT - Computational Intelligence -- Foundations and Applications
CY - Singapore, Singapore
T2 - 2010 - 9th International FLINS Conference on Foundations and Applications of Computational Intelligence
Y2 - 2 August 2010 through 4 August 2010
ER -