A paraconsistent logic programming approach for querying inconsistent databases

When integrating data coming from multiple different sources we are faced with the possibility of inconsistency in databases. A paraconsistent approach for knowledge base integration allows keeping inconsistent information and reasoning in its presence. In this paper, we use a paraconsistent logic (LFI1) as the underlying logic for the specification of P-Datalog, a deductive query language for databases containing inconsistent information. We present a declarative semantics which captures the desired meaning of a recursive query executed over a database containing inconsistent facts and whose rules allow inferring information from inconsistent premises. We also present a bottom-up evaluation method for P-Datalog programs based on an alternating fixpoint operator.

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

[2]  Laurence Cholvy,et al.  A logic to reason on contradictory beliefs with a majority approach , 2001 .

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

[4]  Kenneth A. Ross,et al.  The well-founded semantics for general logic programs , 1991, JACM.

[5]  V. S. Subrahmanian,et al.  Paraconsistent Logic Programming , 1987, FSTTCS.

[6]  W. Carnielli,et al.  A Taxonomy of C-systems , 2001 .

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

[8]  Allen Van Gelder,et al.  The Alternating Fixpoint of Logic Programs with Negation , 1993, J. Comput. Syst. Sci..

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

[10]  Xavier Leroy.  The objective caml system release 3 , 2001 .

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

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

[13]  Leopoldo E. Bertossi,et al.  Logic Programs for Querying Inconsistent Databases , 2003, PADL.

[14]  Teodor C. Przymusinski.  The Well-Founded Semantics Coincides with the Three-Valued Stable Semantics , 1990, Fundam. Inform..

[15]  Walter Carnielli.  Tableau Systems for Logics of Formal Inconsistency , 2001 .

[16]  X. Leroy.  The Objective Caml system release 3.09 Documentation and user''s manual , 2005 .

[17]  Michael Kifer,et al.  A logic for reasoning with inconsistency , 1992, Journal of Automated Reasoning.

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

[19]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[20]  Laurence Cholvy.  A general framework for reasoning about contradictory information and some of its applications , 1998 .

[21]  Michael Kifer,et al.  Applications of Annotated Predicate Calculus to Querying Inconsistent Databases , 2000, Computational Logic.

[22]  J. Martin Marcos,et al.  Formal inconsistency and evolutionary databases , 2004 .

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

[24]  P. Legay,et al.  WELL!: An Evaluation Procedure for All Logic Programs , 1990, ICDT.

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

[26]  José Júlio Alferes,et al.  Well Founded Semantics for Logic Programs with Explicit Negation , 1992, ECAI.

[27]  Bert Van Nuffelen,et al.  Coherent Integration of Databases by Abductive Logic Programming , 2004, J. Artif. Intell. Res..

[28]  V. S. Subrahmanian.  Amalgamating knowledge bases , 1994, TODS.

[29]  Ofer Arieli,et al.  Paraconsistent Declarative Semantics for Extended Logic Programs , 2010 .

[30]  Sandra de Amo,et al.  A Paraconsistent Logic Programming Approach for Querying Inconsistent Knowledge Bases , 2005, FLAIRS Conference.

[31]  Chiaki Sakama,et al.  Extended Well-Founded Semantics for Paraconsistent Logic Programs , 1992, FGCS.