×

Is there a need for fuzzy logic? (English) Zbl 1148.68047

This 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.

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)
PDFBibTeX XMLCite
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, (Ganter, B.; Kwuida, L., ICFCA 2006. ICFCA 2006, Lecture Notes in Artificial Intelligence, vol. 3874 (2006), Springer-Verlag: Springer-Verlag Heidelberg), 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] (Bezdek, J.; Pal, S., Fuzzy Models for Pattern Recognition - Methods that Search for Structures in Data (1992), IEEE Press: IEEE Press New York)
[8] (Bouchon-Meunier, B.; Yager, R. R.; Zadeh, L. A., Uncertainty in Intelligent and Information Systems. Uncertainty in Intelligent and Information Systems, Advances in Fuzzy Systems - Applications and Theory, vol. 20 (2000), World Scientific: World Scientific Singapore)
[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: 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: Springer-Verlag Berlin Heidelberg
[13] Dubois, D.; Prade, H., Fuzzy Sets and Systems - Theory and Applications (1980), Academic Press: 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: 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] (Dubois, D.; Prade, H., Fuzzy Information Engineering: A Guided Tour of Applications (1996), John Wiley and Sons)
[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, (International Symposium on Multiple Valued Logic. International Symposium on Multiple Valued Logic, ISMVL’91 (1991)), 72-79
[25] Goodman, I. R.; Nguyen, H. T., Uncertainty Models for Knowledge-Based Systems (1985), North Holland: North Holland Amsterdam
[26] Haack, S., Deviant Logic Fuzzy Logic - Beyond the Formalism (1974), The University of Chigaco Press: The University of Chigaco Press Chicago · Zbl 0865.03003
[27] Hajek, P., Metamathematics of Fuzzy Logic (1998), Kluwer: Kluwer Dordrecht · Zbl 0937.03030
[28] (Hirota, K.; Sugeno, M., Industrial Applications of Fuzzy Technology in the World. Industrial Applications of Fuzzy Technology in the World, Advances in Fuzzy Systems - Applications and Theory, vol. 2 (1995), World Scientific: World Scientific Singapore)
[29] Höppner, F.; Klawonn, F.; Kruse, R.; Runkler, T., Fuzzy Cluster Analysis (1999), Wiley
[30] (Jamshidi, M.; Titli, A.; Zadeh, L. A.; Boverie, S., Applications of Fuzzy Logic - Towards High Machine Intelligence Quotient Systems. Applications of Fuzzy Logic - Towards High Machine Intelligence Quotient Systems, Environmental and Intelligent Manufacturing Systems Series, vol. 9 (1997), Prentice Hall: Prentice Hall Upper Saddle River, NJ)
[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.; 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] (Kacprzyk, J.; Zadeh, L. A., Computing with Words in Information/Intelligent Systems. Part 1. Foundations (1999), Physica-Verlag (Springer-Verlag): Physica-Verlag (Springer-Verlag) Heidelberg and New York) · Zbl 0931.00023
[33] (Kacprzyk, J.; Zadeh, L. A., Computing with Words in Information/Intelligent Systems. Part 2. Applications (1999), Physica-Verlag (Springer-Verlag): Physica-Verlag (Springer-Verlag) Heidelberg and New York) · Zbl 0931.00023
[34] (Kandel, A.; Langholz, G., Fuzzy Control Systems (1994), CRC Press: CRC Press Boca Raton, Florida) · Zbl 0941.00502
[35] Klir, G. J., Uncertainty and Information: Foundations of Generalized Information Theory (2006), Wiley-Interscience: 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: 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] (Lawry, J.; Shanahan, J. G.; Ralescu, A. L., Modelling with Words - Learning, Fusion, and Reasoning within a Formal Linguistic Representation Framework (2003), Springer)
[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: 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: 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: Morgan Kaufmann Publishers San Mateo, CA
[47] Novak, V.; Perfilieva, I.; Mockor, J., Mathematical Principles of Fuzzy Logic (1999), Kluwer: Kluwer Boston/Dordrecht · Zbl 0940.03028
[48] Novak, V., Perception-based logical deduction, (Reusch, B., Computational Intelligence, Theory and Applications (2005), Springer: Springer Berlin), 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, (Wang, P.; Ruan, D.; Kerre, E., Fuzzy Logic - A Spectrum of Theoretical & Practical Issues (2007), Elsevier: Elsevier Berlin), 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: 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, (Hawkes, P. W., Advances in Images and Electron Physics, vol. 147 (2007), Elsevier Academic Press: Elsevier Academic Press San Diego), 137-196
[55] Puri, M. L.; Ralescu, D. A., Fuzzy Random Variables Fuzzy Sets for Intelligent Systems (1993), Morgan Kaufmann Publishers: 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 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, (Gupta, MM.; Sanchez, E., Fuzzy Information and Decision Processes (1982), North Holland: North Holland Amsterdam), 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., (Albus, J.; Meystel, A.; Zadeh, L. A., Computing with Words (2001), Wiley)
[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: Chapman & Hall London · Zbl 0732.62004
[68] (Yager, R. R.; Zadeh, L. A., An Introduction to Fuzzy Logic Applications in Intelligent Systems (1992), Kluwer Academic Publishers) · Zbl 0755.68018
[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] (Yen, J.; Langari, R.; Zadeh, L. A., Industrial Applications of Fuzzy Logic and Intelligent Systems (1995), IEEE) · Zbl 0864.00015
[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: 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: 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, (Gottinger, H., Systems Approaches and Environment Problems (1974), Vandenhoeck and Ruprecht: Vandenhoeck and Ruprecht Gottingen), 23-37 · Zbl 0263.02028
[81] Zadeh, L. A., The concept of a linguistic variable and its application to approximate reasoning. Part III, Information Sciences, 9, 43-80 (1975) · Zbl 0404.68075
[82] Zadeh, L. A., Calculus of fuzzy restrictions, (Zadeh, L. A.; Fu, K. S.; Tanaka, K.; Shimura, M., Fuzzy Sets and Their Applications to Cognitive and Decision Processes (1975), Academic Press: Academic Press New York), 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, (Gupta, M.; Ragade, R.; Yager, R., Advances in Fuzzy Set Theory and Applications (1979), North-Holland Publishing Co.: North-Holland Publishing Co. Amsterdam), 3-18 · Zbl 0377.04002
[88] Zadeh, L. A., A theory of approximate reasoning, (Hayes, J.; Michie, D.; Mikulich, L. I., Machine Intelligence 9 (1979), Halstead Press: Halstead Press New York), 149-194
[89] Zadeh, L. A., Possibility theory and soft data analysis, (Cobb, L.; Thrall, R. M., Mathematical Frontiers of the Social and Policy Sciences (1981), Westview Press, CO: Westview Press, CO Boulder), 69-129
[90] Zadeh, L. A., Test-score semantics for natural languages and meaning representation via PRUF, (Rieger, B., Empirical Semantics (1982), Brockmeyer: Brockmeyer Bochum, W. Germany), 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.; 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, (Vaina, L.; Hintikka, J., Cognitive Constraints on Communication (1984), Reidel: Reidel Dordrecht), 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, (Thoma, M.; Wyner, A., Proceedings of the International Seminar on Artificial Intelligence and Man-Machine Systems (1986), Springer-Verlag: Springer-Verlag Heidelberg), 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, (Sinha, N. K.; Gupta, M. M.; Zadeh, Lotfi A., Soft Computing & Intelligent Systems: Theory and Applications (2000), Academic Press: Academic Press London), 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, (Sanchez, Elie, Fuzzy Logic and the Semantic Web (2006), Elsevier), 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. 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.