On the measure of incoherence in extended residuated logic programs

IEEE International Conference on Fuzzy Systems

Volumn , Issue , 2009, Pages 598-603

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

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

CLASSICAL APPROACH; EXTENDED LOGIC; FIX-POINT SEMANTICS; FUZZY SETTINGS; LITERALS; RESIDUATED LOGIC; STRONG NEGATIONS;

FUZZY SYSTEMS;

LOGIC PROGRAMMING;

EID: 71249084057     PISSN: 10987584     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FUZZY.2009.5277277     Document Type: Conference Paper

References (21)

1. J. Alcântara, C. Damásio, and L. Pereira. An encompassing framework for paraconsistent logic programs. Journal of Applied Logic, 3(1):67-95, 2005.
2. O. Arieli. Distance-based paraconsistent logics. Int. J. Approx. Reasoning, 48(3):766-783, 2008.
3. P. Barceló and L. E. Bertossi. Logic programs for querying inconsistent databases. In PADL '03: Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages, pages 208-222, London, UK, 2003. Springer-Verlag.
4. N. D. Belnap. A Useful Four-Valued Logic. In J. M. Dunn and G. Epstein, editors, Modern Uses of Multiple-Valued Logic, pages 8-37. D. Reidel Pub., 1975.
5. S. Benferhat, D. Dubois, and H. Prade. Argumentative inference in uncertain and inconsistent knowledge bases. In In Proceedings of Uncertainty in Artificial Intelligence, pages 411-419. Morgan Kaufmann, 1993.
6. L. Bertossi, A. Hunter, and T. Schaub. Introduction to Inconsistency Tolerance. In A. H. Leopoldo Bertossi and T. Schaub, editors, Inconsistency Tolerance, Lecture Notes in Computer Science 3300, pages 1-14. Springer Verlag, 2005.
7. P. Besnard and A. Hunter. Quasi-Classical Logic: Non-Trivializable Classical Reasoning From Inconsistent Information. In Symbolic and Quantitative Approaches to Reasoning and Uncertainty 95, Lecture Notes in Artificial Intelligence 946, pages 44-51. Springer Verlag, 1995.
8. P. Besnard and A. Hunter. A Logic-based Theory of Deductive Arguments. Artificial Intelligence, 128:203-235, 2001.
9. P. Besnard and T. H. Schaub. Signed Systems for Paraconsistent Reasoning. Journal of Automated Reasoning, 20:191-213, 1998.
10. S. Cubillo, C. Torres, and E. Castiñeira. Self-contradiction and contradiction between two Atanassov's intuitionistic fuzzy sets. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 16(3):283-300, 2008.
11. N. C. A. da Costa. On the Theory of Inconsistent Formal System. Notre Dame Journal of Formal Logic, 15 (4):497-510, 1974.
12. S. de Amo and M. S. Pais. A paraconsistent logic programming approach for querying inconsistent databases. Int. J. Approx. Reasoning, 46(2):366-386, 2007.
13. D. Dubois and H. Prade. Properties of measures of information in evidence and possibility theories. Fuzzy Sets Syst., 100(supp.):35-49, 1999.
14. M. Gelfond and V. Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 9:365-385, 1991.
15. G. Greco, S. Greco, and E. Zumpano. A logical framework for querying and repairing inconsistent databases. IEEE Trans. on Knowl. and Data Eng., 15(6):1389-1408, 2003.
16. A. Hunter. Reasoning with Contradictory Information Using Quasi-Classical Logic. Journal of Logic and Computation, 10 (5):677-703, 2000.
17. A. Hunter and S. Konieczny. Approaches to measuring inconsistent information. In Inconsistency Tolerance. Volume 3300 of Lecture Notes in Computer Science, pages 189-234. Springer, 2005.
18. N. Madrid and M. Ojeda-Aciego. Towards a fuzzy answer set semantics for residuated logic programs. In Proc of WI-IAT'08. Worshop on Fuzzy Logic in the Web, pages 260-264, 2008.
19. N. Madrid and M. Ojeda-Aciego. On coherence and consistence in fuzzy answer set semantics for residuated logic programs. Lect. Notes in Computer Science, 2009. To appear.
20. Z. Majkic. Meta many-valued logic programming for incomplete and locally inconsistent databases. In Proc of Database Engineering and Applications Symposium, pages 459-461, 2004.
21. F. Marcelloni and M. Aksit. Leaving inconsistency using fuzzy logic. Information & Software Technology, 43(12):725-741, 2001.