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 条
  • [41] Implementation of an extended possibilistic logic in an annotated logic theorem prover
    Kullmann, P
    Sandri, S
    JOINT 9TH IFSA WORLD CONGRESS AND 20TH NAFIPS INTERNATIONAL CONFERENCE, PROCEEDINGS, VOLS. 1-5, 2001, : 1529 - 1534
  • [42] Godel's demons - Logic and folly
    Kantor, Jean-Michel
    QUINZAINE LITTERAIRE, 2007, (956): : 25 - 25
  • [43] An analysis of Ruspini partitions in Godel logic
    Codara, Pietro
    D'Antona, Ottavio M.
    Marra, Vincenzo
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2009, 50 (06) : 825 - 836
  • [44] On Logic Embeddings and Godel's God
    Benzmueller, Christoph
    Paleo, Bruno Woltzenlogel
    RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES (WADT 2014), 2015, 9463 : 3 - 6
  • [45] The Demons of Godel. Logic and foolishness
    Zalamea, Fernando
    BOLETIN DE MATEMATICAS, 2009, 16 (01): : 79 - 81
  • [46] A DPLL PROCEDURE FOR THE PROPOSITIONAL GODEL LOGIC
    Guller, Dusan
    ICFC 2010/ ICNC 2010: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON FUZZY COMPUTATION AND INTERNATIONAL CONFERENCE ON NEURAL COMPUTATION, 2010, : 31 - 42
  • [47] Hyperresolution for Godel logic with truth constants
    Guller, Dusan
    FUZZY SETS AND SYSTEMS, 2019, 363 : 1 - 65
  • [48] The Euler Characteristic of a Formula in Godel Logic
    Codara, Pietro
    D'Antona, Ottavio M.
    Marra, Vincenzo
    40TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC ISMVL 2010, 2010, : 108 - 112
  • [49] A Resolution Mechanism for Prenex Godel Logic
    Baaz, Matthias
    Fermueller, Christian G.
    COMPUTER SCIENCE LOGIC, 2010, 6247 : 67 - 79
  • [50] Proof Systems for a Godel Modal Logic
    Metcalfe, George
    Olivetti, Nicola
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, 2009, 5607 : 265 - +
12345