Abstract
This paper investigates an approach for reasoning under inconsistency in a “local” way, in prioritized knowledge bases. In such bases, the higher the layer, the more certain, the more reliable are the formulas stored in this layer. The proposed approach is based on the notion of (consistent) argument whose strength depends on the layer of the least certain formulas involved in the argument. Each formula in the base is also associated with a “level of paraconsistency” which reflect to what extent there exists arguments that support both a formula and its negation. Three consequence relations are presented and compared. Two of them aim at maximizing the certainty degree and/or at minimizing the level of paraconsistency of the conclusion. The third one produces consequences that are safely supported in the sense that there exists an undefeated argument for them (whose certainty is greater than its paraconsistency).
Preview
Unable to display preview. Download preview PDF.
References
S.Benferhat, D.Dubois, H.Prade. Representing default rules in possibilistic logic. Proc. KR'92, Cambridge, MA, Oct 26–29, 1992, pp. 673–684.
S.Benferhat, D.Dubois, H.Prade. Some syntactic approaches to the handling of inconsistent knowledge bases. Tech. Report IRIT/94-55-R, Univ. P.Sabatier, Toulouse.
P.Besnard, J.Lang. Possibility and necessity functions over non-classical logics. Proc. UAI'94, Morgan Kaufmann, pp. 69–76.
G.Brewka. Preferred subtheories: an extended logical framework for default reasoning. Proc. IJCAI'89, Detroit, MI, August, 1989, pp. 1043–1048.
D.Dubois, J.Lang, H.Prade. Handling uncertainty, context, vague predicates, and partial inconsistency in possibilistic logic. In: Fuzzy Logic and Fuzzy Control (Proc. IJCAI'91 Workshops) (D.Driankov et al., eds). Springer Verlag, LNAI N∘833, pp. 45–55, 1994.
D.Dubois, J.Lang, H.Prade. Possibilistic logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3 (D.M.Gabbay et al., eds.), Oxford University Press, pp. 439–513, 1994.
N.Rescher, R. Manor. On inference from inconsistent premises. Theory and Decision, 1, 179–219, 1970.
G.R.Simari, R.P.Loui. A mathematical treatment of defeasible reasoning and its implementation. Artificial Intelligence, 53, 125–157, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Benferhat, S., Dubois, D., Prade, H. (1995). A local approach to reasoning under inconsistency in stratified knowledge bases. In: Froidevaux, C., Kohlas, J. (eds) Symbolic and Quantitative Approaches to Reasoning and Uncertainty. ECSQARU 1995. Lecture Notes in Computer Science, vol 946. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60112-0_5
Download citation
DOI: https://doi.org/10.1007/3-540-60112-0_5
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60112-8
Online ISBN: 978-3-540-49438-6
eBook Packages: Springer Book Archive