Applications Of Paraconsistency In Data And Knowledge Bases

The study of paraconsistent logic as a branch of mathematics and logic has been pioneered by Newton da Costa. With the growing advent of distributed and often inconsistent databases over the last ten years, there has been growing interest in paraconsistency amongst researchers in databases and knowledge bases. In this paper, we provide a brief survey of work in paraconsistent databases and knowledge bases affected by Newton da Costa's important and lasting contributions to the field.

[1]  V. S. Subrahmanian,et al.  Theory of Generalized Annotated Logic Programming and its Applications , 1992, J. Log. Program..

[2]  Li-Yan Yuan,et al.  An Introspective Framework for Paraconsistent Logic Programs , 1995, ILPS.

[3]  Da Costa.  The Paraconsistent Logics PT , 1991 .

[4]  C. Damásio,et al.  A survey of paraconsistent semantics for logic programs , 1998 .

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

[6]  Francesca Rossi,et al.  Reasoning in inconsistent database , 1990 .

[7]  Sarit Kraus,et al.  Combining Multiple Knowledge Bases , 1991, IEEE Trans. Knowl. Data Eng..

[8]  John Grant,et al.  Classifications for inconsistent theories , 1978, Notre Dame J. Formal Log..

[9]  V. S. Subrahmanian,et al.  Combining databases with prioritized information , 2004, Journal of Intelligent Information Systems.

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

[11]  Michael Kifer,et al.  RI: a logic for reasoning with inconsistency , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

[12]  Francesca Rossi,et al.  Reasoning in Inconsistent Databases , 1990, NACLP.

[13]  V. S. Subrahmanian,et al.  The Paraconsistent Logics PJ , 1991, Math. Log. Q..

[14]  V. S. Subrahmanian,et al.  Reasoning in Inconsistent Knowledge Bases , 1995, IEEE Trans. Knowl. Data Eng..

[15]  Gerd Wagner.  Reasoning with Inconsistency in Extended Deductive Databases , 1993, LPNMR.

[16]  V. S. Subrahmanian,et al.  The Optimistic and Cautius Semantics for Inconsistent Knowledge Bases , 1995, Acta Cybern..

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

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

[19]  Rajshekhar Sunderraman,et al.  A paraconsistent relational data model , 1995, Int. J. Comput. Math..

[20]  V. S. Subrahmanian,et al.  Paraconsistent logics as a formalism for reasoning about inconsistent knowledge bases , 1989, Artif. Intell. Medicine.