A KNOWLEDGE REPRESENTATION PERSPECTIVE - LOGICS FOR PARACONSISTENT REASONING

Authors
BESNARD P LAENENS E
Citation
P. Besnard et E. Laenens, A KNOWLEDGE REPRESENTATION PERSPECTIVE - LOGICS FOR PARACONSISTENT REASONING, International journal of intelligent systems, 9(1), 1994, pp. 153-168
Citations number
22
Categorie Soggetti
System Science","Controlo Theory & Cybernetics","Computer Sciences, Special Topics","Computer Science Artificial Intelligence
Journal title
International journal of intelligent systems → ACNP
ISSN journal
08848173
Volume
9
Issue
1
Year of publication
1994
Pages
153 - 168
Database
ISI
SICI code
0884-8173(1994)9:1<153:AKRP-L>2.0.ZU;2-V
Abstract
Paraconsistent logics are examined as an approach to knowledge represe ntation devoted to the formalization of reasoning in the presence of c ontradictions. The adequacy of paraconsistent logics in such a perspec tive is described both on a general level and on a more specific level : discussion involves representative examples as well as special featu res (in the form of logical principles) of some significant paraconsis tent logics. There is also a comparison of the paraconsistent logics a pproach with two alternative approaches, namely belief revision and no n-monotonic logics. (C) 1994 John Wiley and Sons, Inc.