MVL(ID:3669/mvl001)

for Multi-Valued Logic

Matthew Ginsberg Computational Intelligence Research Lab University of Oregon 1993

Theorem proving shell written in Common Lisp, 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.



Structures:
Related languages
Common LISP => MVL   Based on
References:
  • Ginsberg, Matthew L. "The MVL theorem proving system" view details DOI
          in ACM SIGART Bulletin 2(3) June 1991 Special issue on implemented knowledge representation and reasoning systems view details
    Resources