Neakra logiko

El Vikipedio

Trajto de klasika logiko estas rezonado pri "vero aŭ malvero", kie "aŭ" ludas rolon ekskluziviga: Ĝi faras akran distingon inter vero kaj malvero de iu ajn propozicio, kaj ne permesas aliajn eblecojn.

Tamen, la realviva rezonado ne estas tiel ideala, kaj -treege ofte- homo ne povas distingi akre inter vero kaj malvero: Ekzemple, homo ĉiutage devas rezoni pri propozicioj kiel: "Johano estas riĉa", ĉu ĝi estas vera aŭ malvera? Ne ekzistas akra distingebleco inter "riĉa" kaj "neriĉa", ekzistas gradoj aŭ niveloj de riĉeco, kaj do, por modeligi kaj analizi realan ĉiutagan rezonadon necesas formaligon kiu povas esprimi neakran iron de malvero al vero, aŭ gradojn de vereco. Tia ĉi logiko estas Neakra logiko.

Neakra logiko, en la formo iniciatita far Lofti Zadeh, estas plej uzata sistemo por proksimuma rezonado, kvankam ekzistas aliaj disvolvoj kiuj celas ankaŭ formaligi tian rezonadon, ekzemple: LT-neakra predikata logiko, disvolvita far Helena Rasiowa kaj Cat Ho, kaj Aspra logiko surbaze de "Aspraj aroj" pritraktitaj far Zdzisław Pawlak.

[redakti] Historio

[redakti] Neakra Logiko kaj Neakraj Aroj

[redakti] Aplikoj

[redakti] Vidu ankaŭ

[redakti] Eksteraj ligiloj

Ĉi tiu artikolo pri "Neakra logiko" ankoraŭ estas ĝermo. Vi povas helpi pluredakti ĝin post klako al la butono redaktu. Se jam ekzistas alilingva samtema artikolo pli disvolvita, traduku kaj aldonu el ĝi.