H ? « ‹ ← → › »

Language peer sets for MVL:
United States↑
United States/1993↑
Designed 1993 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

MVL(ID:3669/mvl001)

alternate simple view
Country: United States
Designed 1993
Published: 1993

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. (1991) Ginsberg, Matthew L. "The MVL theorem proving system" DOI
          in (1991) ACM SIGART Bulletin 2(3) June 1991 Special issue on implemented knowledge representation and reasoning systems
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder