|
|
|
|
| Bachelorprojekt - Softwareteknologi | Project No. 0023: Development of a Paraconsistent Knowledge-Based System |
| Aktuelle | Tidligere |
Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where an inconsistency does not lead to such an explosion. Since in practice consistency is difficult to achieve there are many potential applications of paraconsistent logics. A particular paraconsistent many-valued logic has been proposed and experiments have been carried out. The goal is to develope a prototype of a paraconsistent knowledge-based system, either by model checking or theorem proving techniques. In particular a case study in the domain of medicine could be considered.
| Prerequisites: | 02156 Logical Systems and Logic Programming |
Supervisor(s) Jørgen Villadsen
| Sidst opdateret: Oct 31, 2011 af Hans Henrik Løvengreen |