The value of the four values
Ofer Arieli,Arnon Avron +1 more
TLDR
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.About:
This article is published in Artificial Intelligence.The article was published on 1998-06-01 and is currently open access. It has received 266 citations till now. The article focuses on the topics: T-norm fuzzy logics & Four-valued logic.read more
Citations
More filters
Proceedings Article
Semi-Stable Semantics
TL;DR: This paper examines an argument-based semantics called Semi-stable semantics, which is quite close to traditional stable semantics in the sense that every stable extension is also a semi-stable extension.
Journal ArticleDOI
Measuring inconsistency in knowledgebases
John Grant,Anthony Hunter +1 more
TL;DR: This work provides a measure to quantify the inconsistency of a knowledgebase, thereby allowing for the comparison of the consistency of various knowledgebases, represented as first-order logic formulas, using quasi-classical (QC) logic.
Journal ArticleDOI
Semi-stable semantics
TL;DR: Semi-stable semantics as discussed by the authors is a general approach that can be applied to abstract argumentation, as well as to fields like default logic and answer set programming, yielding an interpretation with properties very similar to those of paraconsistent logic, including crash resistance and backward compatibility.
Journal ArticleDOI
Automatic Resolution of Ambiguous Terms Based on Machine Learning and Conceptual Relations in the UMLS
TL;DR: An automatic method that constructs sense-tagged corpora for ambiguous terms in the UMLS using MEDLINE abstracts and can be used to automatically acquire knowledge needed for resolving ambiguity when mapping free-text to U MLS concepts is proposed.
Book ChapterDOI
Algorithms for Paraconsistent Reasoning with OWL
TL;DR: This paper employs paraconsistent reasoning based on four-valued logic, which is a classical method for dealing with inconsistencies in knowledge bases, and presents two algorithms suitable for implementation, one based on a preprocessing before invoking a classical OWL reasoner, the otherbased on a modification of the KAON2 transformation algorithms.
References
More filters
Proceedings Article
The stable model semantics for logic programming
TL;DR: This paper introduces a succinct abstract representation of constraint atoms in which a constraint atom is represented compactly and shows that this representation provides a means to characterize dependencies of atoms in a program with constraint atoms, so that some standard characterizations and properties relying on these dependencies in the past for logic programs with ordinary atoms can be extended.
Journal ArticleDOI
Circumscription—A form of non-monotonic reasoning
TL;DR: The authors formalizes such conjectural reasoning and shows that the objects they can determine to have certain properties or relations are the only objects that do, which is a common assumption in human and intelligent computer programs.
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
Nonmonotonic reasoning, preferential models and cumulative logics
TL;DR: In this paper, a number of families of nonmonotonic consequence relations, defined in the style of Gentzen [13], are studied from both proof-theoretic and semantic points of view.
Posted Content
Nonmonotonic Reasoning, Preferential Models and Cumulative Logics
TL;DR: The preferential models proposed here are a much stronger tool than Adams' probabilistic semantics, and are defined and characterized by representation theorems, relating the two points of view.