KSL-86-29 + redirect page
Multi-valued logics + Has identifier
Multi-valued logics + Ksl tr id
Multi-valued logics + Number
| Multi-valued logics |
Bibtype
techreport
Has publishing details
1986
Has title
Multi-valued logics
Has where published
KSL-86-29
Has year
1986
Title
Multi-valued logics
Year
1986
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.
Note
Working Paper.
Author
Matthew L. Ginsberg +
Has author
Matthew L. Ginsberg +
Has identifier
Multi-valued logics +
Institution
Knowledge Systems, AI Laboratory +
Ksl tr id
Multi-valued logics +
Number
Multi-valued logics +
Process note
YES +
Categories KSL Technical Report +, Publication +, Technical Report +
|
