Project number 9985
The project goal is to describe and discuss different approaches to deal with inconsistent information in knowledge-based systems. 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. The main focus of the project is on paraconsistent higher-order logic. A simple version of such a knowledge-based system should be developed in a suitable environment.
Thorbjørn Kamlarczyk Rasmussen