Title of article :
Nonmonotonic inconsistency Original Research Article
Author/Authors :
Charles B. Cross، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2003
Pages :
18
From page :
161
To page :
178
Abstract :
Nonmonotonic consequence is the subject of a vast literature, but the idea of a nonmonotonic counterpart of logical inconsistency—the idea of a defeasible property representing internal conflict of an inductive or evidential nature—has been entirely neglected. After considering and dismissing two possible analyses relating nonmonotonic consequence and a nonmonotonic counterpart of logical inconsistency, this paper offers a set of postulates for nonmonotonic inconsistency, an analysis of nonmonotonic inconsistency in terms of nonmonotonic consequence, and a series of results showing that nonmonotonic inconsistency conforms to these postulates given the analysis of nonmonotonic inconsistency presented here and certain postulates for nonmonotonic consequence. The results presented here establish the interest of certain previously undiscussed postulates of nonmonotonic consequence. These results also show that nonmonotonicity, which has never seemed useful in the formulation of general principles governing nonmonotonic reasoning, is relevant to the positive characterization of nonmonotonic inference after all.
Keywords :
Default logic , Poole systems , Preferential entailment , Multiple inheritance with exceptions , Nonmonotonic reasoning , Inconsistency , Inductive inference , Cumulativity , Conflicting evidence
Journal title :
Artificial Intelligence
Serial Year :
2003
Journal title :
Artificial Intelligence
Record number :
1207299
Link To Document :
بازگشت