Inconsistency-Tolerance in Knowledge-Based Systems by Dissimilarities

Distance-based reasoning is a well-known approach for defining non-monotonic and paraconsistent formalisms, which so far has been mainly used in the context of standard two-valued semantics. In this paper, we extend this approach to arbitrary denotational semantics by considering dissimilarities, a generalization of distances. Dissimilarity-based reasoning is then applied for handling inconsistency in knowledge-based systems using various non-classical logics. This includes logics defined by multi-valued semantics, non-deterministic semantics, and possible-worlds (Kripke-style) semantics. In particular, we show that our approach allows to define a variety of inconsistency-tolerant entailment relations, and that it extends many well-studied forms of reasoning in the context of belief revision and database integration.

[1]  Ofer Arieli,et al.  Distance-based paraconsistent logics , 2008, Int. J. Approx. Reason..

[2]  Anthony Hunter,et al.  Implementing semantic merging operators using binary decision diagrams , 2008, Int. J. Approx. Reason..

[3]  Karl Schlechta,et al.  Distance semantics for belief revision , 1996, Journal of Symbolic Logic.

[4]  Maurice Bruynooghe,et al.  Distance semantics for database repair , 2007, Annals of Mathematics and Artificial Intelligence.

[5]  Walter Alexandre Carnielli,et al.  A Logical Framework for Integrating Inconsistent Information in Multiple Databases , 2002, FoIKS.

[6]  Arnon Avron,et al.  General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations , 2000, Log. J. IGPL.

[7]  Alasdair Urquhart.  Many-valued Logic , 1986 .

[8]  Anna Zamansky,et al.  Ideal Paraconsistent Logics , 2011, Stud Logica.

[9]  Dov M. Gabbay.  Theoretical Foundations for Non-Monotonic Reasoning Part 2: Structured Non-Monotonic Theories , 1991, SCAI.

[10]  Anna Zamansky,et al.  Non-deterministic Multi-valued Logics--A Tutorial , 2010, 2010 40th IEEE International Symposium on Multiple-Valued Logic.

[11]  Arnon Avron,et al.  Non-deterministic Multiple-valued Structures , 2005, J. Log. Comput..

[12]  Anna Zamansky,et al.  Distance-based non-deterministic semantics for reasoning with uncertainty , 2009, Log. J. IGPL.

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

[14]  Pierre Marquis,et al.  Reasoning under inconsistency: A forgetting-based approach , 2010, Artif. Intell..

[15]  Frank Wolter,et al.  Semi-qualitative Reasoning about Distances: A Preliminary Report , 2000, JELIA.

[16]  Leopoldo E. Bertossi,et al.  Complexity of Consistent Query Answering in Databases Under Cardinality-Based and Incremental Repair Semantics , 2006, ICDT.

[17]  Anna Zamansky,et al.  Similarity-Based Inconsistency-Tolerant Logics , 2010, JELIA.

[18]  Newton C. A. da Costa,et al.  On the theory of inconsistent formal systems , 1974, Notre Dame J. Formal Log..

[19]  Helmut Seidl,et al.  Exact XML Type Checking in Polynomial Time , 2007, ICDT.

[20]  S. C. Kleene,et al.  Introduction to Metamathematics , 1952 .

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

[22]  Thomas Lukasiewicz.  Proceedings of the 7th International Symposium on the Foundations of Information and Knowledge Systems‚ FoIKS 2012‚ Kiel‚ Germany‚ March 5−9‚ 2012 , 2000 .

[23]  Melvin Fitting,et al.  Many-valued modal logics , 1991, Fundam. Informaticae.

[24]  Alberto O. Mendelzon,et al.  Knowledge Base Merging by Majority , 1999 .

[25]  R. Reiter,et al.  Forget It ! , 1994 .

[26]  Grigoris Antoniou,et al.  Nonmonotonic reasoning , 1997 .

[27]  Leopoldo E. Bertossi,et al.  Consistent query answering in databases , 2006, SGMD.

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

[29]  Alasdair Urquhart,et al.  Basic Many-Valued Logic , 2001 .

[30]  Sébastien Konieczny,et al.  Distance Based Merging: A General Framework and some Complexity Results , 2002, KR.