Is there a need for fuzzy logic?

*(English)*Zbl 1148.68047This paper’s first part surveys the core ideas which the author has developed to build up what he calls fuzzy logic, and what should clearly be distinguished from mathematical fuzzy logics: it is a bunch of partly heuristic methods to transform natural language based, and hence often vague, information into a computer-accessible form. Core ideas are the graduation, the granulation, and certain forms of specification of information.

The author gives here in a unified form the most important ideas for the development of this field which he offered mainly during the last decade, building upon ideas which first had been presented in the 1970s.

In a second part, well realized as well as potential applications are sketched, with main focus on various forms of natural language processing. It is those AI-related applications which seem to call for a more mathematical treatment of those ideas.

The author gives here in a unified form the most important ideas for the development of this field which he offered mainly during the last decade, building upon ideas which first had been presented in the 1970s.

In a second part, well realized as well as potential applications are sketched, with main focus on various forms of natural language processing. It is those AI-related applications which seem to call for a more mathematical treatment of those ideas.

Reviewer: Siegfried J. Gottwald (Leipzig)

##### MSC:

68T37 | Reasoning under uncertainty in the context of artificial intelligence |

03B52 | Fuzzy logic; logic of vagueness |

68T50 | Natural language processing |

93C42 | Fuzzy control/observation systems |

94D05 | Fuzzy sets and logic (in connection with information, communication, or circuits theory) |

##### Keywords:

fuzzy logic; uncertainty; approximate reasoning; natural language processing; fuzzy control; fuzzy modeling
Full Text:
DOI

##### References:

[1] | Aliev, R.A.; Fazlollahi, B.; Aliev, R.R.; Guirimov, B.G., Fuzzy time series prediction method based on fuzzy recurrent neural network, Lecture notes in computer science (LNCS), 860-869, (2006) |

[2] | Bargiela, A.; Pedrycz, W., Granular computing, (2002), Kluwer Academic Publishers · Zbl 1101.68485 |

[3] | Bardossy, A.; Duckstein, L., Fuzzy rule-based modelling with application to geophysical, biological and engineering systems, (1995), CRC Press · Zbl 0857.92001 |

[4] | Bellman, R.E.; Zadeh, L.A., Decision-making in a fuzzy environment, Management science, 17, B-141-B-164, (1970) · Zbl 0224.90032 |

[5] | Belohlavek, R.; Vychodil, V., Attribute implications in a fuzzy setting, (), 45-60 · Zbl 1177.68203 |

[6] | Bezdek, J.; Keller, J.M.; Krishnapuram, R.; Pal, N.R., Fuzzy models and algorithms for pattern recognition and image processing, (1999), Boston · Zbl 0998.68138 |

[7] | () |

[8] | () |

[9] | Colubi, A.; Santos Domínguez-Menchero, J.; López-Díaz, M.; Ralescu, D.A., On the formalization of fuzzy random variables, Information sciences, 133, 1-2, 3-6, (2001) · Zbl 0988.28008 |

[10] | Cresswell, M.J., Logic and languages, (1973), Methuen London, UK · Zbl 0287.02009 |

[11] | Dempster, A.P., Upper and lower probabilities induced by a multivalued mapping, Annals of mathematical statistics, 38, 325-329, (1967) · Zbl 0168.17501 |

[12] | Driankov, D.; Hellendoorn, H.; Reinfrank, M., An introduction to fuzzy control, (1993), Springer-Verlag Berlin Heidelberg |

[13] | Dubois, D.; Prade, H., Fuzzy sets and systems – theory and applications, (1980), Academic Press New York · Zbl 0444.94049 |

[14] | Dubois, D.; Prade, H., A class of fuzzy measures based on triangular norm, A general framework for the combinations of uncertain information, (1982) · Zbl 0537.93003 |

[15] | Dubois, D.; Prade, H., Possibility theory, (1988), Plenum Press New York · Zbl 0645.68108 |

[16] | Dubois, D.; Prade, H., Non-standard theories of uncertainty in knowledge representation and reasoning, Kr, 634-645, (1994) |

[17] | () |

[18] | Elkan, C., The paradoxical success of fuzzy logic, IEEE expert, 3-8, (1994), With Fifteen Responses on pp. 9-46. First Version in AAAI’93 Proceedings, pp. 698-703 · Zbl 1009.03517 |

