Journal ArticleDOI
A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases
Ofer Arieli,Arnon Avron +1 more
Reads0
Chats0
TLDR
This work proposes means for drawing conclusions from systems that are based on classical logic, although the information might be inconsistent, by detecting those parts of the knowledge base that ‘cause’ the inconsistency, and isolate the parts that are ‘recoverable’.Abstract:
One of the most significant drawbacks of classical logic is its being useless in the presence of an inconsistency. Nevertheless, the classical calculus is a very convenient framework to work with. In this work we propose means for drawing conclusions from systems that are based on classical logic, although the information might be inconsistent. The idea is to detect those parts of the knowledge base that ‘cause’ the inconsistency, and isolate the parts that are ‘recoverable’. We do this by temporarily switching into Ginsberg/Fitting multivalued framework of bilattices (which is a common framework for logic programming and nonmonotonic reasoning). Our method is conservative in the sense that it considers the contradictory data as useless and regards all the remaining information unaffected. The resulting logic is nonmonotonic, paraconsistent, and a plausibility logic in the sense of Lehmann.read more
Citations
More filters
Journal ArticleDOI
The value of the four values
Ofer Arieli,Arnon Avron +1 more
TL;DR: This paper vindicates Belnap's thesis by showing that the logical role that the four-valued structure has among Ginsberg's bilattices is similar to the roles that the two-valued algebra has among Boolean algebras.
Journal ArticleDOI
Answer sets for consistent query answering in inconsistent databases
TL;DR: In this article, the authors apply logic programming based on answer sets to the problem of retrieving consistent information from a possibly inconsistent database, since consistent information persists from the original database to every of its minimal repairs.
Book ChapterDOI
Query Answering in Inconsistent Databases
Leopoldo Bertossi,Jan Chomicki +1 more
TL;DR: This chapter summarizes the research on querying inconsistent databases and describes different approaches to the issue of computing consistent query answers: query transformation, logic programming, inference in annotated logics, and specialized algorithms.
Journal ArticleDOI
Coherent integration of databases by abductive logic programming
TL;DR: An abductive method for a coherent integration of independent data-sources that is sound and complete with respect to a corresponding model-based, preferential semantics, and -- to the best of the knowledge -- is more expressive (thus more general) than any other implementation of coherent Integration of databases.
Posted Content
Paraconsistent Reasoning via Quantified Boolean Formulas,I: Axiomatising Signed Systems
TL;DR: This paper shows how the family of corresponding paraconsistent consequence relations can be axiomatised by means of quantified Boolean formulas, furnishing an axiomatic specification of paracons consistent reasoning within the framework of signed systems.
References
More filters
Journal ArticleDOI
A theory of diagnosis from first principles
TL;DR: The theory accommodates diagnostic reasoning in a wide variety of practical settings, including digital and analogue circuits, medicine, and database updates, and reveals close connections between diagnostic reasoning and nonmonotonic reasoning.
Book ChapterDOI
A Useful Four-Valued Logic
TL;DR: It is argued that a sophisticated question-answering machine that has the capability of making inferences from its data base should employ a certain four-valued logic, the motivating consideration being that minor inconsistencies in its data should not be allowed to lead to irrelevant conclusions.
Journal ArticleDOI
A logical framework for default reasoning
TL;DR: A simple logical framework for default reasoning by treating defaults as predefined possible hypotheses is presented, and it is shown how this idea subsumes the intuition behind Reiter's default logic.
Journal ArticleDOI
On the theory of inconsistent formal systems.
Journal ArticleDOI
The use of design descriptions in automated diagnosis
TL;DR: Dart differs from previous approaches to diagnosis taken in the design-automation community in that it is more general and in many cases more efficient, and allows it to be applied to a wide class of devices ranging from digital logic to nuclear reactors.