Multivalued Logics: a Uniform Approach to Inference in Artiicial Intelligence Multivalued Logics: a Uniform Approach to Inference in Artiicial Intelligence

@inproceedings{Ginsberg1988MultivaluedLA,
  title={Multivalued Logics: a Uniform Approach to Inference in Artiicial Intelligence Multivalued Logics: a Uniform Approach to Inference in Artiicial Intelligence},
  author={Matthew L. Ginsberg},
  year={1988}
}
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 rst-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 deening this framework, which is based on a mathematical structure known as a bilattice. We present a formal deenition of inference using… CONTINUE READING