Measuring Instability in Normal Residuated Logic Programs: Discarding Information

Communications in Computer and Information Science

Volumn 80 PART 1, Issue , 2010, Pages 128-137

  Madrid, Nicolás ^a   Ojeda Aciego, Manuel ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

AMOUNT OF INFORMATION; RESIDUATED; RESIDUATED LOGIC;

DATA PROCESSING; KNOWLEDGE BASED SYSTEMS; LOGIC PROGRAMMING; STABILITY;

INFORMATION MANAGEMENT;

EID: 79961141570     PISSN: 18650929     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-14055-6_14     Document Type: Conference Paper

References (13)

1. 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)
2. 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)
3. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proc. of ICLP 1988, pp. 1070-1080 (1988)
4. Grant, J., Hunter, A.: Measuring inconsistency in knowledgebases. J. Intell. Inf. Syst. 27(2), 159-184 (2006)
5. 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)
6. 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)
7. Janssen, J., De Cock, M., Vermeir, D.: Fuzzy argumentation frameworks. In: Proc. of IPMU 2008, pp. 513-520 (2008)
8. Lozinskii, E.: Information and evidence in logic systems. Journal of Experimental and Theoretical Artificial Intelligence 6, 163-193 (1994)
9. 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)
10. 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)
11. 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)
12. 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)
13. 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)