## Multivalued Logics: A Uniform Approach to Inference in Artificial Intelligence (1988)

Venue: | Computational Intelligence |

Citations: | 57 - 0 self |

### BibTeX

@ARTICLE{Ginsberg88multivaluedlogics:,

author = {Matthew Ginsberg},

title = {Multivalued Logics: A Uniform Approach to Inference in Artificial Intelligence},

journal = {Computational Intelligence},

year = {1988},

volume = {4},

pages = {265--316}

}

### Years of Citing Articles

### OpenURL

### Abstract

This paper describes a uniform formalization of much of the current work in AI on inference systems. We show that many of these systems, including first-order theorem provers, assumption-based truth maintenance systems (atms's) and unimplemented formal systems such as default logic or circumscription can be subsumed under a single general framework. We begin by defining this framework, which is based on a mathematical structure known as a bilattice. We present a formal definition of inference using this structure, and show that this definition generalizes work involving atms's and some simple nonmonotonic logics. Following the theoretical description, we describe a constructive approach to inference in this setting; the resulting generalization of both conventional inference and atms's is achieved without incurring any substantial computational overhead. We show that our approach can also be used to implement a default reasoner, and discuss a combination of default and atms methods th...