An Inconsistency-Tolerant Approach to Information Merging Based on Proposition Relaxation

Inconsistencies between different information sources may arise because of statements that are inaccurate, albeit not completely false. In such scenarios, the most natural way to restore consistency is often to interpret assertions in a more flexible way, i.e. to enlarge (or relax) their meaning. As this process inherently requires extra-logical information about the meaning of atoms, extensions of classical merging operators are needed. In this paper, we introduce syntactic merging operators, based on possibilistic logic, which employ background knowledge about the similarity of atomic propositions to appropriately relax propositional statements.

[1]  Enrique H. Ruspini,et al.  On the semantics of fuzzy logic , 1991, Int. J. Approx. Reason..

[2]  Steven Schockaert,et al.  Merging Conflicting Propositional Knowledge by Similarity , 2009, 2009 21st IEEE International Conference on Tools with Artificial Intelligence.

[3]  Dov M. Gabbay,et al.  Handbook of defeasible reasoning and uncertainty management systems: volume 2: reasoning with actual and potential contradictions , 1998 .

[4]  Mukesh Dalal,et al.  Investigations into a Theory of Knowledge Base Revision , 1988, AAAI.

[5]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

[6]  Didier Dubois,et al.  A synthetic view of belief revision with uncertain inputs in the framework of possibility theory , 1997, Int. J. Approx. Reason..

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

[8]  Didier Dubois,et al.  Possibilistic logic : a retrospective and prospective view , 2003 .

[9]  Sébastien Konieczny,et al.  Merging Information Under Constraints: A Logical Framework , 2002, J. Log. Comput..

[10]  Jérôme Lang,et al.  Towards mathematical morpho-logics , 2002 .

[11]  Weiru Liu,et al.  A Context-Dependent Algorithm for Merging Uncertain Information in Possibility Theory , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[12]  Salem Benferhat,et al.  Reasoning with multiple-source information in a possibilistic logic framework , 2006, Inf. Fusion.

[13]  Jinxin Lin,et al.  Integration of Weighted Knowledge Bases , 1996, Artif. Intell..

[14]  Anthony Hunter,et al.  Reasoning with Actual and Potential Contradictions , 1998 .

[15]  Peter Gärdenfors,et al.  Knowledge in Flux , 1988 .

[16]  Souhila Kaci,et al.  A Framework for Merging Qualitative Constraints Networks , 2008, FLAIRS Conference.

[17]  Jean Serra,et al.  Image Analysis and Mathematical Morphology , 1983 .

[18]  Guilin Qi,et al.  Prime Implicate-based Belief Revision Operators , 2008, ECAI.

[19]  Peter Z. Revesz.  On the semantics of theory change: arbitration between old and new information , 1993, PODS '93.

[20]  Wolfgang Wahlster,et al.  IMPLEMENTING FUZZINESS IN DIALOGUE SYSTEMS , 2006 .