Highly Influenced

# 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} }

- Published 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

Showing 1-10 of 45 references

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential