Measuring Instability in Normal Residuated Logic Programs: Discarding Information

Abstract

Inconsistency in the framework of general residuated logic programs can be, somehow, decomposed in two notions: incoherence and instability. In this work, we focus on the measure of instability of normal residuated programs. Some measures are provided and initial results are obtained in terms of the amount of information that have to be discarded in order to recover stability. © Springer-Verlag Berlin Heidelberg 2010.