🚀 go-pugleaf

In <1731@ictser.UUCP> tusveld@ictser.UUCP writes:

> 
> Hello,
> 
> for an application I would like to use some fuzzy predicates. 
> Does anyone have some simple predicate definitions that make use of 
> standard Prolog arithmetic, and that can be used to illustrate use of 
> fuzzy values in Prolog?
> 
> Thanks in advance.
> 

Hmm! 
There is ofcourse some Fuzzy Prolog interpreters around (Prolog/P, 
Prolog-ELF etc.). I've experimented myself with building a simple
Fuzzy Prolog in which facts and rules are fuzzy, i.e. they have a
numeric value attached to them (call them certainty factors or what
ever). 

	(A<--B)<-p1    % rule
        (A<--)<-p2     % fact

If B is of type B1,B2,...., then T(B) = max(0,T(B1)+T(B2)-1)
If B is of type B1;B2;...., then T(B) = max(T(B1),T(B2))
If B is not B, then T(not B) = 1-T(B)
T((A<--)<-p) = p
T((A<--B)<-p) = max(0,p+T(B)-1) = T(A)

But I guess this not at all what you are seeking for

Harry "too fuzzy today" Virtanen
Abo Akademi University
Abo, Finland