Extending possibilistic logic over Godel logic

被引：7
|
作者：
Dellunde, Pilar [1 ,2 ]
Godo, Lluis [1 ]
Marchioni, Enrico [1 ]
机构：
[1] IIIA CSIC, Bellaterra 08193, Spain
[2] Univ Autonoma Barcelona, Bellaterra 08193, Spain
来源：
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING | 2011年 / 52卷 / 01期
关键词：
Possibilistic logic; Necessity measures; Godel logic; Fuzzy logic;
D O I：
10.1016/j.ijar.2010.08.014
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In this paper we present several fuzzy logics trying to capture different notions of necessity (in the sense of possibility theory) for Godel logic formulas. Based on different characterizations of necessity measures on fuzzy sets, a group of logics with Kripke style semantics is built over a restricted language, namely, a two-level language composed of non-modal and modal formulas, the latter, moreover, not allowing for nested applications of the modal operator N. Completeness and some computational complexity results are shown. (C) 2010 Elsevier Inc. All rights reserved.
引用
收藏
页码：63 / 75
页数：13
相关论文
共 50 条
  • [1] Exploring Extensions of Possibilistic Logic over Godel Logic
    Dellunde, Pilar
    Godo, Lluis
    Marchioni, Enrico
    SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS, 2009, 5590 : 923 - +
  • [2] Extending description logics with uncertainty reasoning in possibilistic logic
    Qi, Guilin
    Pan, Jeff Z.
    Ji, Qiu
    SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS, 2007, 4724 : 828 - +
  • [3] Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic
    Qi, Guilin
    Ji, Qiu
    Pan, Jeff Z.
    Du, Jianfeng
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2011, 26 (04) : 353 - 381
  • [4] Possibilistic logic as interpretability logic
    Hájek, Petr
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 945 : 273 - 280
  • [5] Possibilistic logic as interpretability logic
    Hajek, P
    ADVANCES IN INTELLIGENT COMPUTING - IPMU '94, 1995, 945 : 273 - 280
  • [6] Possibilistic Semantics for a Modal KD45 Extension of Godel Fuzzy Logic
    Bou, Felix
    Esteva, Francesc
    Godo, Lluis
    Oscar Rodriguez, Ricardo
    INFORMATION PROCESSING AND MANAGEMENT OF UNCERTAINTY IN KNOWLEDGE-BASED SYSTEMS, IPMU 2016, PT II, 2016, 611 : 123 - 135
  • [7] From rational Godel logic to ultrametric logic
    Khatami, S. M. A.
    Pourmahdian, M.
    Tavana, N. R.
    JOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (05) : 1743 - 1767
  • [8] Godel and the limits of logic
    Dawson, JW
    SCIENTIFIC AMERICAN, 1999, 280 (06) : 76 - 81
  • [9] Directed possibilistic graphs and possibilistic logic
    Benferhat, S
    Dubois, D
    Garcia, L
    Prade, H
    INFORMATION, UNCERTAINTY AND FUSION, 2000, 516 : 365 - 379
  • [10] Possibilistic logic bases and possibilistic graphs
    Benferhat, S
    Dubois, D
    Garcia, L
    Prade, H
    UNCERTAINTY IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1999, : 57 - 64
12345