Handling Locally Stratified Inconsistent Knowledge Bases

This paper investigates the idea of reasoning, in a local (or contextual) way, under prioritized and possibly inconsistent knowledge bases. Priorities are not supposed to be given globally between all the beliefs in the knowledge base, but locally inside sets of pieces of information responsible for inconsistencies. This local stratification offers more flexibility for representing priorities between beliefs. Given this local ordering, we discuss five basic definitions of influence relations between conflicts. These elementary notions of influence between two conflicts A and B exhaustively explore the situations where solving A leads to solve B. Then we propose natural approaches to restore the coherence of a knowledge base on the basis of influence relations between locally-stratified conflicts.

[1]  Claudette Cayrol,et al.  Using the Davis and Putnam Procedure for an Efficient Computation of Preferred Models , 1996, ECAI.

[2]  C. E. Alchourrón,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985 .

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

[4]  Laurent Chaudron,et al.  Conflicting agents: conflict management in multi-agent systems , 2001 .

[5]  Luís Moniz Pereira,et al.  A Paraconsistent Semantics with Contradiction Support Detection , 1997, LPNMR.

[6]  Laurence Cholvy.  Automated Reasoning with Merged Contradictory Information Whose Reliability Depends on Topics , 1995, ECSQARU.

[7]  Didier Dubois,et al.  How to Infer from Inconsisent Beliefs without Revising? , 1995, IJCAI.

[8]  H. Moulin.  Axioms of Cooperative Decision Making , 1988 .

[9]  Johan De Kleer,et al.  Local Methods for Localizing Faults in Electronic Circuits , 1976 .

[10]  Odile Papini.  A Complete Revision Function in Propositional Calculus , 1992, ECAI.

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

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

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

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

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

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

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

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

[19]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[20]  Renata Wassermann.  An Algorithm for Belief Revision , 2000, KR.

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

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

[23]  Claudette Cayrol,et al.  A Reasoning Model Based on the Production of Acceptable Arguments , 2002, Annals of Mathematics and Artificial Intelligence.

[24]  Anthony Hunter,et al.  Quasi-classical Logic: Non-trivializable classical reasoning from incosistent information , 1995, ECSQARU.

[25]  Odile Papini,et al.  Revision: an application in the framework of GIS , 2000, International Conference on Principles of Knowledge Representation and Reasoning.

[26]  Salem Benferhat,et al.  A local handling of inconsistent knowledge and default bases , 1998, Applications of Uncertainty Formalisms.

[27]  Mary-Anne Williams,et al.  Transmutations of Knowledge Systems , 1994, KR.

[28]  Hilary Putnam,et al.  A Computing Procedure for Quantification Theory , 1960, JACM.

[29]  Nicholas Rescher.  Plausible reasoning : an introduction to the theory and practice of plausibilistic inference , 1976 .

[30]  Anthony Hunter,et al.  Information Fusion in Logic: A Brief Overview , 1997, ECSQARU-FAPR.

[31]  Claudette Cayrol,et al.  On the Acceptability of Arguments in Preference-based Argumentation , 1998, UAI.

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

[33]  Thomas Schiex,et al.  Penalty Logic and its Link with Dempster-Shafer Theory , 1994, UAI.

[34]  J Marshall.  Review of ""Conflicting Agents: Conflict Management in Multi-Agent Systems"" by C. Tessier, L. Chaudron and H. J. Muller (eds.) , 2003 .

[35]  Alessandro Saffiotti,et al.  A General Approach for Inconsistency Handling and Merging Information in Prioritized Knowledge Bases , 1998, KR.

[36]  Qiang Yang,et al.  A Theory of Conflict Resolution in Planning , 1992, Artif. Intell..

[37]  Gerhard Brewka.  Reasoning about Priorities in Default Logic , 1994, AAAI.