×

An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words. (English) Zbl 1328.68229

Summary: It is commonsense that people do express, think, reason, and make decision directly using linguistic terms in natural language rather than using numerical quantification. How to establish the formalized approach imitating the common way of human being’s to manipulate directly linguistic terms without numerical approximation to provide the rational decision is still an open research area. Investigations on the algebraic structure of linguistic term set for varied decision making applications (especially in social science) still lack a formalism for development of strict linguistic valued logic system as a theoretical foundation and its approximate reasoning scheme in practice. To attain this goal we characterize and construct a typical structure of commonly used linguistic term sets in natural language by a lattice-ordered 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 lattice ordered qualitative linguistic truth-valued logic system based on LIA to place an important foundation for further establishing formal linguistic truth-valued logic based approximate reasoning and decision making with applications. This proposed logic system has a distinct feature of handling comparable or incomparable linguistic terms directly without numerical quantification, will be especially beneficial for perception-based decision making processes. It attempts to enhance the quantitative theory of decision science with qualitative, algebraic and logic-oriented approaches to achieve reasoning with words.

MSC:

68T37 Reasoning under uncertainty in the context of artificial intelligence
03B52 Fuzzy logic; logic of vagueness
03G25 Other algebras related to logic

Software:

FLINTSTONES
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Arfi, B., Fuzzy decision making in politics: a linguistic fuzzy-set approach (LFSA), Political Analysis, 13, 23-56 (2005)
[2] Arfi, B., Linguistic fuzzy-logic game theory, Journal of Conflict Resolution, 50, 1, 28-57 (2006)
[3] Arfi, B., Linguistic fuzzy-logic social game of cooperation, Rationality and Society, 18, 4, 471-537 (2006)
[4] Birkhoff, G., Lattice Theory (1967), American Mathematical Society: American Mathematical Society Providence, R.L. · Zbl 0126.03801
[5] Bolc, L.; Borowik, P., Many-Valued Logics (1992), Springer-Verlag: Springer-Verlag Berlin Heidelberg, New York · Zbl 0791.03007
[6] Brown, M. E.; Coté, O. R.; Lynn-Jones, S. M.; Miller, S. E., Rational Choice and Security Studies: Stephen Walt and His Critics (2000), The MIT Press: The MIT Press Cambridge, MA
[7] Burris, S.; Sankappanavar, H. P., A Course in Universal Algebra (1981), Springer: Springer NewYork · Zbl 0478.08001
[10] Chen, S.; Xu, Y.; Ma, J., A linguistic truth-valued uncertainty reasoning model based on lattice-valued logic, Lecture Notes in Artificial Intelligence, 3613, 276-284 (2005)
[11] Cignoli, R.; D’Ottaviano, I.; Mundici, D., Algebraic Foundations of Many-valued Reasoning (2000), Dordrecht: Kluwer · Zbl 0937.06009
[12] Delgado, M.; Verdegay, J. L.; Vila, M. A., On aggregation operations of linguistic labels, International Journal of Intelligent Systems, 8, 351-370 (1993) · Zbl 0794.68154
[14] Dong, Y.; Xu, Y.; Yu, S., Computing the numerical scale of the linguistic term set for the 2-tuple fuzzy linguistic representation model, IEEE Transactions on Fuzzy Systems, 17, 6, 1366-1378 (2009)
[15] Espinilla, M.; Liu, J.; Martinez, L., An extended hierarchical linguistic model for decision-making problems, Computational Intelligence, 27, 3, 489-512 (2011) · Zbl 1235.68304
[16] Espinilla, M.; de Andrés, R.; Martínez, F. J.; Martínez, L., A 360-degree performance appraisal model dealing with heterogeneous information and dependent criteria, Information Sciences, 222, 459-471 (2013)
[17] (Ganter, B.; Stumme, G.; Wille, R., Formal Concept Analysis: Foundations and Applications. Formal Concept Analysis: Foundations and Applications, Lecture Notes in Artificial Intelligence, vol. 3626 (2005), Springer: Springer Verlag) · Zbl 1087.68003
[18] Goguen, J. A., L-type fuzzy sets, Journal of Mathematical and Analytical Application, 18, 145-174 (1967) · Zbl 0145.24404
[19] Goguen, J. A., The logic of inexact concepts, Synthese, 19, 325-373 (1968/69) · Zbl 0184.00903
[20] Gottwald, S., A treatise on many-valued logics, Studies in Logic and Computation, vol. 9 (2001), Research Studies Press Ltd.: Research Studies Press Ltd. Baldock · Zbl 1048.03002
[21] Grätzer, G., General Lattice Theory (2003), Birkhäuser Verlag: Birkhäuser Verlag Basel · Zbl 0385.06015
[22] Grazer, G., Universal Algebra (1979), Springer: Springer New York
[23] Hajek, P.; Godo, L.; Esteva, F., A complete many-valued logic with product conjunction, Archive for Mathematical Logic, 35, 191-208 (1996) · Zbl 0848.03005
[24] Hajek, P., Basic fuzzy logic and BL-algebras, Soft Computing, 2, 3, 124-128 (1998)
[25] Hajek, P., Metamathematics of Fuzzy Logic (2000), Kluwer Academic Publishers: Kluwer Academic Publishers Dordrecht · Zbl 1007.03022
[26] Hang, C. C., Algebraic analysis of many valued logic, Transactions of the American Mathematical Society, 88, 467-490 (1958) · Zbl 0084.00704
[27] He, X. X.; Xu, Y.; Liu, J.; Chen, S. W., On compatibilities of \(α\)-lock resolution method in linguistic truth-valued lattice-valued logic, Soft Computing Journal, 16, 4, 699-709 (2012) · Zbl 1255.03026
[28] Herrera, F.; Martínez, L., A 2-tuple fuzzy linguistic representation model for computing with words, IEEE Transactions on Fuzzy Systems, 8, 6, 746-752 (2000)
[29] Herrera, F.; Martínez, L., A model based on linguistic 2-tuples for dealing with multigranular hierarchical linguistic contexts in multi-expert decision-making, IEEE Transactions on Systems, Man and Cybernetics, part B: Cybernetics, 31, 227-234 (2001)
[30] Herrera, F.; Martínez, L., The 2-tuple linguistic computational model: advantages of its linguistic description, accuracy and consistency, International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 9, suppl., 33-48 (2001) · Zbl 1113.68519
[31] Herrera, F.; Herrera-Viedma, E.; Martínez, L., A fuzzy linguistic methodology to deal with unbalanced linguistic term sets, IEEE Transactions on Fuzzy Systems, 16, 2, 354-370 (2008)
[32] Ho, N. C.; Wechler, W., Hedge algebras: an algebraic approach to structures of sets of linguistic domains of linguistic truth variable, Fuzzy Sets and Systems, 35, 3, 281-293 (1990) · Zbl 0704.03007
[33] Ho, N. C.; Wechler, W., Extended hedge algebras and their application to fuzzy logic, Fuzzy Sets and Systems, 52, 3, 259-281 (1992) · Zbl 0786.03018
[34] Ho, N. C.; Khang, T. D.; Nam, H. V.; Chau, N. H., Hedge algebras, linguistic-valued logic and their application to fuzzy reasoning, International Journal of Uncertainty, Fuzziness and Knowledge-Based System, 7, 4, 347-361 (1999) · Zbl 1113.03319
[35] Ho, N. C.; Nam, H. V., A theory of refinement structure of hedge algebras and its application to fuzzy logic, Logic, Algebra and Computer Science, 46, 63-91 (1999) · Zbl 0936.03024
[36] Ho, N. C.; Nam, H. V., An algebraic approach to linguistic hedges in Zadeh’s fuzzy logic, Fuzzy Sets and Systems, 129, 2, 229-254 (2002) · Zbl 1001.03023
[37] Ho, N. C.; Long, N. V., Fuzziness measure on complete hedge algebras and quantifying semantics of terms in linear hedge algebras, Fuzzy Sets and Systems, 158, 4, 452-471 (2007) · Zbl 1108.68118
[38] Ho, N. C., A topological completion of refined hedge algebras and a model of fuzziness of linguistic terms and hedges, Fuzzy Sets and Systems, 158, 436-451 (2007) · Zbl 1108.68117
[39] Hohle, U., Commutative residuated L-monoids, (Hohle, U.; Klement, E. P., Non-Classical Logics and Their Applications to Fuzzy Subsets (1995), Kluwer: Kluwer Boston), 53-106 · Zbl 0838.06012
[40] Kundu, S.; Chen, J., Fuzzy logic or Łukasiewicz logic: a clarification, Fuzzy Sets and Systems, 95, 369-379 (1998) · Zbl 0924.03031
[41] Lai, J.; Xu, Y., Linguistic truth-valued lattice-valued propositional logic system LP(X) based on linguistic truth-valued lattice implication algebra, Information Sciences, 180, 10, 1990-2002 (2010) · Zbl 1198.03031
[42] Li, X. B.; Ruan, D.; Liu, J.; Xu, Y., A linguistic lattice-value approach for fuzzy multi-objective decision making, Journal of Multiple-Valued Logic and Soft Computing, 14, 3-5, 233-249 (2007)
[43] Li, X. B.; Ruan, D.; Liu, J.; Xu, Y., A linguistic-valued weighted aggregation operator to multiple attribute group decision making with quantitative and qualitative information, International Journal of Computational Intelligence Systems, 1, 3, 274-284 (2008)
[46] Liu, J.; Ruan, D.; Carchon, R., Synthesis and evaluation analysis of the indicator information in nuclear safeguards applications by computing with words, International Journal of Applied Mathematics and Computer Science, 12, 3, 449-462 (2002)
[49] Liu, J.; Martínez, L.; Wang, H.; Rodríquez, R. M.; Novozhilov, V., Computing with words in risk assessment, International Journal of Computational Intelligence Systems, 3, 4, 396-419 (2010)
[50] Lu, Z.; Augusto, J. C.; Liu, J.; Wang, H., A linguistic truth-valued temporal reasoning system (LTR) and its application to the design of an intelligent environment, International Journal of Computational Intelligence Systems, 5, 1, 173-196 (2012)
[51] Martínez, L.; Ruan, D.; Herrera, F., Computing with words in decision support systems: an overview on models and applications, International Journal of Computational Intelligence Systems, 3, 4, 382-395 (2010)
[52] Martınez, L.; Herrera, F., An overview on the 2-tuple linguistic model for computing with words in decision making: extensions, applications and challenges, Information Sciences, 207, 1-18 (2012)
[54] Meng, D.; Jia, H.; Zhang, Z.; Xu, Y., Linguistic truth-value lattice-valued logic system with important coefficient and its application to evaluation system, International Journal of Computer Science and Network Security, 6, 6, 1-6 (2006)
[55] Montero, J.; Cappelle, B.; Kerre, E. E., The usefulness of complete lattices in reliability theory, (Onisawa, T.; Kacprzyck, J., Reliability and Safety Analyses under Fuzziness (1995), Pysica-Verlag: Pysica-Verlag Heidelberg), 95-110 · Zbl 0901.90096
[56] Novák, V., First-order fuzzy logic, Studia Logica, 46, 1, 87-109 (1982) · Zbl 0632.03021
[57] Novák, V., Fuzzy Sets and Their Applications (1989), Adam Hilger: Adam Hilger Bristol · Zbl 0683.94018
[58] Novák, V.; Perfilieva, I.; Mockor, J., Mathematical Principles of Fuzzy Logic (2000), Dordrecht: Kluwer
[59] Novák, V., Are fuzzy sets a reasonable tool for modelling vague phenomena, Fuzzy Sets and Systems, 156, 3, 341-348 (2005) · Zbl 1084.03043
[60] Novák, V., Which logic is the real fuzzy logic, Fuzzy Sets and Systems, 157, 635-641 (2006) · Zbl 1100.03013
[61] Palomares, I.; Liu, J.; Xu, Y.; Martínez, L., Modelling experts’ attitudes in group decision making, Soft Computing, 16, 10, 1755-1766 (2012) · Zbl 1269.91033
[62] Parreiras, R. O.; Ekel, P.; Bernardes, F., A dynamic consensus scheme based on a nonreciprocal fuzzy preference relation modeling, Information Sciences, 211, 0, 1-17 (2012)
[64] Pei, D. W., Fuzzy logic algebras on residuated lattices, Southeast Asian Bulletin of Mathematics, 28, 519-531 (2004) · Zbl 1061.03078
[66] Pei, Z., The algebraic properties of linguistic value “Truth” and its reasoning, (Lecture Notes in Artificial Intelligence (IFSA2007), vol. 4529 (2007), Springer), 436-444 · Zbl 1202.68428
[67] Pei, Z.; Ruan, D.; Liu, J.; Xu, Y., Linguistic Values-Based Intelligent Information Processing: Theory, Methods, and Applications (2009), Atlantis Press: Atlantis Press Paris · Zbl 1204.68232
[68] Pei, Z.; Ruan, D.; Liu, J.; Xu, Y., An linguistic aggregation operator with three kinds of weights for nuclear safeguards evaluation, Knowledge-Based Systems, 28, 19-26 (2012)
[69] Rasiowa, H., An Algebraic Approach to Non-classical Logic (1974), North-Holland: North-Holland Amsterdam · Zbl 0339.68009
[70] Rodríguez, R. M.; Martínez, L., An analysis of symbolic linguistic computing models in decision making, International Journal of General Systems, 42, 1, 121-136 (2013) · Zbl 06200701
[71] Rodríguez, R. M.; Martínez, L.; Herrera, F., A group decision making model dealing with comparative linguistic expressions based on hesitant fuzzy linguistic term sets, Information Sciences, 241, 1, 28-42 (2013) · Zbl 1320.91050
[73] Ruan, D.; Liu, J.; Carchon, R., Linguistic assessment approach for managing nuclear safeguards indicator information, International Journal of Logistics Information Management, 16, 6, 401-419 (2003)
[74] Turunen, E., Algebraic structures in fuzzy logic, Fuzzy Sets and Systems, 52, 181-188 (1992) · Zbl 0791.03010
[75] Torra, V., The weighted OWA operator, International Journal of Intelligent Systems, 12, 153-166 (1997) · Zbl 0867.68089
[76] Torra, V.; Narukawa, Y., A view of averaging aggregation operators, IEEE Transactions on Fuzzy Systems, 15, 6, 1063-1067 (2007)
[77] Wang, G. J., Non-Classical Mathematical Logic and Approximate Reasoning (2000), Science Press: Science Press Beijing, (in Chinese)
[78] Wang, P. P., Computing With Words (2001), John Wiley and Sons: John Wiley and Sons Chichester
[79] Wang, J. H.; Hao, J., A new version of 2-tuple fuzzy linguistic representation model for computing with words, IEEE Transactions on Fuzzy Systems, 14, 3, 435-445 (2006)
[80] Pedrycz, W., Granular Computing: Analysis and Design of Intelligent Systems (2013), CRC Press/Francis Taylor: CRC Press/Francis Taylor Boca Raton
[81] Xu, Z., A method based on linguistic aggregation operators for group decision making with linguistic preference relations, Information Sciences, 166, 19-30 (2004) · Zbl 1101.68849
[82] Xu, Y.; Ruan, D.; Qin, K. Y.; Liu, J., Lattice-Valued Logic: An Alternative Approach to Treat Fuzziness and Incomparability (2003), Springer-Verlag: Springer-Verlag Heidelberg · Zbl 1048.03003
[85] Yager, R. R., A new methodology for ordinal multiobjective decisions based on fuzzy sets, Decision Sciences, 12, 589-600 (1981)
[86] Yager, R. R., Non-numeric multi-criteria multi-person decision making, Group Decision and Negotiation, 2, 1, 81-93 (1993)
[87] Yager, R. R., An approach to ordinal decision making, International Journal of Approximate Reasoning, 12, 237-261 (1995) · Zbl 0870.68137
[88] Yager, R. R., On weighted median aggregation, International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2, 101-113 (1994) · Zbl 1232.68150
[89] Yager, R. R., Fusion of ordinal information using weighted median aggregation, International Journal of Approximate Reasoning, 18, 35-52 (1998) · Zbl 0942.68043
[90] Zadeh, L. A., Fuzzy sets, Information and Control, 8, 3, 338-353 (1965) · Zbl 0139.24606
[92] Zadeh, L. A., Fuzzy logic=computing with words, IEEE Transactions on Fuzzy Systems, 4, 2, 103-111 (1996)
[93] Zadeh, L. A., From computing with numbers to computing with words-from manipulation of measurements to manipulation of perceptions, IEEE Transactions on Circuits and Systems, 45, 1, 105-119 (1999) · Zbl 0954.68513
[95] Zou, L.; Ruan, D.; Pei, Z.; Xu, Y., A linguistic truth-valued reasoning approach in decision making with incomparable information, Journal of Intelligent and Fuzzy Systems, 9, 4-5, 335-343 (2008) · Zbl 1160.68587
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.