Paraconsistent reasoning with words

被引:1
|
作者
Szalas, Alicja S. [1 ]
Szalas, Andrzej [2 ,3 ]
机构
[1] School of Biological Sciences, Royal Holloway, University of London, Cooper’s Hill Lane Kingswood 1 Hall - C151, Egham, Surrey,TW200LG, United Kingdom
[2] Institute of Informatics, Warsaw University, Warsaw,02-097, Poland
[3] Department of Computer and Information Science, Linköping University, Linköping,581 83, Sweden
关键词
Four-valued logic - Fuzzy modeling - Intuitionistic fuzzy sets - Logical formalism - Model uncertainties - Paraconsistent reasoning - Qualitative approach - Reasoning with words;
D O I
10.1007/978-3-642-04735-0_2
中图分类号
学科分类号
摘要
Fuzzy logics are one of the most frequent approaches to model uncertainty and vagueness. In the case of fuzzy modeling, degrees of belief and disbelief sum up to 1, which causes problems in modeling the lack of knowledge and inconsistency. Therefore, so called paraconsistent intuitionistic fuzzy sets have been introduced, where the degrees of belief and disbelief are not required to sum up to 1. The situation when this sum is smaller than 1 reflects the lack of knowledge and its value greater than 1 models inconsistency. In many applications there is a strong need to guide and interpret fuzzy-like reasoning using qualitative approaches. To achieve this goal in the presence of uncertainty, lack of knowledge and inconsistency, we provide a framework for qualitative interpretation of the results of fuzzy-like reasoning by labeling numbers with words, like true, false, inconsistent, unknown, reflecting truth values of a suitable, usually finitely valued logical formalism. © Springer-Verlag Berlin Heidelberg 2009.
引用
收藏
页码:43 / 58
相关论文
共 50 条
  • [31] Querying and Reasoning in Paraconsistent Rule-Object Languages with Inheritance Expressions
    Szalas, Andrzej
    COMPUTATIONAL COLLECTIVE INTELLIGENCE, ICCCI 2022, 2022, 13501 : 396 - 409
  • [32] Efficient reasoning with fuzzy words
    Spott, M
    Computational Intelligence for Modelling and Prediction, 2005, 2 : 117 - 128
  • [33] Reasoning with Words: A First Approximation
    Rubio-Manzano, Clemente
    Julian-Iranzo, Pascual
    2014 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE), 2014, : 569 - 574
  • [34] A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System
    Zhang, Xiaowang
    Lin, Zuoquan
    Wang, Kewen
    WEB TECHNOLOGIES AND APPLICATIONS, 2011, 6612 : 345 - +
  • [35] Paraconsistent reasoning via quantified Boolean formulas, I: Axiomatising signed systems
    Besnard, P
    Schaub, T
    Tompits, H
    Woltran, S
    LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 320 - 331
  • [36] Paraconsistent Case-Based Reasoning Applied to a Restoration of Electrical Power Substations
    Martins, Helga Gonzaga
    Lambert-Torres, Germano
    Borges da Silva, Luiz Eduardo
    de Almeida Costa, Claudio Inacio
    Coutinho, Maurilio Pereira
    ROUGH SETS AND CURRENT TRENDS IN COMPUTING, PROCEEDINGS, 2008, 5306 : 232 - 241
  • [37] AUTOMATING AND COMPUTING PARACONSISTENT REASONING: CONTRACTION-FREE, RESOLUTION AND TYPE SYSTEMS
    Kamide, Norihiro
    REPORTS ON MATHEMATICAL LOGIC, 2010, 45 : 3 - 21
  • [38] Paraconsistent reasoning via quantified Boolean formulas, II: Circumscribing inconsistent theories
    Besnard, P
    Schaub, T
    Tompits, H
    Woltran, S
    SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDING, 2003, 2711 : 528 - 539
  • [39] John Milton: "Reasoning Words."
    Benet, Diana Trevino
    Pruitt, Kristin A.
    Durham, Charles W.
    MILTON QUARTERLY, 2010, 44 (04) : 278 - 281
  • [40] Towards an Automated Reasoning for Computing with Words
    Khorasani, Elham S.
    Rahimi, Shahram
    2010 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE 2010), 2010,