Fuzzy predicates anyone?

Thread View: comp.lang.prolog

2 messages

[T] Back to Threads [V] Tree View [G] Group Articles

2 total messages Started by Fred Tusveld Tue, 10 Nov 1992 08:51

#1576

Author: Fred Tusveld
Date: Tue, 10 Nov 1992 08:51

20 lines
698 bytes

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.



Fred Tusveld
ICT Automatisering Deventer BV - Aerospace Department
tel. +31 5700 33888
fax. +31 5700 21362
Keulenstraat 7
P.O. Box 701
7400 AS Deventer
The Netherlands
email :
tusveld@ict.nl

Re: Fuzzy predicates anyone?

#2114

Author: Harry Virtanen INF
Date: Mon, 16 Nov 1992 09:38

35 lines
1530 bytes

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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads