||Using Paraconsistent Logics in Knowledge-Based Systems
||Spurkeland, Johannes S.
||Villadsen, Jørgen (Algorithms and Logic, Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark)
||Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark
||In classical logic everything follows from inconsistency. A paraconsistent logic is a
logic where we can have inconsistency but get something more limited and useful.
Since consistency is difficult to guarantee in many situations, the potential applications
of paraconsistent logics in knowledge bases are many. Work based on bilattices
is considered, and a paraconsistent many-valued logic is presented. Its use is demonstrated
in a case of medicine, and a simple implementation of a knowledge-based
system using the presented many-valued logic is provided and applied on that case.
The basic concepts of preservationism are presented as another approach towards
achieving a paraconsistent logic.
||Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU : DK-2800 Kgs. Lyngby, Denmark
Creation date: 2010-06-28
Update date: 2012-12-19