Some Syntactic Approaches to the Handling of Inconsistent Knowledge Bases: A Comparative Study Part 1: the Flat Case

Studia Logica

Volumn 58, Issue 1, 1997, Pages 17-45

  Benferhat, Salem ^a   Dubois, Didier ^a   Prade, Henri ^a  

^a IRIT   (France)

Author keywords

Argumentation; Inconsistency; Nonmonotonic reasoning; Syntax sensitivity

Indexed keywords

EID: 0043115834     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1004987830832     Document Type: Article

References (37)

1. BENFERMAT, S., D. DUBOIS, H. PRADE, 1992, 'Representing default rules in possibilistic logic', Proc. of the 3rd Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR'92), Cambridge, MA, 673-684.
2. BENFERHAT, S., D. DUBOIS, H. PRADE, 1993, 'Argumentative inference in uncertain and inconsistent knowledge bases', Proc. of the 9th Conf. on Uncertainty in Artificial Intelligence, Washington, Morgan & Kaufmann, San Mateo, CA, 411-419,
3. BENFERHAT, S., G. CAYROL, D. DUBOIS, J. LANG, H. PRADE, 1993, 'Inconsistency management and prioritized syntax-based entailment', Proc. of the the 13th Inter. Joint Conf. on Artificial Intelligence (IJCAI'93), Chambéry, 640-645.
4. BENFERHAT, S., D. DUBOIS, H. PRADE, 1994, 'Some syntactic approaches to the handling of inconsistent knowledge bases: a comparative study, Part 2: The prioritized case', Technical report IRIT no 94/55-R, Toulouse
5. (a short version entitled 'How to infer from inconsistent beliefs without revising?' is available in the Proc. of The Int. Joint Conf. on Artificial Intelligence (IJCAI'95), Montreal, August 1995, 1449-1455).
6. CAYROL, C., 1995, 'Reasoning from inconsistent belief bases: on the relation between argumentation and coherence-based nonmonotonic entailment', Rapport IRIT/95-09R, IRIT, Université Paul Sabatier, Toulouse, Prance. Proc. of The Int. Joint Conf. on Artificial Intelligence (IJCAI'95), Montreal, August 1995, 1443-1448.
7. DA COSTA, N. C. A., 1963, 'Calculs propositionnels pour les systémes formels inconsistants', Compte Rendu Acad. des Sciences, Paris, 257, 3790-3792.
8. DARWICHE, A. Y., 1993, 'Argument calculus and networks. Proc. of the 9th Conf. on Uncertainty in Artificial Intelligence', Washington, Morgan & Kaufmann, San Mateo, CA, 420-427.
9. DE KLEER, J., 1986, 'An assumption-based TMS', Artificial Intelligence 28, 127-162.
10. DE KLEER, J., 1990, 'Using crude probability estimates to guide diagnosis', Artificial Intelligence 45, 381-391.
11. DUBOIS, D., J. LANG, H. PRADE, 1994, 'Possibilistic logic', In: Handbook of Logic in Artificial Intelligence and Logic Programming 3 (D. M. Gabbay et al., eds.), Oxford University Press, 439-513.
12. DUNG, P. M., 1993, 'On the acceptability of arguments and its fundamental role in non-monotonic reasoning and logic programming', Proc. of the 13th Inter. Joint Conf. on Artificial Intelligence (IJCAI'93), Chambéry, 852-857.
13. ELVANG-GORANSSON, M., P. KRAUSE, J. Fox, 1993, 'Acceptability of arguments as 'logical uncertainty" In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty (M. Clarke et al., eds.), Lecture Notes in Computer Science 747, Springer Verlag, Berlin, 85-96
14. Fox, J., P. KRAUSE, S. AMBLER, 1992, 'Arguments, contradictions and practical reasoning', Proc. of the 8th Europ. Conf. on Artificial Intelligence (ECAI'92), Vienna, Austria, 623-627.
15. GABBAY, D. M., 1985, 'Theoretical foundations for nonmonotonic reasoning in expert systems', In: Logics and models of Concurrent Systems (K. R. Apt, ed.), Springer Verlag, Berlin, 439-457.
16. GABBAY, D. M., A. HUNTER, 1991, 'Making inconsistency respectable (Part 1)', In: Fundamentals of Artificial Intelligence Research (P. Jorrand, J. Kelemen, eds.), Lecture Notes in Artificial Intelligence 535, Springer Verlag, Berlin, 19-32.
17. GABBAY, D. M., A. HUNTER, 1993, 'Making inconsistency respectable (Part 2)', In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty (M. Clarke et al., eds.), Lecture Notes in Computer Science 747, Springer Verlag, Berlin, 129-144.
18. GÄRDENFORS, P., 1988 Knowledge in Flux -Modeling the Dynamic of Epistemic States. The MIT Press, Cambridge, MA.
19. GOLDSZMIDT, M., 1992, Qualitative probabilities: A normative framework for common-sense reasoning. PhD Thesis, University of California.
20. GOLDSZMIDT, M., J. PEARL, P. MORRIS, 1990, 'A maximum entropy approach to nonmonotonic reasoning', Proc. of 8th National Conf. on Artificial Intelligence Conference (AAAI'90), Boston, MA, 646-652.
21. KRAUS, S., D. LEHMANN, M. MAGIDOR, 1990, 'Nonmonotonic reasoning, preferential models and cumulative logics, Artificial Intelligence 44, 167-207.
22. KRAUSE, P., S. AMBLER, J. Fox, M. ELVANG-GORANSSON, 1994, A logic of argumentation for uncertain reasoning, Imperial Cancer Research Institute, London, UK.
23. LANG, J., 1994, 'Syntax-based default reasoning as probabilistic model-based diagnosis', Proc. of the 10th Conf. on Uncertainty in Artificial Intelligence (UAI'94), Morgan & Kaufmann, San Mateo, CA, 391-298.
24. LIN, J., 1987, 'Reasoning in the presence of inconsistency', Proc. of the 6th National Conf. on Artificial Intelligence (AAAI'87), Seattle, 139-143.
25. MAKINSON, D., 1989, 'General theory of cumulative inference', In: Non-Monotonic Reasoning (M. Reinfrank et al., eds.), Lecture Notes in Computer Sciences 346, Springer Verlag, Berlin, 1-18.
26. NEBEL, J., 1991, 'Belief revision and default reasoning: syntax-based approaches', Proc. of the 2nd Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR'91) (J. Allen, R. Fikes, E. Sandewall, eds.), Morgan & Kaufmann, Cambridge, MA, 417-428.
27. POLLOCK, J. L., 1987, 'Defeasible reasoning', Cognitive Science 11, 481-518.
28. POOLE, J. L., 1985, 'On the comparison of theories: preferring the most specific explanation', Proc. the 9th Inter. Joint Conf. on Artificial Intelligence (IJCAI85), Los Angeles, CA, 144-147.
29. REGGIA, J. A., D. S. NAU, AND P. Y. WANG, 1985, 'A formal model of diagnosis inference', Information Sciences 37, 227-285.
30. REITER, R., 1987, 'A theory of diagnosis from first principles', Artificial Intelligence 32, 57-95.
31. RESCHER, N., R. BRANDOM, 1980, The Logic of Inconsistency, Basil Blackwell, Oxford.
32. RESCHER, N., R. MANOR, 1970, 'On inference from inconsistent premises', Theory and Decision 1, 179-219.
33. SATOH, K., 1990, 'A probabilistic interpretation for lazy nonmonotonic reasoning', Proc. of the 8th National Conf. on Artificial Intelligence (AAAI-90), Boston, 659-664.
34. SHAFER, G., 1976, A Mathematical Theory of Evidence, Princeton University Press, Princeton, NJ.
35. SIMARI, G. R., R. P. LOUI, 1992, 'A mathematical treatment of defeasible reasoning and its implementation', Artificial Intelligence 53, 125-157.
36. SCHLECHTA, K., 1995, 'Defaults as generalized quantifiers', J. Logic. Computat. 5, 1-22.
37. TOULMIN, S., 1956, The Uses of Argument, Cambridge University Press, Cambridge, UK.