Measuring inconsistency in fuzzy answer set semantics

IEEE Transactions on Fuzzy Systems

Volumn 19, Issue 4, 2011, Pages 605-622

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

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

Fuzzy answer set semantics; inconsistency

Indexed keywords

AMOUNT OF INFORMATION; ANSWER SET SEMANTICS; FUZZY FRAMEWORKS; INCONSISTENCY; INCONSISTENT INFORMATION; LOGIC THEORY; MEASURING INCONSISTENCY; SOFT MECHANISM; TRUTH VALUES;

SEMANTICS;

FUZZY SET THEORY;

EID: 79961142714     PISSN: 10636706     EISSN: None     Source Type: Journal    
DOI: 10.1109/TFUZZ.2011.2114669     Document Type: Article

References (41)

1. M. Balduccini, "CR-prolog as a specification language for constraint satisfaction problems," Lect. Notes Artif. Intelligence, vol. 5753, pp. 402-408, 2009.
2. N. D. Belnap, "A useful four-valued logic," in Modern Uses of Multiple-Valued Logic, G. Epstein and J.M. Dunn, Eds. Boston, MA: Reidel, 1977, pp. 7-37.
3. L. Bertossi,A.Hunter, and T. Schaub, Eds., Inconsistency Tolerance (Lect. Notes Comput. Sci., vol. 3300). Berlin, Germany: Springer, 2005.
4. C. V. Damásio and L.M. Pereira, "Antitonic logic programs," Lect. Notes Artif. Intell., vol. 2173, pp. 379-392, 2001.
5. C. V. Damásio and L. M. Pereira, "Monotonic and residuated logic programs," Lect. Notes Artif. Intell., vol. 2143, pp. 748-759, 2001. (Pubitemid 33334720)
6. D. Dubois, S. Konieczny, and H. Prade, "Quasi-possibilistic logic and its measures of information and conflict," Fundam. Inf., vol. 57, no. 2-4, pp. 101-125, 2003.
7. M. Fitting, "Fixpoint semantics for logic programming-A survey," Theor. Comput. Sci., vol. 278, pp. 25-51, 1999.
8. N. Galatos and J. G. Raftery. (2004), "Adding involution to residuated structures," Studia Logica. [Online]. vol. 77, no. 2, pp. 181-207.Available: http://www.jstor.org/stable/20016623
9. M. Gelfond and V. Lifschitz, "The stable model semantics for logic programming," in Proc. ICLP, 1988, pp. 1070-1080.
10. M. Gelfond and V. Lifschitz, "Classical negation in logic programs and disjunctive databases," New Gener. Comput., vol. 9, pp. 365-385, 1991.
11. J. Grant and A. Hunter, "Measuring inconsistency in knowledge bases," J. Intell. Inf. Syst., vol. 27, no. 2, pp. 159-184, 2006.
12. P. Hájek, Metamathematics of Fuzzy Logic. (Trends in Logic). Norwell, MA: Kluwer, 1998.
13. A. Hunter and S. Konieczny, "Approaches to measuring inconsistent information," Lect. Notes Comput. Sci., vol. 3300, pp. 189-234, 2005.
14. A. Hunter and S.Konieczny, "Shapley inconsistency values," in Principles of Knowledge Representation and Reasoning, Menlo Park, CA: AAAI, 2006, pp. 249-259.
15. A. Hunter and S. Konieczny, "Measuring inconsistency through minimal inconsistent sets," in Proc Principles Knowl. Represent. Reason., Menlo Park, CA: AAAI, 2008, pp. 358-366.
16. J. Janssen, S. Heymans, D. Vermeir, and M. De Cock, "Compiling fuzzy answer set programs to fuzzy propositional theories," Lect. Notes Comput. Sci., vol. 5336, pp. 362-376, 2008.
17. J. Janssen, S. Schockaert, D. Vermeir, and M. De Cock, "General fuzzy answer set programs," Lect. Notes Comput. Sci., vol. 5571, no. 352-359, 2009.
18. K. Knight, "Measuring inconsistency," J. Philos. Logic, vol. 31, no. 1, pp. 77-98, 2002.
19. S. Konieczny, J. Lang, and P. Marquis, "Quantifying information and contradiction in propositional logic through epistemic actions," in Proc. Int. Joint Conf. Artif. Intell., 2003, pp. 106-111.
20. E. L. Lozinskii, "Resolving contradictions: A plausible semantics for inconsistent systems," J. Autom. Reason., vol. 12, no. 1, pp. 1-32, 1994.
21. T. Lukasiewicz, "Many-valued disjunctive logic programs with probabilistic semantics," Lect. Notes Comput. Sci., vol. 1730, pp. 277-289, 1999.
22. T. Lukasiewicz, "Fuzzy description logic programs under the answer set semantics for the semantic web," Fundam. Inform., vol. 82, no. 3, pp. 289-310, 2008.
23. T. Lukasiewicz and U. Straccia, "Tightly integrated fuzzy description logic programs under the answer set semantics for the semantic web," Lect. Notes Comput. Sci., vol. 4524, pp. 289-298, 2007.
24. N. Madrid and M. Ojeda-Aciego. (2008), "Toward a fuzzy answer set semantics for residuated logic programs," in Proc. WI-IAT Workshop Fuzzy Logic Web [Online]. pp. 260-264. Available: http://dx.doi.org/ 10.1109/WIIAT.2008.357
25. N. Madrid and M. Ojeda-Aciego. (2009). On coherence and consistence in fuzzy answer set semantics for residuated logic programs. Lect. Notes Comput. Sci. [Online]. vol. 5571, pp. 60-67. Available: http://dx.doi.org/ 10.1007/978-3-642-02282-1-8
26. N. Madrid and M. Ojeda-Aciego. (2009), "On the measure of incoherence in extended residuated logic programs," in Proc. IEEE Int. Conf. Fuzzy Syst. [Online]. pp. 598-603. Available: http://dx.doi.org/ 10.1109/FUZZY.2009.5277277
27. N. Madrid and M. Ojeda-Aciego. (2010), "Measuring instability in normal residuated logic programs: Adding information," in Proc. IEEE Intl. Conf. Fuzzy Syst. [Online]. pp. 2244-2250. Available: http://dx.doi.org/ 10.1109/FUZZY.2010.5584819
28. N. Madrid and M. Ojeda-Aciego. (2010), "Measuring instability in normal residuated logic programs: Discarding information," Commun. Comput. Inf. Sci. [Online]. vol. 80, pp. 128-137. Available: http://dx.doi.org/10.1007/ 978-3-642-14055-6-14
29. N. Madrid and M. Ojeda-Aciego, "On the notion of coherence in fuzzy answer set semantics," in Proc. XV Spanish Conf. Fuzzy Logic Technol., 2010, pp. 157-162.
30. J. Medina, M. Ojeda-Aciego, and P. Vojtáš. (2001), "Multi-adjoint logic programming with continuous semantics," Lect. Notes Artif. Intell. [Online]. vol. 2173, pp. 351-364. Available: http://link.springer.de/link/ service/series/0558/bibs/2173/21730351.htm (Pubitemid 33347429)
31. J. Medina, M. Ojeda-Aciego, and P. Vojtáš, "Similarity-based unification: A multi-adjoint approach," Fuzzy Sets Syst., vol. 146, pp. 43-62, 2004.
32. G. Priest, Paraconsistent Logic (Handbook Philos. Logic, vol. 6). Berlin, Germany: Springer, 2002, pp. 287-395.
33. E. Saad, "Towards the computation of stable probabilistic model semantics," Lect. Notes Comput. Sci., vol. 4314, pp. 143-158, 2006.
34. U. Straccia, "Annotated answer set programming," Ist. Sci. Tecnol. dell'Inform.-Consiglio Nazionale delle Ricerche, Pisa, Italy, Tech. Rep. 2005-TR-51, 2005.
35. U. Straccia, "Towards vague query answering in logic programming for logic-based information retrieval," Lect. Notes Comput. Sci., vol. 4529, pp. 125-134, 2007. (Pubitemid 350269970)
36. U. Straccia, "Managing uncertainty and vagueness in description logics, logic programs and description logic programs," Lect. Notes Comput. Sci., vol. 5224, pp. 54-103, 2008.
37. D. Van Nieuwenborgh, M. De Cock, and D. Vermeir, "Computing fuzzy answer sets using dlvhex," Lect. Notes Comput. Sci., vol. 4670, pp. 449-450, 2007.
38. D. Van Nieuwenborgh, M. De Cock, and D. Vermeir, "An introduction to fuzzy answer set programming," Ann. Math. Artif. Intell., vol. 50, no. 3-4, pp. 363-388, 2007.
39. G.Wagner, "Negation in fuzzy and possibilistic logic programs," in Logic Programming and Soft Computing, T. P. Martin and F. A. Fontana, Eds. New York: Taylor & Francis, 1998, ch. 6, pp. 113-128.
40. G.Wagner, "Web rules need two kinds of negation," Lect. Notes Comput. Sci., vol. 2901, pp. 33-50, 2003.
41. P. Wong and P. Besnard, "Paraconsistent reasoning as an analytic tool," Logic J. IGPL, vol. 9, no. 2, pp. 217-229, 2001.