Fourth Annual IEEE Symposium on

Logic in Computer Science (LICS 1989)

Paper: RI: a logic for reasoning with inconsistency (at LICS 1989)

Authors: Kifer, M. Lozinskii, E.L.


The authors present a logic, called RI (reasoning with inconsistency), that treats any set of clauses, either consistent or not, in a uniform way. In this logic, consequences of a contradiction are not nearly as damaging as in the standard predicate calculus, and meaningful information can still be extracted from an inconsistent set of formulas. RI has a resolution-based sound and complete proof procedure. It is a much richer logic than the predicate calculus, and the latter can be imitated within RI in several different ways (depending on the intended meaning of the predicate calculus formulas). The authors also introduce a novel notion of epistemic entailment and show its importance for investigating inconsistency in the predicate calculus


    author = 	 {Kifer, M. and Lozinskii, E.L.},
    title = 	 {RI: a logic for reasoning with inconsistency},
    booktitle =  {Proceedings of the Fourth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1989},
    year =	 1989,
    editor =	 {Rohit Parikh},
    month =	 {June}, 
    pages =      {253--262},
    location =   {Pacific Grove, CA, USA}, 
    publisher =	 {IEEE Computer Society Press}