TY - GEN
T1 - RI
T2 - Proceedings of the Fourth Annual Symposium on Logic in Computer Science
AU - Kifer, Michael
AU - Lozinskii, Eliezer L.
PY - 1989
Y1 - 1989
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/0024876283
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:0024876283
SN - 0818619546
T3 - Proc Fourth Ann Symp Logic Comput Sci
SP - 253
EP - 262
BT - Proc Fourth Ann Symp Logic Comput Sci
A2 - Anon, null
PB - Publ by IEEE
Y2 - 5 June 1989 through 8 June 1989
ER -