[19] | Esteva, F.; Godo, L., Towards the generalization of mundici’s gamma functor to IMTL algebras: the linearly ordered case, Algebraic and proof-theoretic aspects of non-classical logics, 127-137, (2006) · Zbl 1122.03064 |

[20] | Filev, D.; Yager, R.R., Essentials of fuzzy modeling and control, (1994), Wiley-Interscience |

[21] | Gasimov, R.N.; Yenilmez, K., Solving fuzzy linear programming problems with linear membership functions, Turkish journal of mathematics, 26, 375-396, (2002) · Zbl 1022.90044 |

[22] | Gerla, G., Fuzzy control as a fuzzy deduction system, Fuzzy sets and systems, 121, 3, 409-425, (2001) · Zbl 1136.93369 |

[23] | Gerla, G., Fuzzy logic programming and fuzzy control, Studia logica, 79, 2, 231-254, (2005) · Zbl 1079.93031 |

[24] | Godo, Ll.; Esteva, F.; García, P.; Agustí, J., A formal semantical approach to fuzzy logic, (), 72-79 |

[25] | Goodman, I.R.; Nguyen, H.T., Uncertainty models for knowledge-based systems, (1985), North Holland Amsterdam |

[26] | Haack, S., Deviant logic fuzzy logic – beyond the formalism, (1974), The University of Chigaco Press Chicago · Zbl 0865.03003 |

[27] | Hajek, P., Metamathematics of fuzzy logic, (1998), Kluwer Dordrecht · Zbl 0937.03030 |

[28] | () |

[29] | Höppner, F.; Klawonn, F.; Kruse, R.; Runkler, T., Fuzzy cluster analysis, (1999), Wiley |

[30] | () |

[31] | A. Jankowski, A. Skowron, Toward rough-granular computing, in: Proceedings of the 11th International Conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, (RSFDGrC’07), Toronto, Canada, 2007, pp. 1-12. |

[32] | () |

[33] | () |

[34] | () |

[35] | Klir, G.J., Uncertainty and information: foundations of generalized information theory, (2006), Wiley-Interscience Hoboken, NJ · Zbl 1280.94004 |

[36] | Kóczy, L.T., Fuzzy graphs in the evaluation and optimization of networks, Fuzzy sets and systems, 46, 3, 307-319, (1992) · Zbl 0761.05092 |

[37] | Kosko, B., Fuzzy engineering, (1997), Prentice Hall Upper Saddle River, NJ · Zbl 0895.94015 |

[38] | Lambert, K.; Van Fraassen, B.C., Meaning relations, possible objects and possible worlds, Philosophical problems in logic, 1-19, (1970) · Zbl 0188.32001 |

[39] | () |

[40] | Lin, T.Y., Granular computing: from rough sets and neighborhood systems to information granulation and computing in words, European congress on intelligent techniques and soft computing, 1602-1606, (1997) |

[41] | Liu, Y.; Luo, M., Fuzzy topology, Advances in fuzzy systems – applications and theory, vol. 9, (1997), World Scientific Singapore |

[42] | Mamdani, E.H.; Assilian, S., An experiment in linguistic synthesis with a fuzzy logic controller, International journal of man – machine studies, 7, 1-13, (1975) · Zbl 0301.68076 |

[43] | Mendel, J., Uncertain rule-based fuzzy logic systems – introduction and new directions, (2001), Prentice Hall Upper Saddle River, NJ · Zbl 0978.03019 |

[44] | Mordeson, J.N.; Nair, P.S., Fuzzy graphs and fuzzy hypergraphs, studies in fuzziness and soft computing, (2000), Springer |

[45] | Mukaidono, M.; Shen, Z.; Ding, L., Fundamentals of fuzzy prolog, International journal of approximate reasoning, 3, 2, 179-193, (1989) · Zbl 0666.68089 |

[46] | Nguyen, H.T., On modeling of linguistic information using random sets fuzzy sets for intelligent systems, (1993), Morgan Kaufmann Publishers San Mateo, CA |

[47] | Novak, V.; Perfilieva, I.; Mockor, J., Mathematical principles of fuzzy logic, (1999), Kluwer Boston/Dordrecht · Zbl 0940.03028 |

[48] | Novak, V., Perception-based logical deduction, (), 237-250 |

[49] | Novak, V., Which logic is the real fuzzy logic?, Fuzzy sets and systems, 157, 635-641, (2006) · Zbl 1100.03013 |

