As aplicações informáticas necessitam de lidar com fatos, regras, ontologias, muitas vezes com origem em fontes diferentes, integrando conhecimento que pode ser contraditório, o que pode ter como consequência tornar conclusões, obtidas através de algoritmos clássicos de raciocínio automático, completamente inuteis.

Recentemente, os investigadores do NOVA LINCS, Tobias Kaminski, Matthias Knorr e João Leite desenvolveram novas soluções para resolver o desafio de extrair conclusões significativas a partir de bases de dados inconsistentes, através de algoritmos eficientes. Os resultados estão reportados no IJCAI 2015 “Efficient Paraconsistent Reasoning with Ontologies and Rules”.

O IJCAI (The International Joint Conference on Artificial Intelligence), fundado em 1969, é a principal conferência internacional em Inteligência Artificial.