The paradoxical success of fuzzy logic

Fuzzy logic methods have been used successfully in many real-world applications, but the foundations of fuzzy logic remain under attack. Taken together, these two facts constitute a paradox. A second paradox is that almost all of the successful fuzzy logic applications are embedded controllers, while most of the theoretical papers on fuzzy methods deal with knowledge representation and reasoning. I hope to resolve these paradoxes by identifying which aspects of fuzzy logic render it useful in practice, and which aspects are inessential. My conclusions are based on a mathematical result, on a survey of literature on the use of fuzzy logic in heuristic control and in expert systems, and on practical experience in developing expert systems.<<ETX>>

[1]  John B. Shoven,et al.  I , Edinburgh Medical and Surgical Journal.

[2]  B. D. Finetti,et al.  La Logique de la Probabilite , 1937 .

[3]  M. Partridge Editor , 1960 .

[4]  Bruno Scarpellini Die Nichtaxiomatisierbarkeit des Unendlichwertigen Pradikatenkalkuls von Lukasiewicz , 1962, J. Symb. Log..

[5]  Donald A. Waterman,et al.  Generalization Learning Techniques for Automating the Learning of Heuristics , 1970, Artif. Intell..

[6]  Richard C. T. Lee Fuzzy Logic and the Resolution Principle , 1971, JACM.

[7]  Lotfi A. Zadeh,et al.  Outline of a New Approach to the Analysis of Complex Systems and Decision Processes , 1973, IEEE Trans. Syst. Man Cybern..

[8]  Hans Hermes,et al.  Introduction to mathematical logic , 1973, Universitext.

[9]  Ebrahim Mamdani,et al.  Applications of fuzzy algorithms for control of a simple dynamic plant , 1974 .

[10]  I. Lakatos,et al.  Proofs and Refutations: Frontmatter , 1976 .

[11]  Imre Lakatos,et al.  On the Uses of Rigorous Proof. (Book Reviews: Proofs and Refutations. The Logic of Mathematical Discovery) , 1977 .

[12]  Willett Kempton,et al.  Category grading and taxonomic relations: a mug is a sort of a cup , 1978 .

[13]  R. Yager ON THE MEASURE OF FUZZINESS AND NEGATION Part I: Membership in the Unit Interval , 1979 .

[14]  Dirk van Dalen,et al.  Logic and structure , 1980 .

[15]  R. Yager On a general class of fuzzy connectives , 1980 .

[16]  K. Adlassnig A Fuzzy Logical Model of Computer-Assisted Medical Diagnosis , 1980, Methods of Information in Medicine.

[17]  E. H. Mamdani,et al.  Process Control Using Fuzzy Logic , 1980 .

[18]  Didier Dubois,et al.  New Results about Properties and Semantics of Fuzzy Set-Theoretic Operators , 1980 .

[19]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[20]  G. Miller,et al.  Cognitive science. , 1981, Science.

[21]  B. Chandrasekaran,et al.  Conceptual Representation of Medical Knowledge for Diagnosis by Computer: MDX and Related Systems , 1983, Adv. Comput..

[22]  Brian R. Gaines,et al.  Precise Past - Fuzzy Future , 1983, Int. J. Man Mach. Stud..

[23]  L. Zadeh The role of fuzzy logic in the management of uncertainty in expert systems , 1983 .

[24]  B. C. Brookes,et al.  Information Sciences , 2020, Cognitive Skills You Need for the 21st Century.

[25]  James F. Baldwin,et al.  A fuzzy relational inference language , 1984 .

[26]  C. V. Negoiţă,et al.  Expert systems and fuzzy systems , 1985 .

[27]  Michio Sugeno,et al.  Fuzzy identification of systems and its applications to modeling and control , 1985, IEEE Transactions on Systems, Man, and Cybernetics.

[28]  K. Adlassnig,et al.  Representation and semiautomatic acquisition of medical knowledge in CADIAG-1 and CADIAG-2. , 1986, Computers and biomedical research, an international journal.

[29]  Editors , 1986, Brain Research Bulletin.

[30]  B. Chandrasekaran,et al.  Generic Tasks in Knowledge-Based Reasoning: High-Level Building Blocks for Expert System Design , 1986, IEEE Expert.

[31]  I. Turksen Interval valued fuzzy sets based on normal forms , 1986 .

[32]  Klaus-Peter Adlassnig,et al.  Fuzzy Set Theory in Medical Diagnosis , 1986, IEEE Transactions on Systems, Man, and Cybernetics.

[33]  Henri Prade,et al.  Approximate Reasoning in a Rule-Based Expert System using Possibility Theory: A Case Study , 1986, IFIP Congress.

[34]  M. Fitting Review: Dirk van Dalen, Logic and Structure; Dirk van Dalen, Logic and Structure , 1986 .

[35]  K. Adlassnig,et al.  Approach to a hospital-based application of a medical expert system. , 1986, Medical informatics = Medecine et informatique.

[36]  Piero P. Bonissone,et al.  RUM: A Layered Architecture for Reasoning with Uncertainty , 1987, IJCAI.

