Uncertainty Theories by Modal Logic
Part of the
NATO ASI Series
book series (volume 162)
In a series of papers initiated by Resconi et al. , interpretations for various uncertainty theories were proposed, including fuzzy set theory, Dempster-Shafer theory, and possible theory, using models of modal logic [1, 2, 3]. There were two main reasons for pursuing research in this direction. The first reason was to offer the standard semantics of modal logic as a unifying framework within which it would be possible to compare and relate uncertainty theories to each other. Since, from time to time, some of the uncertainty theories are questioned regarding their internal adequateness, the second reason was to support them by developing interpretations for them in a relatively well-established area: in our case, modal logic. This paper is a summary of these efforts. To avoid unnecessary repetition of previous material, we will not repeat all the basic definitions and properties; the reader is referred to relevant literature for fuzzy set theory , for possibility theory , for Dempster-Shafer theory , and for modal logic . A more thorough treatment of the material summarised in this paper is covered in the above-mentioned papers [4,5].
KeywordsTensorial Product Modal Logic Atomic Proposition Fuzzy Measure Uncertainty Theory
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
G. Resconi, G.J.Klir, and Ute St. Clair, Hierarchical uncertainty metatheory based upon modal logic. International J.Gen.Systems
(1992) 23–50MATHCrossRefGoogle Scholar
G. Resconi, G.J.Klir, U. St.Clair and D. Harmanec, On the integration of uncertainty theories. Internat. J. Uncertainty Fuzziness Knowledge-Based Systems
, (1993) 1–18MathSciNetMATHCrossRefGoogle Scholar
G.J. Klir and D.Harmanec, On modal logic interpretation of possibility theory. Internat. J. Uncertainty Fuzziness Knowledge-Based Systems
(1994) 237–245MathSciNetMATHCrossRefGoogle Scholar
G. Shafer. A Mathematical Theory of Evidence.
Princeton Univ. Press. Princeton, NJ (1976)MATHGoogle Scholar
G.J. Klir and B.Yuan Fuzzy Sets and Fuzzy Logic: Theory and Applications.
PrenticeHall,Englewood Cliffs NJ (1995)MATHGoogle Scholar
G. Resconi,G.J. Klir, D. Harmanec, Ute St.Clair, Interpretation of various uncertainty theories using models of modal logic: a summary. Fuzzy Sets and Systems
80 (1996) 714MathSciNetCrossRefGoogle Scholar
I.B.Türkşen, Interval valued fuzzy sets based on normal forms. Fuzzy Sets and Systems
20(1986) 191–210MathSciNetCrossRefGoogle Scholar
G.E. Hughes and M.J. Cresswell. A Companion to Modal Logic. Methuen, London (1984)MATHGoogle Scholar
© Springer-Verlag Berlin Heidelberg 1998