Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Abe, J., N. C. A. da Costa, and V. S. Subrahmanian: 1991, 'Remarks on Annotated Logics', Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik 37, 561–570.
Baral, C., S. Kraus, and J. Minker: 1991, 'Combining Multiple Knowledge Bases', IEEE TKDE 3(2), 208–220.
Baral, C., S. Kraus, J. Minker, and V. S. Subrahmanian: 1992, 'Combining Knowledge Bases Consisting of First Order Theories', Computational Intelligence 8(1), 45–71.
Blair, H. A. and V. S. Subrahmanian: 1989, 'Paraconsistent Logic Programming', Theoretical Computer Science 68, 135–154.
Bagai, R. and R. Sunderraman: 1995, 'A Paraconsistent Relational Data Model', Inter. J. of Computer Math. 55, 39–55.
Cholvy, L.: 1998, 'A General Framework for Reasoning about Contradictory Information and Some of its Applications', Proceedings of ECAI Workshop “Conflicts Among Agents”, Brighton, U.K.
da Costa, N. C. A. and V. S. Subrahmanian: 1990, 'Paraconsistent Logics as a Formalism for Reasoning about Inconsistent Knowledge Bases', Journal of Artificial Intelligence in Medicine 1(4), 167–174.
da Costa, N. C. A., V. S. Subrahmanian, and C. Vago: 1991, 'The Paraconsistent Logics P \({\mathcal{T}}\)', Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik 37, 139-148.
Damasio, C. and L. M. Pereira: 1998, 'A Survey of Paraconsistent Semantics for Logic Programs', in D. M. Gabbay and P. Smets (eds), Handbook of Defeasible Reasoning and Uncertainty Management Systems, Vol. II, Kluwer Academic, Dordrecht, pp. 241–320.
Grant, J.: 1978, 'Classifications for Inconsistent Theories', Notre Dame J. of Formal Logic XIX(3), 435–444.
Grant, J. and V. S. Subrahmanian: 1995a, 'Reasoning About Inconsistent Knowledge Bases', IEEE TKDE 7(1), 177–189.
Grant, J. and V. S. Subrahmanian: 1995b, 'The Optimistic and Cautious Semantics for Inconsistent Knowledge Bases', Acta Cybernetica 12(1), 37–55.
Kifer, M. and E. L. Lozinskii: 1989, 'RI: A Logic for Reasoning with Inconsistency', Proc. LICS 1989, pp. 253–262.
Kifer, M. and V. S. Subrahmanian: 1989, 'Theory of Generalized Annotated Logic Programming and its Applications', Journal of Logic Programming 12, 335–368.
Naqvi, S. A. and F. Rossi: 1990, 'Reasoning in Inconsistent Databases', Proc. of 1990 NACLP, pp. 255–272.
Pradhan, S., J. Minker, and V. S. Subrahmanian: 1995, 'Combining Databases with Prioritized Information', Journal of Intelligent Information Systems 4, 231–260.
Subrahmanian, V. S.: 1994, 'Amalgamating Knowledge Bases', ACM Transactions on Database Systems 19(2), 291–331.
Wagner, G.: 1993, 'Reasoning with Inconsistency in Extended Deductive Database', in M. Pereira and A. Nerode (eds), Proc. 2nd LPNMR Workshop, MIT Press, Cambridge, MA.
You, J.-H., S. Ghosh, L.-Y. Yuan, and R. Goebel: 1995, 'An Introspective Framework for Paraconsistent Logic Programs', Proc. of Intern. Symp. on Logic Programming, pp. 384–398.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Grant, J., Subrahmanian, V.S. Applications Of Paraconsistency In Data And Knowledge Bases. Synthese 125, 121–132 (2000). https://doi.org/10.1023/A:1005231601157
Issue Date:
DOI: https://doi.org/10.1023/A:1005231601157