News details

  • How can Computers Better Reason with Conflicting Knowledge?
  • Apr 2015
  • Large knowledge based applications integrate facts, rules, and ontologies, often originating from different sources, which may easily become inconsistent, rendering standard automated reasoning procedures useless.

    Recently, NOVA LINCS researchers Tobias Kaminski, Matthias Knorr and João Leite developed new solutions to the challenging problem of obtaining meaningful conclusions from such inconsistent knowledge bases, through efficient procedures reported in their IJCAI 2015 paper “Efficient Paraconsistent Reasoning with Ontologies and Rules”.

    IJCAI (The International Joint Conference on Artificial Intelligence), established in 1969, is the world leading conference on artificial intelligence.