Premium
A knowledge representation perspective: Logics for paraconsistent reasoning
Author(s) -
Besnard Philippe,
Laenens Els
Publication year - 1994
Publication title -
international journal of intelligent systems
Language(s) - English
Resource type - Book series
SCImago Journal Rank - 1.291
H-Index - 87
eISSN - 1098-111X
pISSN - 0884-8173
ISBN - 0-471-04062-2
DOI - 10.1002/int.4550090110
Subject(s) - paraconsistent logic , t norm fuzzy logics , perspective (graphical) , representation (politics) , monoidal t norm logic , knowledge representation and reasoning , computer science , classical logic , non monotonic logic , description logic , artificial intelligence , epistemology , mathematics , theoretical computer science , fuzzy logic , philosophy , fuzzy control system , programming language , fuzzy set , higher order logic , membership function , politics , political science , fuzzy number , law
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.