Some Adaptive Contributions to Logics of Formal Inconsistency

被引：1
|
作者：
Batens, Diderik [1 ]
机构：
[1] Univ Ghent, Ctr Log & Philosophy Sci, Blandijnberg 2, B-9000 Ghent, Belgium
来源：
NEW DIRECTIONS IN PARACONSISTENT LOGIC | 2015年 / 152卷
关键词：
Paraconsistent logic; Logics of formal inconsistency; Inconsistency-adaptive logic;
D O I：
10.1007/978-81-322-2719-9_15
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
Some insights were gained from the study of inconsistency-adaptive logics. The aim of the present paper is to put some of these insights to work for the study of logics of formal inconsistency. The focus of attention is application contexts of the aforementioned logics and their theoretical properties in as far as they are relevant for applications. As the questions discussed are difficult but important, a serious attempt was made to make the paper concise but transparent.
引用
收藏
页码：309 / 333
页数：25
相关论文
共 50 条
  • [31] Linear Programs for Measuring Inconsistency in Probabilistic Logics
    Potyka, Nico
    FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2014, : 568 - 577
  • [32] Measuring inconsistency with many-valued logics
    Thimm, Matthias
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2017, 86 : 1 - 23
  • [33] Inconsistency-Tolerant Semantics for Description Logics
    Lembo, Domenico
    Lenzerini, Maurizio
    Rosati, Riccardo
    Ruzzi, Marco
    Savo, Domenico Fabio
    WEB REASONING AND RULE SYSTEMS, 2010, 6333 : 103 - 117
  • [34] Three-valued logics for inconsistency handling
    Konieczny, S
    Marquis, P
    LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 332 - 344
  • [35] Fuzzy sets and formal logics
    Godo, Lluis
    Gottwald, Siegfried
    FUZZY SETS AND SYSTEMS, 2015, 281 : 44 - 60
  • [36] NONSTANDARD MODELS FOR FORMAL LOGICS
    ROSSER, JB
    WANG, H
    BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1949, 55 (09) : 875 - 875
  • [37] Formal logics for imprecise quantities
    Gottwald, Siegfried
    Informatik-Spektrum, 2015, 38 (06) : 533 - 542
  • [38] FORMAL LOGICS FOR COMMONSENSE REASONING
    BESNARD, P
    ANNALS OF TELECOMMUNICATIONS, 1989, 44 (5-6) : 242 - 250
  • [39] On a Four-Valued Logic of Formal Inconsistency and Formal Undeterminedness
    Coniglio, Marcelo E.
    Gomez-Pereira, G. T.
    Figallo, Martin
    STUDIA LOGICA, 2024, 113 (1) : 183 - 224
  • [40] Viewpoints: capturing formal data and informal contributions into an adaptive knowledge graph
    Lemoisson, Philippe
    Surroca, Guillaume
    Jonquet, Clement
    Cerri, Stefano A.
    INTERNATIONAL JOURNAL OF KNOWLEDGE AND LEARNING, 2018, 12 (02) : 119 - 145
12345