Title
|
|
|
|
A knowledge representation perspective : logics for paraconsistent reasoning
|
|
Author
|
|
|
|
|
|
Abstract
|
|
|
|
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. |
|
|
Language
|
|
|
|
English
|
|
Source (journal)
|
|
|
|
International journal of intelligent systems. - New York
|
|
Publication
|
|
|
|
New York
:
1994
|
|
ISSN
|
|
|
|
0884-8173
|
|
DOI
|
|
|
|
10.1002/INT.4550090110
|
|
Volume/pages
|
|
|
|
9
:1
(1994)
, p. 153-168
|
|
ISI
|
|
|
|
A1994MN57600009
|
|
Full text (Publisher's DOI)
|
|
|
|
|
|