Neaiškioji logika yra matematikos ir programavimo rūšis, kuri tiksliau parodo, kaip žmogaus smegenys skirsto objektus į kategorijas, įvertina sąlygas ir apdoroja sprendimus. Tradicinėje logikos sistemoje elementas, kuris griežtai priklauso grupei arba nepriklauso jai, vadinamas rinkiniu. Pavyzdžiui, gyvūnas yra arba nėra šuo. Neaiškioji logika leidžia objektui priklausyti aibei iki tam tikro laipsnio arba su tam tikru pasitikėjimu. Neaiškios logikos pritaikymų šiuolaikinėse kompiuterinėse sistemose yra per daug, kad būtų galima paminėti, tačiau jie valdo tokius dalykus kaip šildymo mišiniai ir įrankių dalys.
Pasaulis yra neįtikėtinai sudėtingas tiek platumu, tiek gyliu. Kai kuriais atžvilgiais sunku laikytis loginių tradicinės aibių teorijos suvaržymų aprašant, kaip priimami paprasti kasdieniai sprendimai, tokie kaip kepsnio ruošimas ar vairavimas esant srautui. Tačiau tikimasi, kad kompiuteriai priims šiuos sprendimus supaprastindami arba sumažindami sudėtingumą ir neatsižvelgdami į neapibrėžtumą. Neaiškią logiką išrado ir sukūrė Dr. Lotfi Zadeh iš UC Berkeley 1965 m., kai galvojo apie matematiką, kalbotyrą ir sveiką protą.
Norint suprasti, kaip neaiškioji logika nėra neaiški, preliminari sistema, bet gali būti labai praktiškai naudojama mokant kompiuterius priimti sprendimus, gali būti naudingas pavyzdys. Pradedant nuo taisyklės „Namuose nėra šunų“, logiškai tai reiškia, kad JEI objektas yra šuo, TAI jis neturi būti namuose. Kažkaip galima daryti išvadą, kad į dalmatiną panašią iškamšą įleis, o tikro gyvo dalmatino – ne. Tačiau gali likti keletas klausimų, pavyzdžiui, ar galima leisti šunis su regėjimo akimis, ar gyvūnus, kurie yra pusiau haskiai ir pusiau vilkas, leidžiama į vidų.
Neaiškia logika leidžia pasiekti šiuos tarpinius reikalavimus, kai reikia įvykdyti reikalavimus ir inicijuoti pasekmes. Vietoj gyvūno, absoliučiai priklausančio šunų rinkiniui, jis gali priklausyti tam tikru mastu. Auksaspalvio retriverio vertė gali būti 1.0, kiek įmanoma artimesnė „visiškai“ šuniui, o čihuahua dėl savo dydžio gali turėti 0.8. Matančios akies šuns vertė gali būti tik 0.4, nes dažnai leidžiama ten, kur kiti šunys neleidžiami.
Ši lanksti sistema išsprendžia problemas ir valdo mašinas, kurių nesupaprastinta logikos sistema negalėtų. Rezultatas arba sprendimas visada yra aiškus ir neaiškus; kitaip tariant, išvestis visada yra „traški“. Galų gale šuo yra namuose arba verandoje – jis niekada nėra pusiaukelėje. Štai kodėl „neaiškus“ nereiškia neaiškus ar nežinomas.