Distance-based paraconsistent logics

We introduce a general framework that is based on distance semantics and investigate the main properties of the entailment relations that it induces. It is shown that such entailments are particularly useful for non-monotonic reasoning and for drawing rational conclusions from incomplete and inconsistent information. Some applications are considered in the context of belief revision, information integration systems, and consistent query answering for possibly inconsistent databases.

[1]  Peter Gärdenfors,et al.  Belief Revision , 1995 .

[2]  Nuel D. Belnap,et al.  How a Computer Should Think , 2019, New Essays on Belnap-­Dunn Logic.

[3]  L. I. Rozonoer,et al.  On interpretation of inconsistent theories , 1989, Inf. Sci..

[4]  Diderik Batens.  Frontiers of Paraconsistent Logic , 2000 .

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

[6]  Melvin Fitting,et al.  Kleene's Logic, Generalized , 1991, J. Log. Comput..

[7]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[8]  Ofer Arieli,et al.  Paraconsistent Preferential Reasoning by Signed Quantified Boolean Formulae , 2004, ECAI.

[9]  Jérôme Lang,et al.  Propositional Distances and Preference Representation , 2001, ECSQARU.

[10]  Gabriella Pigozzi,et al.  Two aggregation paradoxes in social decision making: the Ostrogorski paradox and the discursive dilemma , 2006, Episteme.

[11]  J. M. Dunn,et al.  Modern Uses of Multiple-Valued Logic , 1977 .

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

[13]  Dov M. Gabbay,et al.  Handbook of Philosophical Logic , 2002 .

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

[15]  Jérôme Lang,et al.  Logical representation of preferences for group decision making , 2000, KR.

[16]  Leopoldo E. Bertossi,et al.  Logic Programs for Consistently Querying Data Integration Systems , 2003, IJCAI.

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

[18]  Ofer Arieli,et al.  Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae , 2007, TOCL.

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

[20]  Graham Priest,et al.  Minimally inconsistent LP , 1991, Stud Logica.

[21]  Theo Tryfonas,et al.  Frontiers in Artificial Intelligence and Applications , 2009 .

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

[23]  G. Ryle,et al.  Contemporary aspects of philosophy , 1976 .

[24]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[25]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[26]  James P. Delgrande,et al.  Preliminary considerations on the modelling of belief change operators by metric spaces , 2004, NMR.

[27]  Richard L. Epstein.  The semantic foundations of logic , 1990 .

[28]  Jan Chomicki,et al.  Consistent query answers in inconsistent databases , 1999, PODS '99.

[29]  Thomas Eiter,et al.  Efficient Evaluation of Logic Programs for Querying Data Integration Systems , 2003, ICLP.

[30]  Diderik Batens.  Inconsistency-Adaptive Logics , 1999 .

[31]  D. Dubois,et al.  Belief Revision: Belief change and possibility theory , 1992 .

[32]  Didier Dubois,et al.  Iterated Revision as Prioritized Merging , 2006, KR.

[33]  Christopher. Thornton,et al.  Coherent Systems , 2007 .

[34]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

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

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

[37]  Richard L. Epstein,et al.  The Semantic Foundations of Logic Volume 1: Propositional Logics , 1990 .

[38]  Graham Priest,et al.  Reasoning About Truth , 1989, Artif. Intell..

[39]  Maurice Bruynooghe,et al.  Computational methods for database repair by signed formulae* , 2006, Annals of Mathematics and Artificial Intelligence.

[40]  Jan Chomicki,et al.  Answer sets for consistent query answering in inconsistent databases , 2002, Theory and Practice of Logic Programming.

[41]  Dov M. Gabbay,et al.  Handbook of logic in artificial intelligence and logic programming (vol. 1) , 1993 .

[42]  Jan Chomicki,et al.  Consistent Query Answering: Five Easy Pieces , 2007, ICDT.

[43]  I. L. D'Ottaviano.  The completeness and compactness of a three-valued first-order logic , 1985 .

[44]  Patrick Suppes,et al.  Introduction To Logic , 1958 .

[45]  Wolfgang Spohn,et al.  Ordinal Conditional Functions: A Dynamic Theory of Epistemic States , 1988 .

[46]  Hirofumi Katsuno,et al.  Propositional Knowledge Base Revision and Minimal Change , 1991, Artif. Intell..

[47]  Jan Chomicki,et al.  Minimal-change integrity maintenance using tuple deletions , 2002, Inf. Comput..

[48]  Y. Shoham.  Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence , 1987 .

[49]  Johann Eder,et al.  Logic and Databases , 1992, Advanced Topics in Artificial Intelligence.

[50]  Adam J. Grove,et al.  Two modellings for theory change , 1988, J. Philos. Log..

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

[52]  Gabriella Pigozzi,et al.  Belief merging, judgment aggregation and some links with social choice theory , 2005, Belief Change in Rational Agents.

[53]  Anthony Hunter,et al.  Paraconsistent logics , 1998 .

[54]  Arnon Avron,et al.  The Value of the Four Values , 1998, Artif. Intell..

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

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

[57]  Norman Y. Foo,et al.  Distance Semantics for Relevance-Sensitive Belief Revision , 2004, KR.

[58]  Remo Pareschi,et al.  Dynamic Worlds: From the Frame Problems to Knowledge Management , 1999 .

[59]  Itala M. Loffredo D'Ottaviano,et al.  Paraconsistency: The Logical Way to the Inconsistent , 2002 .

[60]  Sergio Greco,et al.  Querying Inconsistent Databases , 2000, LPAR.

[61]  Nuel D. Belnap,et al.  A Useful Four-Valued Logic , 1977 .

[62]  Maurice Bruynooghe,et al.  Distance-Based Repairs of Databases , 2006, JELIA.

[63]  David Makinson,et al.  General patterns in nonmonotonic reasoning , 1994 .

[64]  Arnon Avron,et al.  Natural 3-valued logics—characterization and proof theory , 1991, Journal of Symbolic Logic.

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

[66]  Ofer Arieli,et al.  Reducing Preferential Paraconsistent Reasoning to Classical Entailment , 2003, Journal of Logic and Computation.

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

[68]  Jonathan Ben-Naim,et al.  Lack of Finite Characterizations for the Distance-Based Revision , 2006, KR.