Foundations of fuzzy reasoning

This paper gives an overview of the theory of fuzzy sets and fuzzy reasoning as proposed and developed by Lotfi Zadeh. In particular it reviews the philosophical and logical antecedents and foundations for this theory and its applications. The problem of borderline cases in set theory and the two classical approaches ofpreeisifying them out, or admitting them as a third case, are discussed, leading to Zadeh's suggestion of continuous degrees of set membership. The extension of basic set operations to such fuzzy sets, and the relationship to other multivalued logics for set theory, are then outlined. Thefuzzification of mathematical structures leads naturally to the concepts of fuzzy logics and inference, and consideration of implication suggests Lukasiewicz infinite-valued logic as a base logic for fuzzy reasoning. The paradoxes of the barber, and of sorites, are then analysed to illustrate fuzzy reasoning in action and lead naturally to Zadeh's theory of linguistic hedges and truth. Finally, the logical, modeltheoretic and psychological derivations of numeric values in fuzzy reasoning are discussed, and the rationale behind interest in fuzzy reasoning is summarized.

[1]  C. Hooker,et al.  Formal Languages and the Foundations of Physics , 1978 .

[2]  Richard Bellman,et al.  Local and fuzzy logics , 1996 .

[3]  T. Pavlidis,et al.  Fuzzy sets and their applications to cognitive and decision processes , 1977 .

[4]  Huibert Kwakernaak,et al.  Rating and ranking of multiple-aspect alternatives using fuzzy sets , 1976, Autom..

[5]  B. Gaines.  SYSTEM IDENTIFICATION, APPROXIMATION AND COMPLEXITY , 1977 .

[6]  E. H. Mandami.  Application of Fuzzy Logic to Approximate Reasoning using Linguistic Synthesis , 1977 .

[7]  Brian R. Gaines,et al.  The Fuzzy Decade: A Bibliography of Fuzzy Systems and Closely Related Topics , 1977, Int. J. Man Mach. Stud..

[8]  Stephen Read,et al.  CONTEMPORARY RESEARCH IN PHILOSOPHICAL LOGIC AND LINGUISTIC SEMANTICS , 1976 .

[9]  Brian R. Gaines,et al.  Fuzzy reasoning and the logics of uncertainty , 1976 .

[10]  Fred Wenstøp,et al.  Deductive verbal models of organizations , 1976 .

[11]  Brian R. Gaines,et al.  Behaviour/structure transformations under uncertainty , 1976 .

[12]  Lotfi A. Zadeh,et al.  A fuzzy-algorithmic approach to the definition of complex or imprecise concepts , 1976 .

[13]  Stafford Beer.  Systematics A New Approach to System Analysis , 1976 .

[14]  Brian R. Gaines,et al.  On the Complexity of Causal Models , 1976, IEEE Transactions on Systems, Man, and Cybernetics.

[15]  Brian R. Gaines,et al.  PROTECTION AS A GENERAL SYSTEMS PROBLEM , 1976 .

[16]  Ebrahim H. Mamdani,et al.  An Experiment in Linguistic Synthesis with a Fuzzy Logic Controller , 1999, Int. J. Man Mach. Stud..

[17]  Robert E. Maydole.  Paradoxes and many-valued set theory , 1975, J. Philos. Log..

[18]  Thomas A. Brown,et al.  Elicitation of personal probabilities and their assessment , 1975 .

[19]  Arthur W. Burks,et al.  Logic, Biology and Automata - Some Historical Reflections , 1975, Int. J. Man Mach. Stud..

[20]  B. Gaines.  Stochastic and fuzzy logics , 1975 .

[21]  B. Hutton.  Normality in fuzzy topological spaces , 1975 .

[22]  Jon Dorling,et al.  THE STRUCTURE OF SCIENTIFIC INFERENCE* , 1975, The British Journal for the Philosophy of Science.

[23]  J. Francisco,et al.  A CALCULUS FOR SELF-REFERENCE , 1975 .

[24]  M. Kochen.  APPLICATIONS OF FUZZY SETS IN PSYCHOLOGY , 1975 .

[25]  Namio Honda,et al.  RECOGNITION OF FUZZY LANGUAGES , 1975 .

[26]  B. Gaines,et al.  THE LOGIC OF AUTOMATA , 1975 .

[27]  Joseph A. Goguen,et al.  Concept Representation in Natural and Artificial Languages: Axioms, Extensions and Applications for Fuzzy Sets , 1974, Int. J. Man Mach. Stud..

[28]  Brian R. Gaines,et al.  Training, stability and control , 1974 .

[29]  Wolfgang Wechler,et al.  R-Fuzzy Automata with a Time-Variant Structure , 1974, MFCS.

[30]  J. Bezdek.  Numerical taxonomy with fuzzy sets , 1974 .

[31]  G. Gregory,et al.  Probability, Induction and Statistics , 1974 .

[32]  Michael, G. Thomason,et al.  Deterministic Acceptors of Regular Fuzzy Languages , 1974, IEEE Trans. Syst. Man Cybern..

[33]  Ontology and the Vicious-Circle Principle , 1974 .

[34]  Michael Louis Corrado,et al.  Ontology and the Vicious Circle Principle , 1974 .

[35]  R. LeFaivre.  The Representation of Fuzzy Knowledge , 1974 .

[36]  Albert N. Badre,et al.  On the Precision of Adjectives Which Denote Fuzzy Sets , 1974 .

[37]  B. Grofman,et al.  Probability and logic in belief systems , 1973 .

