Three-valued logics for inconsistency handling

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2424, Issue , 2002, Pages 332-344

  Konieczny, Sébastien ^a   Marquis, Pierre ^b  

^a UNIVERSITÉ PAUL SABATIER   (France)

^b UNIVERSITÉ D'ARTOIS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATION THEORY;

FINE GRAINED; INCONSISTENCY HANDLING; PARACONSISTENT LOGIC; THREE-VALUED; THREE-VALUED LOGIC;

MANY VALUED LOGICS;

EID: 77952058498     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (22)

1. O. Arieli and A. Avron. Four-valued diagnoses for stratified knowledge-bases. In Proceedings of CSL'96, LNCS 1258, pages 1-17, 1997.
2. O. Arieli and A. Avron. The value of four values. Artificial Intelligence, 102:97-141, 1998.
3. A. Avron. Simple consequence relations. Information and Computation, 92:105-139, 1991.
4. N.D. Belnap. A useful four-valued logic, pages 7-37. Modern Uses of Multiple-Valued Logic. Reidel, 1977.
5. P. Besnard and T. Schaub. Circumscribing inconsistency. In Proceedings of IJCAI'97, pages 150-155, 1997.
6. M. Cadoli and M. Schaerf. On the complexity of entailment in propositional multivalued logics. Annals of Mathematics and Artificial Intelligence, 18:29-50, 1996.
7. C. Cayrol and M.-C. Lagasquie-Schiex. Non-monotonic syntax-based entailment: a classification of consequence relations. In Proceedings of ECSQARU'95, LNAI 946, pages 107-114, 1995.
8. S. Coste-Marquis and P. Marquis. Complexity results for paraconsistent inference relations. In Proceedings of KR'02, pages 61-72, 2002.
9. I.M.L. D'Ottaviano and N.C.A. da Costa. Sur un problème de Jáskowski. In Comptes Rendus de l'Académie des Sciences de Paris, volume 270, pages 1349-1353. 1970.
10. D. Dubois and H. Prade. Possibility theory, probability theory and multiple-valued logics: A clarification. Annals of Mathematics and Artificial Intelligence, 32:35-66, 2001.
11. A.M. Frisch. Inference without chaining. In Proceedings of IJCAI'87, pages 515-519, 1987.
12. D. M. Gabbay. Theoretical foundations for nonmonotonic reasoning in experts systems. In K. Apt, editor, Logic and Models of Concurrent Systems. Springer Verlag, 1985.
13. S. Kraus, D. Lehmann, and M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44:167-207, 1990.
14. J. Lang and P. Marquis. Resolving inconsistencies by variable forgetting. In Proceedings of KR'02, pages 239-250, 2002.
15. D. Lehmann and M. Magidor. What does a conditional knowledge base entail? Artificial Intelligence, 55:1-60, 1992.
16. H.J. Levesque. A knowledge-level account of abduction (preliminary version). In Proceedings of IJCAI'89, pages 1061-1067, 1989.
17. D. Makinson. Handbook of Logic in Artificial Intelligence and Logic Programming, volume III, chapter General Pattern in nonmonotonic reasoning, pages 35-110. Clarendon Press, Oxford, 1994.
18. P. Marquis and N. Porquet. Resource-bounded inference from inconsistent belief bases. In Proceedings of IJCAI'01, pages 103-108, 2001.
19. C. H. Papadimitriou. Computational Complexity. Addison-Wesley, 1994.
20. G. Priest. Reasoning about truth. Artificial Intelligence, 39:231-244, 1989.
21. G. Priest. Minimally inconsistent LP. Studia Logica, 50:321-331, 1991.
22. E. Sandewall. A functional approach to non-monotonic logic. In Proceedings of IJCAI'85, pages 100-106, 1985.