Fuzzy reasoning and the logics of uncertainty

This paper is concerned with the foundations of fuzzy reasoning and its relationships with other logics of uncertainty. The definitions of fuzzy logics are first examined and the role of fuzzification discussed. It is shown that fuzzification of PC gives a known multivalued logic but with inappropriate semantics of implication and various alternative forms of implication are discussed. In the main section the discussion is broadened to other logics of uncertainty and it is argued that there are close links, both formal and semantic, between fuzzy logic and probability logics. A basic multivalued logic is developed in terms of a truth function over a lattice of propositions that encompasses a wide range of logics of uncertainty. Various degrees of truth functionality are then defined and used to derive specific logics including probability logic and Lukasiewicz infinitely valued logic. Quantification and modal operators over the basic logic are introduced. Finally, a semantics for the basic logic is introduced in terms of a population (of events, or people, or neurons) and the semantic significance of the constraints giving rise to different logics is discussed.

[1]  Nasa Contractor,et al.  DECISION-MAKING IN A FUZZY ENVIRONMENT , 1970 .

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

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

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

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

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

[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]  David G. Willis,et al.  Computational Complexity and Probability Constructions , 1970, JACM.

[9]  J. Dunn.  Some Recent Investigations of a New Fuzzy Partitioning Algorithm and its Application to Pattern Classification Problems , 1974 .

[10]  J. Altham.  The logic of plurality , 1971 .

[11]  Michael A. Arbib,et al.  A category-theoretic approach to systems in a fuzzy world , 1975, Synthese.

[12]  D. Scott,et al.  Assigning Probabilities to Logical Formulas , 1966 .

[13]  Alasdair Urquhart,et al.  Temporal Logic , 1971 .

[14]  George Epstein,et al.  Logics Which Are Characterized by Subresiduated Lattices , 1976, Math. Log. Q..

[15]  Satoshi Miura,et al.  Probabilistic models of modal logics , 1973 .

[16]  Jaskowski,et al.  Polish Logic 1920-1939. , 1969 .

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

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

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

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

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

[22]  John P. Burgess,et al.  Review: Nicholas Rescher, A Probabilistic Approach to Modal Logic , 1970 .

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

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

[25]  N. Rescher.  Many Valued Logic , 1969 .

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

[27]  Charles A. Baylis,et al.  Review: Donald L. Webb, The Algebra of $n$-Valued Logic , 1938 .

[28]  B R Gaines,et al.  Multivalued Logics and Fuzzy Reasoning , 1975 .

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

[30]  Günter Menges,et al.  On subjective probability and related problems , 1970 .

[31]  J. Fenstad.  Representations of Probabilities Defined on First Order Languages , 1967 .

[32]  G. L..  Collected Papers , 1912, Nature.

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

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

[35]  H. Gaifman.  Concerning measures in first order calculi , 1964 .

[36]  B. Gaines.  Approximate identification of automata , 1975 .

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

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

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

[40]  Jaakko Hintikka,et al.  Models for modalities , 1975 .

[41]  John P. Cleave.  The Notion of Validity in Logical Systems with Inexact Predicates , 1970, The British Journal for the Philosophy of Science.

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

[43]  A CALCULUS OF POSSIBILITY, EVENTUALITY AND PROBABilITY , 2022 .

[44]  Per Martin-Löf,et al.  The Definition of Random Sequences , 1966, Inf. Control..

[45]  Madan M. Gupta,et al.  Round table discussion on the estimation and control in fuzzy environments , 1975, Autom..

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

[47]  Ernest Nagel,et al.  The Structure of Science , 1962 .

[48]  Gregory J. Chaitin,et al.  A recent technical report , 1974, SIGA.

[49]  Bruno de Finetti,et al.  Probability, induction and statistics , 1972 .

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

[51]  T. Fine,et al.  The Emergence of Probability , 1976 .

[52]  J. Lukasiewicz.  Logical foundations of probability theory , 1970 .

[53]  Orrin Frink,et al.  New Algebras of Logic , 1938 .

[54]  Andrei N. Kolmogorov,et al.  Logical basis for information theory and probability theory , 1968, IEEE Trans. Inf. Theory.

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

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

[57]  M. Arbib,et al.  A Category-Theoretic Approach to Systems in a Fuzzy World , 1975 .

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