A knowledge representation perspective: Logics for paraconsistent reasoning
Philippe Besnard, Els Laenens · International Journal of Intelligent Systems · 1994
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. © 1994 John Wiley & Sons, Inc.