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 条
  • [21] MODAL SET THEORIES
    PARSONS, C
    JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (03) : 683 - 684
  • [22] Learning modal theories
    Lloyd, John W.
    Ng, Kee Siong
    INDUCTIVE LOGIC PROGRAMMING, 2007, 4455 : 320 - +
  • [23] REDUCTION OF TENSE LOGIC TO MODAL LOGIC
    THOMASON, SK
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 21 (01): : A12 - A12
  • [25] Justification logic for constructive modal logic
    Kuznets, Roman
    Marin, Sonia
    Straßburger, Lutz
    Journal of Applied Logics, 2021, 8 (08): : 2313 - 2332
  • [26] Hybrid logic meets IF modal logic
    Tulenheimo T.
    Journal of Logic, Language and Information, 2009, 18 (4) : 559 - 591
  • [27] JUSTIFICATION LOGIC FOR CONSTRUCTIVE MODAL LOGIC
    Kuznets, Roman
    Marin, Sonia
    Strassburger, Lutz
    JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2021, 8 (08): : 2313 - 2332
  • [28] A modal sortal logic
    Freund, MA
    JOURNAL OF PHILOSOPHICAL LOGIC, 2004, 33 (03) : 237 - 260
  • [29] Modal Logic as Metaphysics
    Vacek, Martin
    ORGANON F, 2014, 21 (02) : 268 - 272
  • [30] THE TRUE MODAL LOGIC
    MENZEL, C
    JOURNAL OF PHILOSOPHICAL LOGIC, 1991, 20 (04) : 331 - 374