[37]  Lokendra Shastri,et al.  Learning Phonetic Features Using Connectionist Networks , 1987, IJCAI.

[38]  Kathy H. Abbott,et al.  Robust Operative Diagnosis as Problem Solving in a Hypothesis Space , 1988, AAAI.

[39]  E. T. Jaynes,et al.  How Does the Brain Do Plausible Reasoning , 1988 .

[40]  Kelly A. Shaw,et al.  A Classification of Designated Logic Systems , 1988 .

[41]  Peter C. Cheeseman,et al.  An inquiry into computer understanding , 1988, Comput. Intell..

[42]  M. Sugeno,et al.  Fuzzy algorithmic control of a model car by oral instructions , 1989 .

[43]  T. Yamakawa Stablization of an inverted pendulum by a high-speed fuzzy logic controller hardware system , 1989 .

[44]  Erik Sandewall,et al.  Combining Logic and Differential Equations for Describing Real-World Systems , 1989, KR.

[45]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[46]  Lluis Godo,et al.  MILORD: The architecture and the management of linguistically expressed uncertainty , 1989, Int. J. Intell. Syst..

[47]  Ryszard S. Michalski,et al.  The Logic of Plausible Reasoning: A Core Theory , 1989, Cogn. Sci..

[48]  Kwong-Sak Leung,et al.  Applications of a novel fuzzy expert system shell , 1989 .

[49]  B. Kosko Fuzziness vs. probability , 1990 .

[50]  Lotfi A. Zadeh,et al.  Please Scroll down for Article International Journal of General Systems Fuzzy Sets and Systems* Fuzzy Sets and Systems* , 2022 .

[51]  I. Graham Non-standard logics for automated reasoning , 1990 .

[52]  Kejitan Dontas,et al.  APPLAUSE: An implementation of the Collins-Michalski theory of plausible reasoning , 1990, Inf. Sci..

[53]  Jeffrey L. Elman,et al.  Finding Structure in Time , 1990, Cogn. Sci..

[54]  Chuen-Chien Lee,et al.  Fuzzy logic in control systems: fuzzy logic controller. II , 1990, IEEE Trans. Syst. Man Cybern..

[55]  Atsushi Morimura,et al.  Automatic image stabilizing system by full-digital signal processing , 1990 .

[56]  Halbert White,et al.  Connectionist nonparametric regression: Multilayer feedforward networks can learn arbitrary mappings , 1990, Neural Networks.

[57]  Ramon López de Mántaras,et al.  Approximate Reasoning Models , 1990 .

[58]  Piero P. Bonissone,et al.  MARS: A mergers and acquisitions reasoning system , 1990 .

[59]  Didier Dubois,et al.  An introduction to possibilistic and fuzzy logics , 1990 .

[60]  P. Walley Statistical Reasoning with Imprecise Probabilities , 1990 .

[61]  Enrique H. Ruspini,et al.  Approximate reasoning: Past, present, future , 1991, Inf. Sci..

[62]  Abraham Kandel,et al.  Fuzzy Expert Systems , 1991 .

[63]  R. A. Brooks,et al.  Intelligence without Representation , 1991, Artif. Intell..

[64]  Didier Dubois,et al.  Epistemic Entrenchment and Possibilistic Logic , 1991, Artif. Intell..

[65]  W. Pedrycz Fuzzy modelling: fundamentals, construction and evaluation , 1991 .

[66]  Philippe Smets,et al.  Varieties of ignorance and the need for well-founded theories , 1991, Inf. Sci..

[67]  Claude Sammut,et al.  Controlling a Black-Box Simulation of a Spacecraft , 1991, AI Mag..

[68]  N. Serdar Uckun,et al.  Organizing and Understanding Beliefs in Advice-Giving Diagnostic Systems , 1991, IEEE Trans. Knowl. Data Eng..

[69]  R. Yager Connectives and quantifiers in fuzzy sets , 1991 .

[70]  I. Graham Fuzzy logic in commercial expert system-results and prospects , 1991 .

[71]  Kwang Y. Lee,et al.  Improved nuclear reactor temperature control using diagonal recurrent neural networks , 1992 .

[72]  Hamid R. Berenji,et al.  Learning and tuning fuzzy logic controllers through reinforcements , 1992, IEEE Trans. Neural Networks.

[73]  Piero P. Bonissone,et al.  Automated fuzzy knowledge base generation and tuning , 1992, [1992 Proceedings] IEEE International Conference on Fuzzy Systems.

[74]  B. Chandrasekaran,et al.  QP IS MORE THAN SPQR AND DYNAMICAL SYSTEMS THEORY: RESPONSE TO SACKS AND DOYLE , 1992, Comput. Intell..

[75]  Lotfi A. Zadeh,et al.  The Calculus of Fuzzy If/Then Rules , 1992, Fuzzy Days.

[76]  D. Dubois,et al.  Possibility theory as a basis for preference propagation in automated reasoning , 1992, [1992 Proceedings] IEEE International Conference on Fuzzy Systems.

[77]  Ronald R. Yager,et al.  Implementing fuzzy logic controllers using a neural network framework , 1992 .

