users-prolog
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: 3 values logic


From: Vic Bancroft
Subject: Re: 3 values logic
Date: Thu, 10 Apr 2003 00:50:32 -0400 (EDT)

On Tue, 8 Apr 2003, Losky wrote:

> Is in the plans of the gprolog team to make a module for evaluating
> 3 values logic ??

There is a simple logic calculator posted on sourceforge, 

   http://cvs.sourceforge.net/cgi-bin/viewcvs.cgi/gpvn/prolog/

There are definitions for three different systems. The Kleene system (K3) was
developed to accommodate undecidable mathematical statements. The third
assignment in this system intuitively represents partial ignorance. The
Lukasiewicz (L3) system was developed because of the need to represent future
contingent statements. The third value is designed to represent indeterminacy.
The third value in the Bochvar (B3) system is designed to represent
meaninglessness. The third value in B3 is infectious.

This code was modified some time ago to run in GNU Prolog 1.0.0 . . .  

more,
l8r,
  
------------------------------------------------------------------- 
Victor Bancroft, Principal Engineer, Zvolve Systems [v]770.551.4505 
1050 Crown Pointe Pkwy, Suite 300, Atlanta GA 30338 [f]770.551.4509 
Fellow, Artificial Intelligence Center              [v]706.542-0358 
Athens, Georgia  30602, U.S.A           http://ai.uga.edu/~bancroft 





reply via email to

[Prev in Thread] Current Thread [Next in Thread]