BibTeX
@MISC{_conceptsand,
author = {},
title = {Concepts and Foundations},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. The past few decades have seen a resurgence of reasoning techniques in artificial intelligence involving both classical and non-classical logics. In his paper, “Multi-valued Logics: A Uniform Approach to Reasoning in Artificial Intelligence”, Ginsberg has shown that through the use of bilattices, several reasoning techniques can be unified under a single framework. A bilattice is a structure that can be viewed as a class of truth values that can accommodate incomplete and inconsistent information and in certain cases default information. In bilattice theory, knowledge is ordered along two dimensions: truth/falsity and certainty/uncertainty. By defining the corresponding bilattices as truth spaces, Ginsberg has shown that the same theorem prover can be used to simulate reasoning in first order logic, default logic, prioritized default logic and assumption truth maintenance system. Although this is a significant contribution, Ginsberg’s paper was lengthy and involved. This paper summarizes some of the essential concepts and foundations of bilattice theory. Furthermore, it discusses the connections of bilattice theory and several other existing multi-valued logics such as the various three-valued logics and Belnap’s four-valued logic. It is noted that the set of four truth values in Belnap’s logic form a lattice structure that is isomorphic to the simplest bilattice. Subsequently, Fitting proposed a conflation operation that can be used to select subsets of truth values from this and other bilattices. This method of selecting sub-sets of truth values provides a means for identifying sub-logic in a bilattice.
Keyphrases
truth value bilattice theory default logic artificial intelligence multi-valued logic truth space essential concept theorem prover corresponding bilattices four-valued logic significant contribution first order logic single framework lattice structure truth falsity uniform approach assumption truth maintenance system select subset certainty uncertainty inconsistent information non-classical logic conflation operation logic form certain case default information various three-valued logic past decade
