Article citationsMore>>

Carnielli, W.A. and Marcos, J. (2001) Ex Contradictione Non Sequitur Quodlibet. Proceedings of the II Annual Conference on Reasoning and Logic, Bucharest, July 2001, 89-109.
http://wslc.math.ist.utl.pt/ftp/pub/MarcosJ/01-CM-ECNSQL.pdf

has been cited by the following article:

• TITLE: A Dialogue System for Coherent Reasoning with Inconsistent Knowledge Bases

  AUTHORS: Silvio do Lago Pereira, Luiz Felipe Zarco dos Santos, Lucio Nunes de Lira

  KEYWORDS: Defeasible Reasoning, Inconsistent Knowledge, Precedence Relation, Dialogue System

  JOURNAL NAME: Journal of Computer and Communications, Vol.3 No.8, August 12, 2015

  ABSTRACT: Traditionally, the AI community assumes that a knowledge base must be consistent. Despite that, there are many applications where, due to the existence of rules with exceptions, inconsistent knowledge must be considered. One way of restoring consistency is to withdraw conflicting rules; however, this will destroy part of the knowledge. Indeed, a better alternative would be to give precedence to exceptions. This paper proposes a dialogue system for coherent reasoning with inconsistent knowledge, which resolves conflicts by using precedence relations of three kinds: explicit precedence relation, which is synthesized from precedence rules; implicit precedence relation, which is synthesized from defeasible rules; mixed precedence relation, which is synthesized by combining explicit and implicit precedence relations.