Combining individually inconsistent prioritized knowledge bases

It is well accepted that inconsistency may exist in a database system or an intelligent information system (Benferhat et al. 1993a; 1993b; 1997b; 1998; Benferhat & Kaci 2003; Elvang-Goransson & Hunter 1995; Gabbay & Hunter 1991; Lin 1994; Priest et al. 1989; Priest 2001). Inconsistency can either appear in the given knowledge bases or as a result of combination or revision. In this paper, we will propose two different methods to combine individually inconsistent possibilistic knowledge bases. The first method, called an argument-based method, is a generalization of the merging method introduced in (Benferhat & Kaci 2003). When the knowledge bases to be merged are self-consistent, this method coincides with the original one. The second method, called a multiple-operator based method, combines the consistent and the conflict information using different operators. This method is more reasonable than the argument-based method because it differentiates the consistent and conflict information.

[1]  Didier Dubois,et al.  A Computational Model for Belief Change and Fusing Ordered Belief Bases , 2001 .

[2]  Souhila Kaci,et al.  Fusion of possibilistic knowledge bases from a postulate point of view , 2002, Int. J. Approx. Reason..

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

[4]  Graham Priest,et al.  Paraconsistent Logic: Essays on the Inconsistent , 1990 .

[5]  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.

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

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

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

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

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

[11]  Didier Dubois,et al.  From Semantic to Syntactic Approaches to Information Combination in Possibilistic Logic , 1998 .

[12]  Sébastien Konieczny,et al.  On the Logic of Merging , 1998, KR.

[13]  Morten Elvang-Gøransson,et al.  Argumentative Logics: Reasoning with Classically Inconsistent Information , 1995, Data Knowl. Eng..

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

[15]  Alberto O. Mendelzon,et al.  Merging Databases Under Constraints , 1998, Int. J. Cooperative Inf. Syst..

[16]  Marco Schaerf,et al.  Arbitration (or How to Merge Knowledge Bases) , 1998, IEEE Trans. Knowl. Data Eng..

[17]  Lorenzo Peña y Gonzalo.  Paraconsistent logic: essays on the inconsistent , 1990 .

[18]  Dov M. Gabbay,et al.  Making inconsistency respectable: a logical framework for inconsistency in reasoning , 1991, FAIR.