Handling locally stratified inconsistent knowledge bases

Studia Logica

Volumn 70, Issue 1, 2002, Pages 77-104

  Benferhat, Salem ^a   Garcia, Laurent ^b  

^a IRIT   (France)

^b UNIVERSITÉ D'ANGERS   (France)

Author keywords

Conflicts; Inconsistency handling; Local stratification

Indexed keywords

EID: 26944453040     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1014606325783     Document Type: Article

References (42)

1. Alchourron, C., P. Gärdenfors and D. Makinson. On the logic of theory change: partial meet contraction and revision functions. J. of Symb. Logic, 50, 1985.
2. Amgoud, L., and C. Cayrol. On the acceptability of arguments in preference-based argumentation. Proceedings of 14th Conference on Uncertainty in Artificial Intelligence (UAI'98), 1-7, 1998.
3. Amgoud, L., and C. Cayrol. A reasoning model based on the production of acceptable arguments. 8th Int. Workshop on Non-Monotonic Reasoning (NMR'2000), 2000.
4. Benferhat, S., C. Cayrol, D. Dubois, J. Lang and H. Prade. Inconsistency management and prioritized syntax-based entailment. Proceedings of 13th International Joint Conference on Artificial Intelligence (IJCAI'93), 640-645, 1993.
5. Benferhat, S., D. Dubois and H. Prade. Representing default rules in possibilistic logic. Proceedings of 3rd International Conference of Principles of Knowledge Representation and Reasoning (KR '92), 673-684, 1992.
6. Benferhat, S., D. Dubois and H. Prade. How to infer from inconsistent beliefs without revising? Proc. of 14th Int. Joint Conf. on Artif. Intelligence (IJCAI'95), 1995.
7. Benferhat, S., D. Dubois, J. Lang, H. Prade, A. Saffiotti and P. Smets. A general approach for inconsistency handling and merging information in prioritized knowledge bases. Proceedings of 6th International Conference of Principles of Knowledge Representation and Reasoning (KR'98), 466-477, 1998.
8. Benferhat, S., and L. Garcia. A local handling of inconsistent knowledge and default bases. Applications of Uncertainty Formalisms, LNAI State-of-the-Art Survey, LNAI 1455, 325-353, 1998.
9. Besnard, P., and A. Hunter. Quasi-classical logic: non-trivializable classical reasoning from inconsistent information. Proc. of ECSQARU'95, LNAI 946, 44-51, 1995.
10. Brewka, G. Preferred subtheories: an extended logical framework for default reasoning. Proceedings of 11th International Joint Conference on Artificial Intelligence (IJCAI'89), 1043-1048, 1989.
11. Brewka, G. Reasoning about priorities in default logic. Proceedings of National Conference on Artificial Intelligence (AAAI'94), 940-945, 1994.
12. Castell, T., C. Cayrol, M. Cayrol and D. Le Berre. Using the Davis and Putnam procedure for an efficient computation of preferred models. Proceedings of 12th European Conference on Artificial Intelligence (ECAI'96), 1996.
13. Cayrol, C., V. Royer and C. Saurel. Managements of preferences in assumption-based reasoning. Advanced Methods in Artificial Intelligence, LNCS 682, 13-22, 1993.
14. Cholvy, L. Automated reasoning with merged contradictory information whose reliability depends on topics. Proceedings of ECSQARU'95, LNAI 946, 1995.
15. Cholvy, L., and T. Hunter. Information fusion in logic: a brief overview. Proc. of Qual. and Quant. Practical Reasoning (ECSQARU'97), LNAI 1244, 86-95, 1997.
16. Da Costa, N. C. A. Calcul propositionnel pour les systèmes formels inconsistants. Compte Rendu Académie des Sciences (Paris), 257:3790-3792, 1963.
17. Damasio, C. V., and L. M. Pereira. A paraconsistent semantics with contradiction support detection. Proceedings of 4th Conference on Logic Programming and NonMonotonic Reasoning (LPNMR '97), LNAI 1265, 224-243, 1997.
18. Davis, M., and H. Putnam. A computing procedure for quantification theory. Journal of the Assoc, for Computing Machinery, 7:201-215. 1960.
19. De Kleer, J. Local methods for localizing faults in electronic circuits, MIT AI Memo 394, 1976.
20. De Kleer, J. An assumption-based TMS. Artificial Intelligence, 28:127-162, 1986.
21. De Kleer, J. Using crude probability estimates to guide diagnosis. Artificial Intelligence, 45, 1990.
22. Dubois, D., J. Lang and H. Prade. Possibilistic logic. Handbook of Logic in Artificial Intelligence and Logic Programming, Vol3:439-513, 1994.
23. Dung, P. M. On the acceptability of arguments and its fundamental role in non-monotonic reasoning, logic programming and n-person games. Artificial Intelligence, 77:321-357. 1995.
24. Dupin de Saint-Cyr, F., J. Lang and T. Schiex. Penalty logic and its link with Dempster-Shafer theory. Proceedings of the 10th Conf. on Uncertainty in Artificial Intelligence (UAI'94), 204-211, 1994.
25. Garcia, L. Raisonnement local dans les bases de connaissances ordonnées : Applications au traitement des incohérences et au raisonnement plausible, PhD Thesis. Université Paul Sabatier, Toulouse, France, 1998.
26. Gärdenfors, P. Knowledge in flux - Modeling the dynamic of epistemic states, MIT Press, 1988.
27. Lehmann, D. Another perspective on default reasoning. Annals of Mathematics and Artificial Intelligence, 15:61-82, 1995.
28. Moulin, H. Axioms of cooperative decision making, Wiley, New York, 1988.
29. Nebel, B. Base revision operator and schemes: semantics representation and complexity. Proc. of 11th European Conf. on Artif. Intelligence (EGAI'94), 1994.
30. Papini, O. A complete revision function in propositional calculus. Proceedings of 10th European Conference on Artificial Intelligence (ECAI'92), 1992.
31. Pearl, J. System Z: a natural ordering of defaults with tractable applications to default reasoning. Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge (TARK'90), 121-135, 1990.
32. Provan, G. M. The computational complexity of assumption-based truth maintenance systems. Tech. Report, Univ. of British Columbia, Vancouver, 1988.
33. Reiter, R. A theory of diagnosis from first principles. Artif. Intelligence, 41, 1987.
34. Rescher, N. Plausible reasoning: An introduction to the theory and practice of plausibilistic inference, 1976.
35. Roos, N. A logic for reasoning with inconsistent knowledge. Artif. Intell., 57, 1992.
36. Tessier, C., L. Chaudron and H. J. Müller (eds). Conflicting Agents - Conflict management in multi-agent systems, Kluwer Academic Publishers, 2000.
37. Toulmin, S. The uses of argument, Cambridge University Press, 1956.
38. Wassermann, R. An Algorithm for Belief Revision. Proc. of 7th International Conf. of Principles of Knowledge Representation and Reasoning (KR '2000), 2000.
39. Williams, M.-A. Transmutations of Knowledge Systems. Proc. of 4th International Conf. of Principles of Knowledge Representation and Reasoning (KR'94), 1994.
40. Williams, M.-A. A practical approach to belief revision: reason-based change. Proceedings of 5th International Conference of Principles of Knowledge Representation and Reasoning (KR'96), 412-421, 1996.
41. Wurbel, E., O. Papini and R. Jeansoulin. Revision: an application in the framework of GIS. Proceedings of 7th International Conference of Principles of Knowledge Representation and Reasoning (KR'2000), 505-515, 2000.
42. Yang, Q. A theory of conflict resolution in planning. Artificial Intelligence, 58:361-392, 1992.