[78]  H. Zimmermann,et al.  Advanced fuzzy logic control of a model car in extreme situations , 1992 .

[79]  Didier Dubois,et al.  Gradual inference rules in approximate reasoning , 1992, Inf. Sci..

[80]  M. N. Karim,et al.  Comparison of feed-forward and recurrent neural networks for bioprocess state estimation , 1992 .

[81]  Trevor P Martin,et al.  Fast operations on fuzzy sets in the abstract Fril machine , 1992, [1992 Proceedings] IEEE International Conference on Fuzzy Systems.

[82]  Lluís Godo,et al.  Modularity, uncertainty and reflection in MILORD II , 1992, [Proceedings] 1992 IEEE International Conference on Systems, Man, and Cybernetics.

[83]  Francesco Fulvio Monai,et al.  Possibilistic Assumption based Truth Maintenance System, Validation in a Data Fusion Application , 1992, UAI.

[84]  T. Vámos,et al.  Judea pearl: Probabilistic reasoning in intelligent systems , 1992, Decision Support Systems.

[85]  Kazuo Tanaka,et al.  Stability analysis and design of fuzzy control systems , 1992 .

[86]  Lotfi A. Zadeh,et al.  Fuzzy logic and the calculus of fuzzy if-then rules , 1992, [1992] Proceedings The Twenty-Second International Symposium on Multiple-Valued Logic.

[87]  L. Bolc,et al.  Many-Valued Logics , 1992 .

[88]  Hamid R. Berenji,et al.  A reinforcement learning--based architecture for fuzzy logic control , 1992, Int. J. Approx. Reason..

[89]  James M. Keller,et al.  Backpropagation neural networks for fuzzy logic , 1992, Inf. Sci..

[90]  Kurt Konolige,et al.  Blending reactivity and goal-directedness in a fuzzy controller , 1993, [Proceedings 1993] Second IEEE International Conference on Fuzzy Systems.

[91]  Robert N. Lea,et al.  Space shuttle attitude control by reinforcement learning and fuzzy logic , 1993, [Proceedings 1993] Second IEEE International Conference on Fuzzy Systems.

[92]  L. Valverde,et al.  ON MODE AND IMPLICATION IN APPROXIMATE REASONING , 1993 .

[93]  J. Buckley,et al.  Fuzzy input-output controllers are universal approximators , 1993 .

[94]  Mo M. Jamshidi,et al.  A Tutorial on Fuzzy Rule-Based Expert System (Frbes) Models, 1: Mathematical Foundations , 1993, J. Intell. Fuzzy Syst..

[95]  Pei-Zhuang Wang,et al.  Fuzzy set operations based on the theory of falling shadows , 1993 .

[96]  M. Sugeno FUZZY MEASURES AND FUZZY INTEGRALS—A SURVEY , 1993 .

[97]  Adam Cunningham,et al.  Computer-Aided Parts Estimation , 1993, AI Mag..

[98]  K. Adlassnig,et al.  On the applicability of diagnostic criteria for the diagnosis of rheumatoid arthritis in an expert system , 1993 .

[99]  George Gallant,et al.  Digitized Expert PICTures (DEPICT): An Intelligent Information Repository , 1993, IAAI.

[100]  Charles Elkan,et al.  A multimedia expert system for wafer polisher maintenance , 1993, Proceedings of 9th IEEE Conference on Artificial Intelligence for Applications.

[101]  H. Zimmermann,et al.  Fuzzy Set Theory and Its Applications , 1993 .

[102]  Pei-Zhuang Wang,et al.  Fuzzy inference relation based on the theory of falling shadows , 1993 .

[103]  Donald D. Pierson,et al.  Diagnostic Yield Characterization Expert (DYCE) - A Diagnostic Knowledge Based System Shell for Automated Data Analysis , 1993, IAAI.

[104]  Charles Elkan,et al.  Categorization-based diagnostic problem solving in the VLSI design domain , 1993, Proceedings of 9th IEEE Conference on Artificial Intelligence for Applications.

[105]  Arthur J. Levy,et al.  Dodger, a Diagnostic Expert System for the Evaluation of Nondestructive Test Data , 1993, IAAI.

[106]  W. J. Parkinson,et al.  Using an expert system to explore enhanced oil recovery methods , 1994 .

[107]  Peter W. Eklund,et al.  Fuzzy Logic and Fuzzy Control: IJCAI '91 Workshops on Fuzzy Logic and Fuzzy Control, Sydney, Australia, August 24, 1991. Proceedings , 1994 .

[108]  Lotfi A. Zadeh,et al.  Fuzzy logic, neural networks, and soft computing , 1993, CACM.

[109]  Hao Ying,et al.  Essentials of fuzzy modeling and control , 1995 .

[110]  I. Turksen Fuzzy normal forms , 1995 .

[111]  Ronald R. Yager,et al.  Uninorm aggregation operators , 1996, Fuzzy Sets Syst..

[112]  Lotfi A. Zadeh,et al.  On the analysis of large-scale systems , 1996 .