Multivalued Logic
A bilattice is an instance of a mathematical structure that
generalizes a significant number of existing approaches to knowledge
representation, and are being investigated at a variety of
institutions worldwide. MVL is a theorem prover that works in a
bilattice setting; by providing this general theorem prover with an
appropriate bilattice as an argument, it can be made to simulate
first-order provers, truth maintenance systems, default reasoners, and
other systems.
CIRL
Bilattices were discovered by Matt Ginsberg, a member of the CIRL
faculty.
Pointers
-
Multivalued logics: A uniform approach to inference in artificial
intelligence
-
Article that defines and describes bilattices and multivalued
logics. Written by Matt Ginsberg, appeared in Computational
Intelligence in 1988. Compressed postscript document.
-
Bilattices and modal operators
-
Defines modal operators on bilattices, and shows this to be a
generalization of earlier approaches to modal operators. Written
by Matt Ginsberg, appeared in Journal of Logic and Computation in
1990. Compressed postscript document.
-
Computational considerations in reasoning about action
-
Presents a framework for reasoning about action that allows
efficient propagation of propositions over time and query answers
to be returned within any given time bound. Written by Matt Ginsberg,
appeared in Proc. KR in 1994. Compressed postscript document.
-
Modality and Interrupts
-
This article conjectures that the appropriate points to interrupt
a theorem prover, are exactly the modal operators. Written by
Matt Ginsberg, appeared in Journal of Automated Reasoning in 1995.
Compressed postscript document.
- Parent areas:
- Language
Back to the CIRL Overview Page.