From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,583275b6950bf4e6
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-05-31 02:28:21 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!headwall.stanford.edu!fu-berlin.de!uni-berlin.de!dialin-145-254-036-245.arcor-ip.NET!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Saturated Math
Date: Sat, 31 May 2003 11:30:48 +0200
Organization: At home
Message-ID: <bb9sjj$78a8t$7@ID-77047.news.dfncis.de>
References: <badvd5$raumj$1@ID-175126.news.dfncis.de>
 <wcc65o5bdib.fsf@shell01.TheWorld.com> <vcqfcmacq3r461@corp.supernews.com>
 <Gdeza.49896$zt.17929@nwrdny01.gnilink.net>
 <vcsqis9d21of7@corp.supernews.com> <3ECFF541.1010705@attbi.com>
 <3ED0B820.5050603@noplace.com> <m59Aa.14549$fT5.5136@nwrdny01.gnilink.net>
 <3ED2096F.3020800@noplace.com> <WPqAa.18139$fT5.7613@nwrdny01.gnilink.net>
 <3ED353BE.40605@noplace.com> <bb1umi$4jh5e$1@ID-175126.news.dfncis.de>
 <3ED4A323.3000909@noplace.com> <bb2c3v$4sq9s$1@ID-175126.news.dfncis.de>
 <vda1gap101p119@corp.supernews.com> <3ED5E8DE.8070308@noplace.com>
 <dstanbro-D4C3C0.18423630052003@mec2.bigpond.net.au>
 <3ED7437E.5060607@noplace.com> <bb8nsf$7ki$3@newsg4.svr.pol.co.uk>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: dialin-145-254-036-245.arcor-ip.net (145.254.36.245)
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7Bit
X-Trace: fu-berlin.de 1054373299 7612701 145.254.36.245 (16 [77047])
User-Agent: KNode/0.7.1
Xref: archiver1.google.com comp.lang.ada:38188
Date: 2003-05-31T11:30:48+02:00
List-Id: <comp.lang.ada>

John Griffiths wrote:

> Sorry to but in:
> 
> Question: don't fuzzy logic states saturate?
> 
> If so could be another reason to add to Ada2xxx.

What do you mean? Fuzzy logical values have no arithmetics. Logical 
operations are defined in terms of min and max, they cannot produce 
overflow. If you mean different t-/s-norms then, they are defined so that 
the result is always in [0,1], no overflow possible. If you mean fuzzy 
numbers then their arithmetics is a generalization of the conventional 
arithmetics. They do not saturate, but overflow. If you mean so-called 
"defuzzification" then yes, it can be viewed as sort of saturation, but it 
is usually more complex than a simple chopping.

-- 
Regards,
Dmitry A. Kazakov
www.dmitry-kazakov.de