Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!wuarchive!emory!hubcap!ncrcae!usceast!mgv
From: mgv@usceast.UUCP (Marco Valtorta)
Newsgroups: comp.lang.prolog
Subject: Re: Fuzzy Prolog
Message-ID: <3443@usceast.UUCP>
Date: 11 Sep 90 15:54:48 GMT
References: <6921.26ebb2bb@abo.fi> <3728@goanna.cs.rmit.oz.au>
Organization: University of South Carolina, Columbia
Lines: 23

In article <3728@goanna.cs.rmit.oz.au> ok@goanna.cs.rmit.oz.au (Richard A. O'Keefe) writes:
>In article <6921.26ebb2bb@abo.fi>, hvirtanen@abo.fi (Harry Virtanen) writes:
>> I have recently been developing the theoretical foundations for a Fuzzy
>
>For a system without negation, Udi Shapiro had a paper in a conference
>years ago on logic programming with certainty factors.  Basically, if

I think that the paper you have in mind is 
"Logic Programs With Uncertainties: A Tool for Implementing Rule-Based Systems."
_Proceedings of IJCAI-83," 529-532.

(The paper is interesting, but the approach to debugging sketched in its
section 4 seems hopelessly naive to me.  There is no way an expert can be
expected to provide or recognize whether a proposition has the correct numerical
certainty, as required by the algorithm sketched there.)


Marco Valtorta			usenet: ...!ncrcae!usceast!mgv
Department of Computer Science	internet: mgv@cs.scarolina.edu
University of South Carolina	tel.: (1)(803)777-4641
Columbia, SC 29208		tlx: 805038 USC
U.S.A.				fax: (1)(803)777-3065
usenet from Europe: ...!mcvax!uunet!ncrlnk!ncrcae!usceast!mgv