[38]  Joseph A. Goguen,et al.  The fuzzy tychonoff theorem , 1973 .

[39]  Patrick Habets,et al.  Classification of stability-like concepts and their study using vector Lyapunov functions , 1973 .

[40]  R. Heinlein.  Time Enough for Love , 1973 .

[41]  Allen Newell,et al.  Human Problem Solving. , 1973 .

[42]  Entailment , 1973, Philosophica.

[43]  J. L. Mackie,et al.  Truth, probability and paradox , 1973 .

[44]  Rob Kling.  Fuzzy Planner: Reasoning with Inexact Concepts in a Procedural Problem-Solving Language , 1973 .

[45]  Max J. Cresswell,et al.  Logics and languages , 1973 .

[46]  George Lakoff,et al.  Hedges: A study in meaning criteria and the logic of fuzzy concepts , 1973, J. Philos. Log..

[47]  Richard Bellman,et al.  On the Analytic Formalism of the Theory of Fuzzy Sets , 1973, Inf. Sci..

[48]  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..

[49]  A. Luca,et al.  Algebraic properties of fuzzy sets , 1972 .

[50]  Brian R. Gaines,et al.  Axioms for adaptive behaviour , 1972 .

[51]  Imre Lakatos,et al.  Criticism and the Growth of Knowledge , 1972 .

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

[53]  P. K. Bastable.  The Logic of Plurality , 1972 .

[54]  Alfred F. MacKay,et al.  V.—PROFESSOR GRICE'S THEORY OF MEANING , 1972 .

[55]  Richard C. T. Lee,et al.  Some Properties of Fuzzy Logic , 1971, Inf. Control..

[56]  L. J. Savage.  Elicitation of Personal Probabilities and Expectations , 1971 .

[57]  D. Paul Snyder,et al.  Modal Logic and Its Applications , 1971 .

[58]  Joseph G. Brown,et al.  A Note on Fuzzy Sets , 1971, Inf. Control..

[59]  Robert Stalnaker.  Probability and Conditionals , 1970, Philosophy of Science.

[60]  Henry Ely Kyburg,et al.  Probability and Inductive Logic , 1970 .

[61]  David Hume.  A Treatise of Human Nature: Being an Attempt to introduce the experimental Method of Reasoning into Moral Subjects , 1972 .

[62]  Masaharu Mizumoto,et al.  Some Considerations on Fuzzy Automata , 1969, J. Comput. Syst. Sci..

[63]  Peter N. Marinos.  Fuzzy Logic and its Application to Switching Systems , 1969, IEEE Transactions on Computers.

[64]  C. A. Meredith,et al.  Calculi of Pure Strict Implication , 1969 .

[65]  James T. Reason,et al.  Motion sickness—some theoretical considerations , 1969 .

[66]  Lotfi A. Zadeh,et al.  Fuzzy Algorithms , 1968, Inf. Control..

[67]  Ward Edwards,et al.  Probabilistic Information Processing Systems: Design and Evaluation , 1968, IEEE Trans. Syst. Sci. Cybern..

[68]  Bede Rundle,et al.  AN INTRODUCTION TO MANY‐VALUED LOGICS , 1968 .

[69]  William G. Wee,et al.  General Formulation of Sequential Machines , 1968, Inf. Control..

[70]  Joseph Weizenbaum,et al.  Contextual understanding by computers , 1967, CACM.

[71]  E. W. Adams,et al.  Probability and the Logic of Conditionals , 1966 .

[72]  E. W. Adams,et al.  Elements of a Theory of Inexact Measurement , 1965, Philosophy of Science.

[73]  Jens Erik Fenstad,et al.  On the Consistency of the Axiom of Comprehension in the Lukasiewicz Infinite Valued Logic. , 1964 .

[74]  C. Chang,et al.  The Axiom of Comprehension in Infinite Valued Logic. , 1963 .

[75]  John Tucker,et al.  OBSERVATION AND INTERPRETATION IN THE PHILOSOPHY OF PHYSICS , 1963 .

[76]  L. A. Zadeh,et al.  On the definition of adaptivity , 1963 .

[77]  William Kneale,et al.  The development of logic , 1963 .

[78]  M. Schützenberger.  On a Theorem of R. Jungen , 1962 .

[79]  Th. Skolem,et al.  A Set Theory Based on a Certain 3-Valued Logic. , 1960 .

[80]  J. M. Kittross.  The measurement of meaning , 1959 .

[81]  A. R. Turquette,et al.  Logic, Semantics, Metamathematics , 1957 .

[82]  Moh Shaw-Kwei.  Logical Paradoxes for Many-Valued Systems , 1954, J. Symb. Log..

[83]  D. Sheppard.  The adequacy of everyday quantitative expressions as measurements of qualities. , 1954, The British journal of medical psychology.

[84]  N. Malcolm.  On Knowledge and Belief , 1954 .

[85]  H. Jeffreys.  Logical Foundations of Probability , 1952, Nature.

[86]  S. C. Kleene,et al.  Introduction to Metamathematics , 1952 .

[87]  Zoltan Paul Dienes,et al.  On an implication function in many-valued systems of logic , 1949, Journal of Symbolic Logic.

[88]  Rudolf Carnap,et al.  Meaning and Necessity , 1947 .

[89]  H. B. Curry.  The inconsistency of certain formal logics , 1942, Journal of Symbolic Logic.

[90]  E. Bell,et al.  Science and Sanity. , 1934 .

[91]  G. B. M..  Principia Mathematica , 1911, Nature.

[92]  J. Mill.  A System of Logic , 1843 .