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 条
  • [1] Signed systems for paraconsistent reasoning
    Besnard, P
    Schaub, T
    JOURNAL OF AUTOMATED REASONING, 1998, 20 (1-2) : 191 - 213
  • [2] Signed Systems for Paraconsistent Reasoning
    Ph. Besnard
    T. Schaub
    Journal of Automated Reasoning, 1998, 20 : 191 - 213
  • [3] Paraconsistent Reasoning for OWL 2
    Ma, Yue
    Hitzler, Pascal
    WEB REASONING AND RULE SYSTEMS, PROCEEDINGS, 2009, 5837 : 197 - +
  • [4] Algorithms for paraconsistent reasoning with OWL
    Ma, Yue
    Hitzler, Pascal
    Lin, Zuoquan
    SEMANTIC WEB: RESEARCH AND APPLICATIONS, PROCEEDINGS, 2007, 4519 : 399 - +
  • [5] Reasoning in paraconsistent frame systems
    Avila, BC
    Abe, JM
    Prado, JPD
    PROCEEDINGS OF SECOND INTERNATIONAL WORKSHOP ON CSCW IN DESIGN, 1997, : 239 - 244
  • [6] Presumptive Reasoning in a Paraconsistent Setting
    Frittella, Sabine
    Kozhemiachenko, Daniil
    Verheij, Bart
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, (379): : 233 - 244
  • [7] Incorporating time in paraconsistent reasoning
    Abe, JM
    Scalzitti, A
    Nakamatsu, K
    Da Silva, JI
    6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XVI, PROCEEDINGS: COMPUTER SCIENCE III, 2002, : 216 - 220
  • [8] A simple signed system for paraconsistent reasoning
    Besnard, P
    Schaub, T
    LOGICS IN ARTIFICIAL INTELLIGENCE, 1996, 1126 : 404 - 416
  • [9] INCONSISTENCIES HANDLING - NONMONOTONIC AND PARACONSISTENT REASONING
    SEFRANEK, J
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 535 : 214 - 219
  • [10] Modeling and Reasoning with Paraconsistent Rough Sets
    Vitoria, Aida
    Maluszynski, Jan
    Szalas, Andrzej
    FUNDAMENTA INFORMATICAE, 2009, 97 (04) : 405 - 438