Neaiškioji ekspertų sistema yra problemų sprendimo forma, naudojama kompiuterinėje sistemoje, dažnai naudojama kuriant dirbtinį intelektą. Ekspertinės sistemos yra sprendimų priėmimo kompiuterinės programinės įrangos tipai, pagrįsti Būlio logika, o tai reiškia, kad sistema naudoja keletą atsakymų taip arba ne, kad bandytų išspręsti problemą. Neaiškios ekspertų sistemos plečiasi į tradicinę ekspertų sistemą ir yra pagrįstos neaiškia logika, o ne Būlio logika. Neryški logika, kaip rodo pavadinimas, reiškia, kad atsakymas nėra aiškus taip arba ne. Jis patenka kažkur per vidurį, o kompiuteris turi bandyti apskaičiuoti atsakymą pagal atsakymus, kurie gali būti ne visiškai teisingi, bet gali būti ir ne visiškai klaidingi.
Žinomas kaip “neaiškios logikos tėvas”, daktaras Lotfi Zadeh pristatė neaiškios logikos sąvoką septintajame dešimtmetyje, dirbdamas Kalifornijos universitete Berklyje. 1960 m. jis paskelbė straipsnį apie neaiškius rinkinius. Jis paaiškino ne tik neaiškių rinkinių ir logikos idėją, bet ir šios naujos logikos įtraukimo į inžinerijos pasaulį sistemą. Jis taip pat sukūrė terminą „neaiškus“, nurodydamas šį konkretų loginį stilių, o pavadinimas įstrigo.
Norint suprasti neaiškių ekspertų sistemų teoriją, būtina suprasti pagrindines Būlio logikos ir neaiškios logikos sąvokas. Nors abu remiasi pažangiais matematiniais algoritmais, pagrindinė koncepcija yra paprasta. Abu naudoja atsakymus į daugybę klausimų ar teiginių, kad suformuluotų naują atsakymą. Būlio logikoje atsakymai yra teisingi arba klaidingi, o neaiškios logikos atveju atsakymas gali būti teisingas, iš dalies teisingas, klaidingas, iš dalies klaidingas ir kelios reikšmės tarp jų, priklausomai nuo to, kokius terminus programuotojas įveda į programą.
Pavyzdžiui, jei ekspertų sistema norėtų priimti sprendimą naudodama Būlio logiką, ji galiausiai atsakytų teisinga arba klaidinga, taip pat vadinama taip arba ne. Tačiau ekspertų sistema, naudojanti neaiškią logiką, galėtų atsakyti taip, ne, galbūt arba kitokiu deriniu. Ji tai daro darydama išvadas iš savo dabartinės informacijos bazės.
Žinių bazės yra neaiškių ekspertų sistemų širdis. Jei kompiuteris negali pateikti teisingo atsakymo, daroma prielaida, kad žinių bazėje nėra pakankamai informacijos, o ne manoma, kad pati programa yra neteisinga. Žinių bazėje gali būti toks teiginys, kaip „Kai x=taip ir y=ne, tada z=galbūt“. Iš šio teiginio neaiškios ekspertų sistemos gali daryti išvadą, kad kai „x=taip“ ir „y=taip“, „z“ taip pat turi būti „taip“, arba, kai „x=ne“ ir „y=taip“, kad „z“ “ vis dar yra lygus „galbūt“. Jei tai nėra atsakymo, kurio norėjo programuotojas, tai reiškia, kad žinių bazei reikia daugiau informacijos, kad būtų pateiktas teisingas atsakymas.
Neaiškios ekspertų sistemos šiuos skaičiavimus atlieka remdamosi matematinėmis reikšmėmis. „Taip“, „ne“ ir „galbūt“ priskiriamos tam tikros reikšmės. Kompiuteris peržiūri, kam yra vienodos terminų reikšmės teiginiuose, pvz., „x=taip“ ir y=ne“, ir prideda jų reikšmes. Tada jis prideda visas kitas susijusias reikšmes ir atitinka galutinę reikšmę su atsakymu, pvz., „gal“, „taip“ arba „ne“. Taigi, pridėjus matematines „x=no“ ir „y=yes“ reikšmes, kompiuteriui pranešama, kad „z“ matematinė reikšmė yra lygi „galbūt“.