Yhteenveto
Älä koskaan tarkenna mahdollisia epätarkkoja johtopäätöksiä johdettu päättely, joka tunnetaan myös likimääräinen päättely. Ihmisten ajattelussa päättely on usein likimääräistä. Esimerkiksi ihmiset ehdollinen lausunto (hypoteettinen) "Jos tomaatti on punainen", tomaatit ovat keitetyt, "ja lähtökohta (kunnioitus)" erittäin punaisia tomaatteja, "Nyt voidaan päätellä" erittäin kypsiä tomaatteja. "Tämä epätarkka päättely on mahdotonta käyttämällä klassista kaksiarvoista logiikkaa tai logiikkaa täydentämään .LA Zadeh vuonna 1975. Ensimmäiset ehdotetut yhdistelmäsäännöt ja sumean päättelyn ehtolauseke "Jos x - a < / i>, y - B "muunnetaan sumeiksi sääntösuhteiksi. Sen jälkeen Yeager JF Baldwin ja RR ja muut sumeilla totuusarvoillaan käyttäen sumeaa ehdotettua menetelmää eroaa Zadehin logiikasta.
Tutkimus ja kehitys
L.A.Zadista 1965 lähtien Nian eh ehdotti sumeiden joukkojen konseptia, Fuzzy
Systemaattinen tutkimus on ollut nopea kehitys sumea ohjaustekniikka on käytetty laajalti valmistuksessa teollisuuden ohjaus-ja kodinkoneita, ja on saavuttanut huomattavaa menestystä. sumea päättely on sumean ohjauksen teoreettinen perusta, vaikka sumealla päätelmillä onkin suuri määrä tutkimustuloksia, mutta näillä tutkimuksilla ei ole vielä luotettavaa loogista perustaa. Professori Wang Guojun perustaa muodollisen järjestelmän sumea propositional calculus vuonna 1996 L ~ *, kun kehystysjärjestelmä L ~ *, semanttisesti sumea päättelysäännöt rakentaa looginen perusta vuonna 1999 ja perustuu vain. implikaatiooperaattorin sumea päätelmä teki täyden implikoinnin kolmois-I-algoritmin, joka on nyt laajalti ohjausalalla käytetty CRI-menetelmä kuin Zadeh ehdotti järkevämpää, loogisempaa perustaa vahvemmalle päättelyalgoritmille.
tutkimusarvo
Valinnan ja sumean päättelyn vaikutuksesta johtuen implikaatio-operaattori liittyy läheisesti tutkimuskolmiooperaattoriin seuraaviin normeihin ja toistensa implikaatioon erityisen sumea päättely, jossa on sumea logiikka yhdistettynä merkitsevään ja laajaan merkitykseen . Tarkoituksena on muodostaa järjestelmä RL muodostaa uusi sumea propositiolasku, joka perustuu molemminpuolisiin mukana oleviin kolmionormeihin ja implikaatiooperaattoreihin, tekee kaksi tärkeää ja loogista järjestelmää L ~ * BL ovat loogisesti sen laajennus. Tässä uudessa sumeassa logiikassa kielirakenne sumeaan päättelylogiikkaan perustuvasta algoritmista muodostamaan kolme, jonka sain ei-sumean sumean päättelyn muodossa. Siten aion sumean päättelyn algoritmin kehyksen muotoon sumeassa logiikassa, sumea päättelyprosessi voidaan muuntaa sumean logiikan päättelyn muotoon, jolloin sumean päättelyn tekeminen on tiukka looginen perusta.