A knowledge representation perspective: Logics for paraconsistent reasoning

✍ Scribed by Philippe Besnard; Els Laenens

• Publisher: John Wiley and Sons
• Year: 1994
• Tongue: English
• Weight: 912 KB
• Volume: 9
• Category: Article
• ISSN: 0884-8173
• DOI: 10.1002/int.4550090110

✦ Synopsis

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.