Beta 1


Title Using Paraconsistent Logics in Knowledge-Based Systems
Author Spurkeland, Johannes S.
Supervisor Villadsen, Jørgen (Algorithms and Logic, Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark)
Institution Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark
Thesis level Bachelor thesis
Year 2010
Abstract 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.
Imprint Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU : DK-2800 Kgs. Lyngby, Denmark
Pages 41
Series IMM-B.Sc.-2010-24
Fulltext
Original PDF bac10_24_net.pdf (0.30 MB)
Admin Creation date: 2010-06-28    Update date: 2012-12-19    Source: dtu    ID: 264189    Original MXD