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-Thread: 103376,c40c26da14123526 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news4.google.com!news.glorb.com!npeer.de.kpn-eurorings.net!newsfeed.arcor.de!news.arcor.de!not-for-mail From: "Dmitry A. Kazakov" Subject: Re: fuzzy logic Newsgroups: comp.lang.ada User-Agent: 40tude_Dialog/2.0.14.1 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Reply-To: mailbox@dmitry-kazakov.de Organization: cbb software GmbH References: <4301d21d$0$192$edfadb0f@dread11.news.tele.dk> <1124803398.655387.185810@g44g2000cwa.googlegroups.com> Date: Tue, 23 Aug 2005 17:45:49 +0200 Message-ID: <1wzvbtxj3rqfd.1s3f8bbyhoba4.dlg@40tude.net> NNTP-Posting-Date: 23 Aug 2005 17:45:49 MEST NNTP-Posting-Host: a1c8d83f.newsread2.arcor-online.net X-Trace: DXC=aG<1[KoPGMAeoBec=`Q1lFQ5U85hF6f;DjW\KbG]kaMHQ>n?D9BSA]L?InVSNRB8ZCWRXZ37ga[7Jn919Q4_`VjIB8=X\UUgbkD X-Complaints-To: abuse@arcor.de Xref: g2news1.google.com comp.lang.ada:4260 Date: 2005-08-23T17:45:49+02:00 List-Id: On 23 Aug 2005 06:23:18 -0700, Craig Carey wrote: > On Tue, 16 Aug 2005 15:03:41 +0200, "Dmitry A. Kazakov" wrote: >>On Tue, 16 Aug 2005 13:46:37 +0200, Poul-Erik Andreasen wrote: >>> ...source-code examples of the use of Dmitry A. Kazakov's fuzzy-logic >>> library?. > ... >>P.S. If that is not directly related to Ada, then comp.ai.fuzzy is a better >>place to discuss it. Or write me (E-mail is on the page.) > > A tall rectangle can fit inside of a smaller square, providing that the > former has no volume and isn't even a line. It seems plausible to > replace real numbers (used in science, etc.) with 'fuzzy logic' polytopes, but > idea seems to too flawed to make it. Do you mean fuzzy numbers or something else? > Suppose Booleans are replaced with non-negative reals, and 'and' means > 'Max', and 'or' is 'Min' I presume you meant and = min, or = max. > This: > > 4 and (2*(0 would simplify to this: > > 2*(0 since the second term takes values in the range 0 to 3, and that is > smaller than 4. > > So maybe to implement simplifying, subexpressions would be recursed > over, and the upper and lower values would be computed. I cannot tell if I understood the question, because I don't grasp your notation. But talking about fuzzy logic, fuzzy Booleans form a lattice with de Morgan's laws. That can be used for simplifying. > Let "implies" mean that one polytope fits inside of another. > E.g. simplify "P implies Q" where P and Q are rectanges: > > Tall rectangle: P = (0 Short square: Q = (0 > To simplify "a*F implies b*G", could make the answer be > (a<=b) and (All ...)(F implies G) That's not fuzzy, but sloppy logic. (:-)) > Substituting in from the example: a=10, F=(1 Then the algorithm finds that P is not inside of Q since not (10<=3). > > So that algorithm is wrong. Yes, but it has nothing to do with fuzzy logic. Reasoning about geometric shapes is crisp as long as the predicates involved are crisp. Fuzzy logic does not add anything to our knowledge of the geometry. Wrong statements about shapes remain wrong in any logic. > It certainly seems that the best way to proceed is to throw away > fuzzy logic and for the relatively infrequent cases when it is needed, > an extra variable (the "y" above), can be used. See above. Fuzzy logic has any sense only if 1) the data you are working with or 2) the knowledge of what's going on are incomplete, contradictory etc. That adds *nothing*. Fuzzy is not a god's oracle. It only allows you to proceed further in the hope that unknown things will not blur the answer you need. These unknown things (fuzziness) will stay unknown all the way! Yet note that on each step of reasoning, each answer a feasible fuzzy system gives is *correct*. It might end up with "I don't know", but it cannot derive falsehood from truth. > 'Not' need not be defined (it could be that 'Not x' equals 1-x or x<1). > > > I just deleted Zadeh Booleans (fuzzy logic) from my symbolic algebra > code. It seems that classical logic seems better despite how > non-negatives are a convenient extrapolation (a use of an extrapolating principle > that almost opposes itself in this topic). I don't see why you even tried to apply fuzzy to symbolic algebra! Remember two questions above: 1. Are data fuzzy? = somebody short-sighted guesses about what are the components of a formula shown on the display. 2. Are the laws fuzzy? = somebody was too lazy to take a look into a handbook of elementary mathematics. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de