Uncertainty theories by modal logic

被引:0
|
作者
Resconi, G [1 ]
机构
[1] Catholic Univ, Dept Math, Brescia, Italy
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
In a series of papers initiated by Resconi et al. [1], 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 [5], for possibility theory [3], for Dempster-Shafer theory [4], and for modal logic [8]. A more thorough treatment of the material summarised in this paper is covered in the above-mentioned papers [4,5].
引用
收藏
页码:60 / 79
页数:20
相关论文
共 50 条
  • [1] Interpretations of various uncertainty theories using models of modal logic: A summary
    Resconi, G
    Klir, GJ
    Harmanec, D
    StClair, U
    FUZZY SETS AND SYSTEMS, 1996, 80 (01) : 7 - 14
  • [2] On the modal logic K plus theories
    Heuerding, A
    Schwendimann, S
    COMPUTER SCIENCE LOGIC, 1996, 1092 : 308 - 319
  • [3] A Modal Logic for Uncertainty: a Completeness Theorem
    Corsi, Esther Anna
    Flaminio, Tommaso
    Godo, Lluis
    Hosni, Hykel
    INTERNATIONAL SYMPOSIUM ON IMPRECISE PROBABILITY: THEORIES AND APPLICATIONS, VOL 215, 2023, 215 : 119 - 129
  • [4] NONMONOTONIC LOGIC .2. NONMONOTONIC MODAL THEORIES
    MCDERMOTT, D
    JOURNAL OF THE ACM, 1982, 29 (01) : 33 - 57
  • [5] HIERARCHICAL UNCERTAINTY METATHEORY BASED UPON MODAL LOGIC
    RESCONI, G
    KLIR, GJ
    STCLAIR, U
    INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 1992, 21 (01) : 23 - 50
  • [6] Characterization of maximal consistent theories in modal logic S5
    Li, Bi-Jing
    Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2014, 42 (08): : 1551 - 1555
  • [7] Binary modal logic and unary modal logic
    de Jongh, Dick
    Maleki, Fatemeh Shirmohammadzadeh
    LOGIC JOURNAL OF THE IGPL, 2024, 32 (03) : 420 - 441
  • [8] A modal contrastive logic: The logic of 'but'
    Meyer, JJC
    vanderHoek, W
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1996, 17 (3-4) : 291 - 313
  • [9] Adaptive Logic as a Modal Logic
    Allo, Patrick
    STUDIA LOGICA, 2013, 101 (05) : 933 - 958
  • [10] Adaptive Logic as a Modal Logic
    Patrick Allo
    Studia Logica, 2013, 101 : 933 - 958