Nonmonotonic inconsistency

作者:

摘要

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.

论文关键词:Nonmonotonic reasoning,Inconsistency,Inductive inference,Conflicting evidence,Cumulativity,Default logic,Preferential entailment,Poole systems,Multiple inheritance with exceptions

论文评审过程:Received 7 February 2002, Revised 17 February 2003, Available online 20 June 2003.

论文官网地址:https://doi.org/10.1016/S0004-3702(03)00074-2