Applications of paraconsistency in data and knowledge bases

DOI10.1023/A:1005231601157MaRDI QIDQ1840972zbMATH OpenFDO

Authors V. S. Subrahmanian, John Grant

Publication date 22 February 2001

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/A:1005231601157

zbMATH Keywords

databasesinconsistenciesknowledge basesmaximal consistent subsetsmodal operatorsparaconsistencysurvey

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Logic in computer science (03B70) Database theory (68P15)

Review text

Classical first-order logic is a powerful tool for reasoning. However, it does not handle inconsistencies in a useful way, because every formula can be deduced from an inconsistent set of formulas. The term ``paraconsistency is often used to refer to various approaches that have been applied to deal with inconsistencies in a less global manner. With the growing advent of distributed and often inconsistent databases over the last years, there has been growing interest in paraconsistency amongst researchers in databases and knowledge bases. Knowledge bases are often built by putting together information from various sources. It is quite likely that inconsistencies may arise in such systems. This article surveys applications of paraconsistency in data and knowledge bases. It considers three kinds of works, which have been done by extending the set of truth values to a larger lattice, using maximal consistent subsets of an inconsistent knowledge base, and extending first-order logic with additional operators (typically modal operators). This article is short, instructive, and helps grasp an overview on paraconsistency in the context of deductive databases.

Recommendations

• A paraconsistent logic programming approach for querying inconsistent databases
• scientific article; zbMATH DE number 1950746
• Paraconsistent intelligent-based systems. New trends in the applications of paraconsistency
• On recent applications of paraconsistent logic: an exploratory literature review
• scientific article; zbMATH DE number 1269574

Cited in

(6)

• Active logic semantics for a single agent in a static world
• Analysing inconsistent first-order knowledgebases
• A preferential framework for trivialization-resistant reasoning with inconsistent information
• scientific article; zbMATH DE number 1950746 (Why is no real title available?)
• On recent applications of paraconsistent logic: an exploratory literature review
• Paraconsistent intelligent-based systems. New trends in the applications of paraconsistency

This page was built for publication: Applications of paraconsistency in data and knowledge bases

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1840972)