CMU Artificial Intelligence Repository
MVL: Multi-Valued Logic
areas/reasonng/atp/systems/mvl/
This directory contains MVL (Multi-Valued Logic), a theorem proving
shell written in Common Lisp. It includes first-order logic, ATMS,
default reasoning and circumscription as special cases.
MVL is a bilattice-based reasoning system. By changing the
bilattice, you can use MVL to do truth maintenance, nonmonotonic
reasoning, first-order reasoning, and a variety of other reasoning
strategies.
Origin:
t.uoregon.edu:/mvl/mvl.tar.Z [128.223.56.46]
Version: 19-AUG-93
Copying: Please send the author an email message if you are using
the system.
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Author(s): Matthew L. Ginsberg
or
or
CIRL (Computational Intelligence Research Lab)
University of Oregon
Eugene, OR 97403
Tel: (503) 346-0470
Keywords:
ATMS, Authors!Ginsberg, Automated Reasoning, Circumscription,
Default Reasoning, First Order Logic, MVL,
Nonmonotonic Reasoning, Reasoning!Automated Reasoning,
Reasoning!Default Reasoning,
Reasoning!Nonmonotonic Reasoning, Theorem Proving,
Truth Maintenance
References: ?
Last Web update on Mon Feb 13 10:27:34 1995
AI.Repository@cs.cmu.edu