[50] | Novak, V., Mathematical fuzzy logic in modeling of natural language semantics, (), 145-182 |

[51] | Ogura, Y.; Li, S.; Kreinovich, V., Limit theorems and applications of set-valued and fuzzy set-valued random variables, (2002), Springer · Zbl 1348.60003 |

[52] | Orlov, A.I., Problems of optimization and fuzzy variables, (1980), Znaniye Moscow |

[53] | Pedrycz, W.; Gomide, F., Fuzzy systems engineering: toward human-centric computing, (2007), Wiley-IEEE Press |

[54] | Perfilieva, I., Fuzzy transforms: a challenge to conventional transforms, (), 137-196 |

[55] | Puri, M.L.; Ralescu, D.A., Fuzzy random variables fuzzy sets for intelligent systems, (1993), Morgan Kaufmann Publishers San Mateo, CA |

[56] | Reghis, M.; Roventa, E., Classical and fuzzy concepts in mathematical logic and applications, (1998), CRC-Press · Zbl 0944.03001 |

[57] | Ross, T.J., Fuzzy logic with engineering applications, (2004), Wiley & Sons · Zbl 1060.93007 |

[58] | Rossi, F.; Codognet, P., Soft constraints, Special issue on constraints, 8, 1, (2003) |

[59] | Schum, D., Evidential foundations of probabilistic reasoning, (1994), Wiley & Sons |

[60] | Shafer, G., A mathematical theory of evidence, (1976), Princeton University Press Princeton, NJ · Zbl 0359.62002 |

[61] | Trillas, Enric, On the use of words and fuzzy sets, Information sciences, 176, 11, 1463-1487, (2006) · Zbl 1098.03066 |

[62] | Wang, P.Z.; Sanchez, E., Treating a fuzzy subset as a projectable random set, (), 213-220 |

[63] | Türksen, I.B., Ontological and epistemological perspective of fuzzy set theory, Elsevier science and technology books, (2005) |

[64] | Türksen, I.B., Meta-linguistic axioms as a foundation for computing with words, Information sciences, 177, 2, 332-359, (2007) · Zbl 1111.68135 |

[65] | Wang, P., () |

[66] | Wang, Z.; Klir, G.J., Fuzzy measure theory, (1992), Springer · Zbl 0812.28010 |

[67] | Walley, P., Statistical reasoning with imprecise probabilities, (1991), Chapman & Hall London · Zbl 0732.62004 |

[68] | () |

[69] | Yamakawa, T., Stabilization of an inverted pendulum by a high-speed fuzzy logic controller hardware system, Fuzzy sets and systems, 32, 2, 161-180, (1989) |

[70] | () |

[71] | Yen, J.; Langari, R., Fuzzy logic: intelligence, control and information, (1998), Prentice Hall |

[72] | Ying, H., Fuzzy control and modeling – analytical foundations and applications, (2000), IEEE Press New York |

[73] | Ying, M., A new approach for fuzzy topology (I), Fuzzy sets and systems, 39, 3, 303-321, (1991) · Zbl 0718.54017 |

[74] | Zadeh, L.A., Fuzzy sets, Information and control, 8, 338-353, (1965) · Zbl 0139.24606 |

[75] | Zadeh, L.A., Fuzzy sets and systems Proceedings of the symposium on system theory, (1965), Polytechnic Institute of Brooklyn New York · Zbl 0139.24606 |

[76] | Zadeh, L.A., Quantitative fuzzy semantics, Information sciences, 3, 159-176, (1971) · Zbl 0218.02057 |

[77] | Zadeh, L.A., A fuzzy-set-theoretic interpretation of linguistic hedges, Journal of cybernetics, 2, 4-34, (1972) |

[78] | Zadeh, L.A., A rationale for fuzzy control, Journal of dynamic systems, measurement and control 94, series G, 3-4, (1972) |

[79] | Zadeh, L.A., Outline of a new approach to the analysis of complex systems and decision processes, IEEE transaction on systems man and cybernetics SMC-3, 28-44, (1973) · Zbl 0273.93002 |

[80] | Zadeh, L.A., On the analysis of large scale systems, (), 23-37 · Zbl 0263.02028 |

[81] | Zadeh, L.A.; Zadeh, L.A.; Zadeh, L.A., The concept of a linguistic variable and its application to approximate reasoning. part III, Information sciences, Information sciences, Information sciences, 9, 43-80, (1975) · Zbl 0404.68075 |

