Argumentative inference in uncertain and inconsistent knowledge bases

This paper presents and discusses several methods for reasoning from inconsistent knowledge bases. A so-called argumentative-consequence relation taking into account the existence of consistent arguments in favor of a conclusion and the absence of consistent arguments in favor of its contrary, is particularly investigated. Flat knowledge bases, i.e. without any priority between their elements, as well as prioritized ones where some elements are considered as more strongly entrenched than others are studied under different consequence relations. Lastly a paraconsistent-like treatment of prioritized knowledge bases is proposed, where both the level of entrenchment and the level of paraconsistency attached to a formula are propagated. The priority levels are handled in the framework of possibility theory.

[1]  Fangzhen Lin,et al.  Reasoning in the Presence of Inconsistency , 1987, AAAI.

[2]  Sarit Kraus,et al.  Combining Knowledge Bases Consisting of First Order Theories , 1991, ISMIS.

[3]  Didier Dubois,et al.  Dealing with Multi-Source Information in Possibilistic Logic , 1992, ECAI.

[4]  Laurence Cholvy,et al.  A Logical Approach to Multi-Sources Reasoning , 1992, Logic at Work.

[5]  John Fox,et al.  Arguments, Contradicitions and Practical Reasoning , 1992, ECAI.

[6]  Nicholas Rescher,et al.  On Inferences from Inconsistent Premises , 1970 .

[7]  Dov M. Gabbay,et al.  Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning , 1994 .

[8]  S. Toulmin.  The uses of argument , 1960 .

[9]  N. Rescher,et al.  On inference from inconsistent premisses , 1970 .

[10]  Nico Roos,et al.  A Logic for Reasoning with Inconsistent Knowledge , 1992, Artif. Intell..

[11]  John L. Pollock,et al.  Defeasible Reasoning , 2020, Synthese Library.

[12]  J. Dekleer.  An assumption-based TMS , 1986 .

[13]  Ken Satoh.  A Probabilistic Interpretation for Lazy Nonmonotonic Reasoning , 1990, AAAI.

[14]  P G rdenfors,et al.  Knowledge in flux: modeling the dynamics of epistemic states , 1988 .

[15]  Guillermo Ricardo Simari,et al.  A Mathematical Treatment of Defeasible Reasoning and its Implementation , 1992, Artif. Intell..

[16]  Gadi Pinkas,et al.  Reasoning from Inconsistency: A Taxonomy of Principles for Resolving Conflict , 1992, KR.

[17]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[18]  H. Prade,et al.  Possibilistic logic , 1994 .

[19]  Didier Dubois,et al.  Inconsistency Management and Prioritized Syntax-Based Entailment , 1993, IJCAI.

[20]  Judea Pearl,et al.  System Z: a Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning^ , 1990 .

[21]  Gerhard Brewka,et al.  Preferred Subtheories: An Extended Logical Framework for Default Reasoning , 1989, IJCAI.

[22]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[23]  James A. Reggia,et al.  A formal model of diagnostic inference. I. Problem formulation and decomposition , 1985, Inf. Sci..

[24]  L. Zadeh,et al.  Fuzzy Logic for the Management of Uncertainty , 1992 .

[25]  Didier Dubois,et al.  Automated Reasoning Using Possibilistic Logic: Semantics, Belief Revision, and Variable Certainty Weights , 1994, IEEE Trans. Knowl. Data Eng..

[26]  David Poole,et al.  A Logical Framework for Default Reasoning , 1988, Artif. Intell..

[27]  Didier Dubois,et al.  Handling Uncertainty, Context, Vague Predicates, and Partial Inconsistency in Possibilistic Logic , 1991, Fuzzy Logic and Fuzzy Control.

[28]  Didier Dubois,et al.  Representing Default Rules in Possibilistic Logic , 1992, KR.

[29]  Didier Dubois,et al.  Inconsistency in possibilistic knowledge bases: to live with it or not live with it , 1992 .