Measuring Instability in Normal Residuated Logic Programs: Discarding Information

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.

[1]  Ulises Cortés,et al.  Possibilistic-Based Argumentation: An Answer Set Programming Approach , 2008, 2008 Mexican International Conference on Computer Science.

[2]  Chiaki Sakama,et al.  Negotiation Using Logic Programming with Consistency Restoring Rules , 2009, IJCAI.

[3]  Manuel Ojeda-Aciego,et al.  Towards a Fuzzy Answer Set Semantics for Residuated Logic Programs , 2008, 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology.

[4]  Martine De Cock,et al.  Fuzzy Argumentation Frameworks , 2008 .

[5]  Martin Gebser,et al.  Detecting inconsistencies in large biological networks with answer set programming , 2008, Theory and Practice of Logic Programming.

[6]  Anthony Hunter,et al.  Approaches to Measuring Inconsistent Information , 2005, Inconsistency Tolerance.

[7]  Eliezer L. Lozinskii,et al.  Information and evidence in logic systems , 1994, J. Exp. Theor. Artif. Intell..

[8]  Michael Gelfond,et al.  Logic Programs with Consistency-Restoring Rules , 2003 .

[9]  John Grant,et al.  Measuring inconsistency in knowledgebases , 2006, Journal of Intelligent Information Systems.

[10]  Manuel Ojeda-Aciego,et al.  On the measure of incoherence in extended residuated logic programs , 2009, 2009 IEEE International Conference on Fuzzy Systems.

[11]  Manuel Ojeda-Aciego,et al.  On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs , 2009, WILF.

[12]  Anthony Hunter,et al.  Measuring Inconsistency through Minimal Inconsistent Sets , 2008, KR.