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.
Partially supported by the Spanish Ministry of Science projects TIN06-15455-C03-01 and TIN09-14562-C05-01 & Junta de Andalucía projects FQM-2049 and FQM-5233.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Balduccini, M., Gelfond, M.: Logic programs with consistency-restoring rules. In: Intl. Symp. on Logical Formalization of Commonsense Reasoning, AAAI 2003, pp. 9–18 (2003)
Gebser, M., Schaub, T., Thiele, S., Usadel, B., Veber, P.: Detecting inconsistencies in large biological networks with answer set programming. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 130–144. Springer, Heidelberg (2008)
Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proc. of ICLP 1988, pp. 1070–1080 (1988)
Grant, J., Hunter, A.: Measuring inconsistency in knowledgebases. J. Intell. Inf. Syst. 27(2), 159–184 (2006)
Hunter, A., Konieczny, S.: Approaches to measuring inconsistent information. In: Bertossi, L., Hunter, A., Schaub, T. (eds.) Inconsistency Tolerance. LNCS, vol. 3300, pp. 191–236. Springer, Heidelberg (2005)
Hunter, A., Konieczny, S.: Measuring inconsistency through minimal inconsistent sets. In: Proc. of Principles of Knowledge Representation and Reasoning (KR 2008), pp. 358–366. AAAI Press, Menlo Park (2008)
Janssen, J., De Cock, M., Vermeir, D.: Fuzzy argumentation frameworks. In: Proc. of IPMU 2008, pp. 513–520 (2008)
Lozinskii, E.: Information and evidence in logic systems. Journal of Experimental and Theoretical Artificial Intelligence 6, 163–193 (1994)
Madrid, N., Ojeda-Aciego, M.: Towards a fuzzy answer set semantics for residuated logic programs. In: Proc. of WI-IAT 2008. Workshop on Fuzzy Logic in the Web, pp. 260–264 (2008)
Madrid, N., Ojeda-Aciego, M.: On coherence and consistence in fuzzy answer set semantics for residuated logic programs. In: Di Gesù, V., Pal, S.K., Petrosino, A. (eds.) Fuzzy Logic and Applications. LNCS, vol. 5571, pp. 60–67. Springer, Heidelberg (2009)
Madrid, N., Ojeda-Aciego, M.: On the measure of incoherence in extended residuated logic programs. In: IEEE Intl Conf on Fuzzy Systems (FUZZ-IEEE 2009), pp. 598–603 (2009)
Nieves, J.C., Cortés, U., Osorio, M.: Possibilistic-based argumentation: An answer set programming approach. In: Mexican International Conference on Computer Science, pp. 249–260 (2008)
Son, T.C., Sakama, C.: Negotiation using logic programming with consistency restoring rules. In: IJCAI 2009: Proc 21st Intl Joint Conf on Artificial intelligence, pp. 930–935. Morgan Kaufmann Publishers Inc., San Francisco (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Madrid, N., Ojeda-Aciego, M. (2010). Measuring Instability in Normal Residuated Logic Programs: Discarding Information. In: Hüllermeier, E., Kruse, R., Hoffmann, F. (eds) Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods. IPMU 2010. Communications in Computer and Information Science, vol 80. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14055-6_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-14055-6_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14054-9
Online ISBN: 978-3-642-14055-6
eBook Packages: Computer ScienceComputer Science (R0)