[82] | Zadeh, L.A., Calculus of fuzzy restrictions, (), 1-39 · Zbl 0327.02018 |

[83] | Zadeh, L.A., Fuzzy logic and approximate reasoning, Synthese, 30, 407-428, (1975) · Zbl 0319.02016 |

[84] | Zadeh, L.A., A fuzzy-algorithmic approach to the definition of complex or imprecise concepts, International journal of man – machine studies, 8, 249-291, (1976) · Zbl 0332.68068 |

[85] | Zadeh, L.A., Fuzzy sets as a basis for a theory of possibility, Fuzzy sets and systems, 1, 3-28, (1978) · Zbl 0377.04002 |

[86] | Zadeh, L.A., PRUF-a meaning representation language for natural languages, International journal of man – machine studies, 10, 395-460, (1978) · Zbl 0406.68063 |

[87] | Zadeh, L.A., Fuzzy sets and information granularity, (), 3-18 · Zbl 0377.04002 |

[88] | Zadeh, L.A., A theory of approximate reasoning, (), 149-194 |

[89] | Zadeh, L.A., Possibility theory and soft data analysis, (), 69-129 |

[90] | Zadeh, L.A., Test-score semantics for natural languages and meaning representation via PRUF, (), 281-349 |

[91] | L.A. Zadeh, Test-score semantics as a basis for a computational approach to the representation of meaning, in: Proceedings of the 10th Annual Conference of the Association for Literary and Linguistic Computing, 1983. |

[92] | Zadeh, L.A., A computational approach to fuzzy quantifiers in natural languages, Computers and mathematics, 9, 149-184, (1983) · Zbl 0517.94028 |

[93] | Zadeh, L.A., Precisiation of meaning via translation into PRUF, (), 373-402 |

[94] | Zadeh, L.A., Test-score semantics as a basis for a computational approach to the representation of meaning, Literary and linguistic computing, 1, 24-35, (1986) |

[95] | Zadeh, L.A., Outline of a computational approach to meaning and knowledge representation based on the concept of a generalized assignment statement, (), 198-211 |

[96] | Zadeh, L.A., Fuzzy logic and the calculi of fuzzy rules and fuzzy graphs, Multiple-valued logic, 1, 1-38, (1996) · Zbl 0906.03022 |

[97] | Zadeh, L.A., Toward a theory of fuzzy information granulation and its centrality in human reasoning and fuzzy logic, Fuzzy sets and systems, 90, 111-127, (1997) · Zbl 0988.03040 |

[98] | Zadeh, L.A., Some reflections on soft computing, granular computing and their roles in the conception, design and utilization of information/intelligent systems, Soft computing, 2, 23-25, (1998) |

[99] | 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, 105-119, (1999) · Zbl 0954.68513 |

[100] | Zadeh, L.A., Outline of a computational theory of perceptions based on computing with words, (), 3-22 |

[101] | Zadeh, L.A., A new direction in AI - toward a computational theory of perceptions, AI magazine, 22, 1, 73-84, (2001) |

[102] | Zadeh, L.A., Toward a perception-based theory of probabilistic reasoning with imprecise probabilities, Journal of statistical planning and inference, 105, 233-264, (2002) · Zbl 1010.62005 |

[103] | Zadeh, L.A., Precisiated natural language (PNL), AI magazine, 25, 3, 74-91, (2004) |

[104] | Zadeh, L.A., Toward a generalized theory of uncertainty (GTU) - an outline, Information sciences, 172, 1-40, (2005) · Zbl 1074.94021 |

[105] | Zadeh, L.A., From imprecise to granular probabilities, Fuzzy sets and systems, 154, 370-374, (2005) · Zbl 1106.60002 |

[106] | Zadeh, L.A., From search engines to question answering systems – the problems of world knowledge relevance deduction and precisiation, (), 163-210, (Chapter 9) |

[107] | Zadeh, L.A., Generalized theory of uncertainty (GTU) - principal concepts and ideas, Computational statistics & data analysis, 51, 15-46, (2006) · Zbl 1157.62312 |

[108] | Zimmermann, H.J., Fuzzy programming and linear programming with several objective functions, Fuzzy sets and systems, 1, 45-55, (1978) · Zbl 0364.90065 |

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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.