Abstract
The notion of priority is very important in the study of knowledge-based systems [Fagin et al., 1983] . In practice, knowledge bases are sometimes inconsistent, due to the presence of rules having exceptions, or because the available knowledge comes from several, not necessarily agreeing sources. When priorities attached to pieces of knowledge are available, the task of coping with inconsistency is greatly simplified, since conflicts have a better chance to be solved. Gärdenfors [1988] has thus proved that upon arrival of a new piece of propositional information, any revision process of a belief set which satisfies natural requirements, is implicitly based on a priority ordering. Then the handling of priorities has been shown to be completely in agreement with possibilistic logic [Dubois and Prade, 1991] . One way of tackling inconsistency is to revise the knowledge base and restore consistency. However, as pointed out in [Benferhat et al., 1995a] , in the case of multiple sources of information, it does not always make sense to revise an inconsistent knowledge base since it comes down to destroying part of the knowledge. In the context of merging several knowledge bases, the introduction of priorities between pieces of information can be explained by the two following situations:
-
Each partial knowledge base issued from a source of information is ‘flat’ (i.e. without any priority between items). But there is a complete pre-ordering between the sources of information according to their reliability. In this case, merging different sources of information leads to a prioritized knowledge base, where the priority level of each formula reflects the reliability of the source which supplies it. A particular case is when each piece of information is supported by a different source.
-
All sources of information are equally reliable, but inside each partial knowledge base there exists a complete pre-ordering between pieces of information given by an expert, who rank-orders them according to their level of certainty or strength. Here again, the combination of the different sources of information gives a prioritized knowledge base, provided that the scales evaluating priority in each knowledge base are commensurate.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
C. Alchourron and D. Makinson. On the logic of theory change: safe contraction. Studia Logica, 44, 405–422, 1985.
L. Amgoud, C. Cayrol and D. Le Berre. Comparing arguments using preference orderings for argument-based reasoning. In Proceedings of IEEE International Conference on Tools in Artificial Intelligence (ICTAI’96), Toulouse, pp. 400–403, 1996.
S. Benferhat, D. Dubois and H. Prade. Representing default rules in possibilistic logic. In Proc. of the 3rd Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR’92), Cambridge, MA, pp. 673–684, 1992.
S. Benferhat, C. Cayrol, D. Dubois, J. Lang and H. Prade. Inconsistency management and prioritized syntax-based entailment. In Proc. of the 13th Inter. Joint Conf. on Artificial Intelligence (IJCAI’93), Chambéry, pp. 640–645, 1993.
S. Benferhat, D. Dubois and H. Prade. Argumentative inference in uncertain and inconsistent knowledge bases. In Proc. of the 9th Conf. on Uncertainty in Artificial Intelligence, D. Beckerman and A. Mamdani, eds. pp. 411419. 1993.
S. Benferhat, D. Dubois and H. Prade. How to infer from inconsistent beliefs without revising?. In Proc. of the 14th Inter. Joint Conf. on Artificial Intelligence (IJCAI’95),Montréal, Canada, pp. 1449–1455, 1995.
S. Benferhat, D. Dubois and H. Prade. A comparative study of some syntactic approaches to the handling of inconsistent knowledge bases: Part 2: The prioritized case. Technical Report No IRIT/94–95-R (revised version April 1998, to appear in Logic at Work, E. Orlowska, ed.), 1995.
S. Benferhat, D. Dubois and H. Prade. Reasoning in inconsistent stratified knowledge bases. In Proc. of 26th IEEE Inter. Symposium on Multiple-Valued Logic,Santiago de Compostela, pp. 184–189, 1996.
S. Benferhat, D. Dubois and H. Prade. Some syntactic approaches to the handling of inconsistent knowledge bases: a comparative study—Part 1: The flat case. Studio Logica, 58, 17–45, 1997.
S. Benferhat, D. Dubois, J. Lang, H. Prade, P. Saffiotti and P. Smets. A general approach for inconsistency handling and merging information in prioritized knowledge bases. In Proc. of the 6th Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR’98), pp. 466–477. Trento, Italy, 1998.
S. Benferhat and L. Garcia. A coherent-based approach to default reasoning. In Qualitative and Quantitative Practical Reasoning (ECSQARUFAPR’97), Bad Honnef, Germany, D. Gabbay, R. Kruse, A. Nonnengart and H. J. Ohlbach, eds. pp. 43–57. Lecture Notes in Artificial Intelligence, vol. 1244, Springer Verlag, Berlin, 1997.
P. Besnard and A. Hunter. Quasi-classical logic: nontrivializable classical reasoning from inconsistent information. In Symbolic and Quantitative Approaches to Uncertainty (ECSQARU’95), pp. 44–51. Vol. 946 of Lecture notes in Artificial Intelligence, Springer Verlag, Berlin, 1995.
G. Brewka. Preferred subtheories: an extended logical framework for default reasoning. In Proc. of the 11th Inter. Joint Conf. on Artificial Intelligence (IJCAI’89), Detroit, MI, pp. 1043–1048, 1989.
C. Cayrol, V. Royer and C. Saurel. Management of preferences in Assumption-Based Reasoning. IPMU-92 Advanced Methods in Artificial Intelligence, B. B. Meunier L. Valverde and R. Yager, eds. pp. 13–22. Vol. 682 of Lecture Notes in Computer Science, Springer Verlag, Berlin, 1993.
C Cayrol. On the relation between argumentation and non-monotonic coherence-based entailment. In Proc. of the 14th Inter. Joint Conf. on Artificial Intelligence (IJCAI’95), Montréal, Canada, pp. 1443–1448, 1995.
N. C. A. Da Costa. Calculs propositionnels pour les systèmes formels inconsistants. Compte Rendu Acad. des Sciences (Paris), 257, 3790–3792, 1963.
J. De Kleer. An assumption-based TMS. Artificial Intelligence, 28, 127–162, 1986.
J. Doyle. A truth maintenance system. Artificial Intelligence, 12, 231–272, 1979.
D. Dubois, J. Lang and H. Prade. Inconsistency in possibilistic knowledge bases To live or not live with it. In Fuzzy Logic for the Management of Uncertainty, L. A. Zadeh and J. Kacprzyk, eds. pp. 335–351. Wiley, New York, 1992.
D. Dubois, J. Lang and H. Prade. Dealing with multi-source information in possibilistic logic. In Proc. of the 10th European Conf. on Artificial Intelligence (ECAI’92), Vienna, Austria, pp. 38–42, 1992.
D. Dubois, J. Lang and H. Prade. Handling uncertainty, context, vague predicates, and partial inconsistency in possibilistic logic. In Fuzzy Logic and Fuzzy Control (Proc. of the IJCAI’91 Workshops on Fuzzy Logic and Fuzzy Control, Aug. 1991), D. Driankov, et al. eds. pp. 45–55. Vol 833 of Lecture Notes in Artificial Intelligence, Springer-Verlag, 1994.
D. Dubois, J. Lang and H. Prade. Possibilistic logic. In Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3. D.M. Gabbay et al. eds. pp. 439–513. Oxford Univ. Press, 1994.
D. Dubois and H. Prade. Epistemic entrenchment and possibilistic logic. Artificial Intelligence, 50, 223–239, 1991.
R. Fagin, J. D. Ullman and M. Y. Vardi. On the semantics of updates in database. In Proc. of the 2nd ACM SIGACT-SIGMOD Symp. on the Principles of Databases Systems, Atlanta, pp, 352–365, 1983.
J. Fox, P. Krause and S. Ambler. Arguments, contradictions and practical reasoning. In Proc. of the 10th Europ. Conf. on Artificial Intelligence (ECAI’92), Vienna, Austria. B. Neumann, ed. pp. 623– 627, 1992.
P. Gärdenfors. Knowledge in Flux—Modeling the Dynamic of Epistemic States. The MIT Press, Cambridge, MA, 1988.
B. Nebel. Belief revision and default reasoning: syntax-based approaches. In Proc. of the 2nd Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR’91), J. Allen, R. Fikes and E. Sandewall, eds. pp. 417–428. Morgan Kaufmann, Cambridge, MA, 1991.
B. Nebel. Base revision operator and schemes: semantics representation and complexity. In Proc. of the 11th Europ. Conf. on Artificial Intelligence (ECAI’94), Amsterdam, The Netherlands. A. G. Cohn, ed. pp. 341–345. Wiley, New York, 1994.
J. L. Pollock. Defeasible reasoning. Cognitive Science, 11, 481–518, 1987.
D. Poole. On the comparison of theories: preferring the most specific explanation. In Proc. 9th Inter. Joint Conf. Artificial Intelligence (IJCAI’85), Los Angeles, CA, pp. 144–147, 1985.
N. Rescher. Plausible Reasoning: An Introduction to the Theory and Practice of Plausibilistic Inference. Van Gorcum, Amsterdam, 1976.
N. Rescher and R. Manor. On inference from inconsistent premises. Theory and Decision, 1, 179–21, 1970.
G. R. Simari and R. P. Loui. A mathematical treatment of defeasible reasoning and its implementation. Artificial Intelligence, 53, 125–157, 1992.
S. Toulmin. The Uses of Argument. Cambridge Univ. Press, Cambridge, UK, 1956.
M. A. Williams. Towards a practical approach to belief revision: reason-based change. In Proc. of KR’96, 1996.
L. A. Zadeh. Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems, 1, 3–28, 1978.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Benferhat, S., Dubois, D., Prade, H. (1999). An Overview of Inconsistency-Tolerant Inferences in Prioritized Knowledge Bases. In: Dubois, D., Prade, H., Klement, E.P. (eds) Fuzzy Sets, Logics and Reasoning about Knowledge. Applied Logic Series, vol 15. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-1652-9_25
Download citation
DOI: https://doi.org/10.1007/978-94-017-1652-9_25
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5324-4
Online ISBN: 978-94-017-1652-9
eBook Packages: Springer Book Archive