A KNOWLEDGE REPRESENTATION PERSPECTIVE - LOGICS FOR PARACONSISTENT REASONING

被引：1
|
作者：
BESNARD, P [1 ]
LAENENS, E [1 ]
机构：
[1] UNIV INSTELLING ANTWERP,DEPT MATH & COMP SCI,B-2610 WILRIJK,BELGIUM
来源：
INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS | 1994年 / 9卷 / 01期
关键词：
D O I：
10.1002/int.4550090110
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Paraconsistent logics are examined as an approach to knowledge representation devoted to the formalization of reasoning in the presence of contradictions. The adequacy of paraconsistent logics in such a perspective is described both on a general level and on a more specific level: discussion involves representative examples as well as special features (in the form of logical principles) of some significant paraconsistent logics. There is also a comparison of the paraconsistent logics approach with two alternative approaches, namely belief revision and non-monotonic logics. (C) 1994 John Wiley and Sons, Inc.
引用
收藏
页码：153 / 168
页数：16
相关论文
共 50 条
  • [1] Non-classical logics for knowledge representation and reasoning
    Giordano, Laura
    Gliozzi, Valentina
    Olivetti, Nicola
    Pozzato, Gian Luca
    Schwind, Camilla B.
    INTELLIGENZA ARTIFICIALE, 2011, 5 (01) : 127 - 131
  • [2] Knowledge Representation and Reasoning in Norm-Parameterized Fuzzy Description Logics
    Zhao, Jidi
    Boley, Harold
    CANADIAN SEMANTIC WEB: TECHNOLOGIES AND APPLICATIONS, 2010, : 27 - 53
  • [3] PARACONSISTENT LOGICS
    SLATER, BH
    JOURNAL OF PHILOSOPHICAL LOGIC, 1995, 24 (04) : 451 - 454
  • [4] Ideal Paraconsistent Logics
    O. Arieli
    A. Avron
    A. Zamansky
    Studia Logica, 2011, 99
  • [5] Paraconsistent Modal Logics
    Rivieccio, Umberto
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2011, 278 : 173 - 186
  • [6] Paraconsistent Orbits of Logics
    Edelcio G. de Souza
    Alexandre Costa-Leite
    Diogo H. B. Dias
    Logica Universalis, 2021, 15 : 271 - 289
  • [7] Paraconsistent Logics and Translations
    Itala M. Loffredo D’Ottaviano
    Hércules de Araújo Feitosa
    Synthese, 2000, 125 (1-2) : 77 - 95
  • [8] Ideal Paraconsistent Logics
    Arieli, O.
    Avron, A.
    Zamansky, A.
    STUDIA LOGICA, 2011, 99 (1-3) : 31 - 60
  • [9] THE PARACONSISTENT LOGICS PJ
    DACOSTA, NCA
    SUBRAHMANIAN, VS
    VAGO, C
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1991, 37 (02): : 139 - 148
  • [10] Negation and Paraconsistent Logics
    Dutta, Soma
    Chakraborty, Mihir K.
    LOGICA UNIVERSALIS, 2011, 5 (01) : 165 - 176
12345