Towards novel inference relations based on logical argumentation
Résumé
Dealing with inconsistencies is a long time studied topic. The current paper introduces a mechanism for reasoning with conflicts in knowledge bases. The conflicts are addressed through a form of logicbased argumentation. We explore argument structures to define various inference relations that can rationally draw meaningful answers to queries even from inconsistent knowledge bases. We investigate the productivity of these entailments and their relationships with other well-known existing relations.