How to Infer from Inconsisent Beliefs without Revising?

This paper investigates, several methods for coping with inconsistency caused by multiple source information by introducing suitable consequence relations capable of inferring non trivial conclusions from an inconsistent stratified knowledge base. Some of these methods presuppose a revision step, namely a selection of one or several consistent subsets of formulas, and then classical inference is used for inferring from these subsets. Two alternative methods that do not require any revision step are studied: inference based on arguments and a new approach called safely supported inference, where inconsistency is kept local. These two last methods look suitable when the inconsistency is due to the presence of several sources of information. The paper offers a comparative study of the various inference modes under inconsistency.

[1]  Paul J. Krause,et al.  Dialectic reasoning with inconsistent information , 1993, UAI.

[2]  Anand S. Rao,et al.  Formal Theories of Belief Revision , 1989, KR.

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

[4]  Didier Dubois,et al.  Some Syntactic Approaches to the Handling of Inconsistent Knowledge Bases: A Comparative Study Part 1: The Flat Case , 1997, Stud Logica.

[5]  Alvaro del Val.  On the Relation between the Coherence and Foundations Theories of Belief Revision , 1994, AAAI.

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

[7]  Didier Dubois,et al.  A Local Approach to Reasoning under Incosistency in Stratified Knowledge Bases , 1995, ECSQARU.

[8]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[9]  Daniel Lehmann,et al.  What does a Conditional Knowledge Base Entail? , 1989, Artif. Intell..

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

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

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

[13]  Jérôme Lang,et al.  Syntax-based Default Reasoning as Probabilistic Model-based Diagnosis , 1994, UAI.

[14]  Johan de Kleer,et al.  Using Crude Probability Estimates to Guide Diagnosis , 1990, Artif. Intell..

[15]  Bernhard Nebel,et al.  Belief Revision and Default Reasoning: Syntax-Based Approaches , 1991, KR.

[16]  Didier Dubois,et al.  Argumentative inference in uncertain and inconsistent knowledge bases , 1993, UAI.

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

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

[19]  Jon Doyle,et al.  Belief Revision: Reason maintenance and belief revision: Foundations versus coherence theories , 1992 .

[20]  Didier Dubois,et al.  Epistemic Entrenchment and Possibilistic Logic , 1991, Artif. Intell..

[21]  Claudette Cayrol,et al.  On the Relation between Argumentation and Non-monotonic Coherence-Based Entailment , 1995, IJCAI.

[22]  Laurence Cholvy,et al.  Proving Theorems in a Multi-Source Environment , 1993, IJCAI.

[23]  H. Price.  Change in View: Principles of Reasoning , 1988 .

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

[25]  Jinxin Lin,et al.  Consistent Belief Reasoning in the Presence of Inconsistency , 1994, TARK.

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

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

[28]  Peter Gärdenfors,et al.  The Dynamics of Belief Systems : Foundations vs . Coherence Theories , 1990 .

[29]  Bernhard Nebel,et al.  Base Revision Operations and Schemes: Semantics, Representation and Complexity , 1994, ECAI.

[30]  David Poole,et al.  On the Comparison of Theories: Preferring the Most Specific Explanation , 1985, IJCAI.

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

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

[33]  Ronald Fagin,et al.  On the semantics of updates in databases , 1983, PODS.