Multi-valued logics

Citation: Matthew L. Ginsberg. (1986) Multi-valued logics. In KSL-86-29, 1986.

Publication techreport ( Edit )
type	Technical Report
bibtype	techreport
Bibtex basics
author	Matthew L. Ginsberg
title	Multi-valued logics
number	KSL-86-29
institution	Knowledge Systems, AI Laboratory
year	1986
Bibtex more
note	Working Paper.
Access Paper
abstract	A great deal of recent theoretical work in inference has involved extending classical logic in some way. I argue that these extensions share two properties: firstly, the formal addition of truth values encoding intermediate levels of validity between true (i.e. valid) and false (i.e. invalid) and, secondly, the addition of truth values encoding intermediate levels of certainty between true or false on the one hand (complete information) and unknown (no information) on the other. Each of these properties can be described by associating lattice structures to the collection of truth values involved; this observation lead us to describe a general framework of which both default logics and truth maintenance systems are special cases.

KSL Technical Report ID: KSL-86-29

Abstract	A great deal of recent theoretical work in … A great deal of recent theoretical work in inference has involved extending classical logic in some way. I argue that these extensions share two properties: firstly, the formal addition of truth values encoding intermediate levels of validity between true (i.e. valid) and false (i.e. invalid) and, secondly, the addition of truth values encoding intermediate levels of certainty between true or false on the one hand (complete information) and unknown (no information) on the other. Each of these properties can be described by associating lattice structures to the collection of truth values involved; this observation lead us to describe a general framework of which both default logics and truth maintenance systems are special cases. uth maintenance systems are special cases.
Author	Matthew L. Ginsberg +
Bibtype	techreport +
Has author	Matthew L. Ginsberg +
Has identifier	KSL-86-29 +
Has publishing details	1986 +
Has title	Multi-valued logics +
Has where published	KSL-86-29 +
Has year	1986 +
Institution	Knowledge Systems, AI Laboratory +
Ksl tr id	KSL-86-29 +
Note	Working Paper.
Number	KSL-86-29 +
Process note	YES +
Title	Multi-valued logics +
Year	1986 +