Qeyri-səlis məntiq

Qeyri-səlis məntiq, bulanıq məntiq və ya qeyri-səlis çoxluq nəzəriyyəsi — dəyişənlərin həqiqət dəyərinin 0 və 1 arasında istənilən həqiqi ədəd ola biləcəyi çoxqiymətli məntiq forması. Qismən həqiqət anlayışını idarə etmək üçün istifadə olunur. Burada həqiqət dəyəri tamamilə doğru və tamamilə yalan arasında dəyişə bilər. Bunun əksinə olaraq, Bul məntiqində dəyişənlərin həqiqət dəyərləri yalnız 0 və ya 1 tam ədədlər ola bilər.

Qeyri-səlis məntiq termini 1965-ci ildə Azərbaycan riyaziyyatçısı Lütfi Zadənin qeyri-səlis çoxluqlar nəzəriyyəsi təklifi ilə təqdim edilmişdir. Qeyri-səlis məntiq 1920-ci illərdən, xüsusilə Lukaseviç və Tarski tərəfindən sonsuz qiymətli məntiq kimi öyrənilmişdir.

Qeyri-səlis məntiq insanların qeyri-dəqiq və rəqəmi olmayan məlumatlara əsaslanaraq qərarlar qəbul etməsinin müşahidəsinə əsaslanır. Qeyri-səlis modellər və ya qeyri-səlis çoxluqlar qeyri-müəyyənliyi və qeyri-dəqiq məlumatı təmsil edən riyazi vasitələrdir. Bu modellər qeyri-müəyyən olan məlumatları tanımaq, təmsil etmək, manipulyasiya etmək, şərh etmək və istifadə etmək qabiliyyətinə malikdir.

Qeyri-səlis məntiq idarəetmə nəzəriyyəsindən süni intellektə qədər bir çox sahəyə tətbiq edilmişdir.

 Ümumi baxış 
Klassik məntiq yalnız doğru və ya yalan olan nəticələr çıxarmağa icazə verir. Bununla belə, dəyişkən cavablı hökmlər də var. Belə hallarda, həqiqət, nümunə götürülmüş cavabların bir spektrdə xəritələndiyi qeyri-dəqiq və ya qismən biliklərin əsaslandırılması nəticəsində ortaya çıxır. Həm həqiqət dərəcələri, həm də ehtimallar 0 ilə 1 arasında dəyişir. Qeyri-səlis məntiq həqiqət dərəcələrini qeyri-müəyyənliyin riyazi modeli kimi istifadə edir, ehtimal isə cəhalətin riyazi modelidir.

Əsas tətbiq davamlı dəyişənin müxtəlif alt diapazonlarını xarakterizə edə bilər. Məsələn, kilidlənmə əleyhinə əyləclər üçün temperaturun ölçülməsi bir neçə ayrı üzvlük funksiyasına malik ola bilər. Bu funksiyalar əyləcləri düzgün idarə etmək üçün lazım olan xüsusi temperatur diapazonlarını müəyyənləşdirir. Hər bir funksiya eyni temperatur dəyərini 0-dan 1-ə qədər diapazondakı həqiqət dəyərinə uyğunlaşdırır. Bu həqiqət dəyərlərindən sonra əyləclərin necə idarə olunacağını müəyyən etmək üçün istifadə edilə bilər. Qeyri-səlis çoxluq nəzəriyyəsi qeyri-müəyyənliyi təmsil etmək üçün bir vasitə təqdim edir.

Qeyri-səlis məntiq tətbiqlərində qayda və faktların ifadəsini asanlaşdırmaq üçün çox vaxt qeyri-rəqəmsal qiymətlərdən istifadə olunur. "Yaş" kimi linqvistik dəyişən "cavan" və onun antonimi "qoca" kimi dəyərləri qəbul edə bilər. Təbii dillərdə qeyri-səlis dəyər miqyasını ifadə etmək üçün həmişə kifayət qədər dəyər terminləri olmadığına görə linqvistik dəyərləri sifət və ya zərflərlə dəyişdirmək adi təcrübəyə çevrilmişdir. 

 Tədqiqatında istiqamətlər 
Hazırda qeyri-səlis məntiq sahəsində aparılan tədqiqatlar ən azı iki istiqamətə ayrılır:
 Qeyri-səlis məntiq geniş mənada (Təqribi hesablama nəzəriyyəsi)
 Qeyri-səlis məntiq məhdud mənada (Rəmzi qeyri-səlis məntiq)

 Mahiyyəti 
Məntiq idrak elmidir. Yunan filosofu Aristotelin belə bir fəlsəfi deyimi var: "Bir adamın dediyi ya doğrudur, ya yalan". Göründüyü kimi, Aristotel yalan və doğru kimi kateqoriyalar arasında qalan aralıq dərəcələri qəbul etməyib. Amma ilk dəfə dünyada Lütfi Zadə hər şeyin dərəcəsinin olduğunu sübut etdi. Yəni dünyada qəti olaraq tam ağ və qəti olaraq tam qara deyilən şey yoxdur. Bu iki məfhum arasında minlərlə çalar dəyişikliyi - aralıq nüanslar var. Aristotelin kəskinliyini Lütfi Zadə yumşaltdı. Başqa sözlə desək, həqiqətdə mövcud olan aralıq kateqoriyaları aşkarladı. Nəzəriyyənin mahiyyəti tolerantlığındadır. Bu nəzəriyyə arada qalaraq aşkardakı səhnədə görünməyən çalarların hüquqlarını tanıtdı və bərpa etdi. Konfliktlərin həll olunması, həqiqətin aşkarlanması, hesablamaların dəqiqliyi aralıq fazalara əhəmiyyət verilmədən aparıla bilməz. Aparılmış olarsa onlarda kifayət qədər qüsurlar mövcud olacaqdır. Nəzəriyyəni ilk olaraq iqtisadiyyatlarına yaponlar tətbiq etdilər. Hazırda Yaponiyada istehsal olunan texniki avadanlıqların böyük əksəriyyətinin üzərində qeyri-səlis məntiq nəzəriyyəsinə əsaslanaraq hazırlandığı bildirilir. Yaponlardan sonra amerikanlar həmin nəzəriyyəni öz ölkələrinə tətbiq etdilər. Amerikanın hava hücumundan qorunmasının yenidən qurulması məsələsi gündəmə gələndə Kasko adında bir alim bu nəzəriyyəni tətbiq etməyi təklif etdi. Trilyon dollarla vəsait sərfi ilə görülməli işi bu nəzəriyyə həll etdi. Nəzəriyyə Çinə ildə yüz milyardlarla dollar gəlir gətirir.

 Rəmzi qeyri-səlis məntiq 
Rəmzi qeyri-səlis məntiq t-normalar anlayışına əsaslanır. Bəzi t-normaları seçdikdən sonra (bunu isə bir neçə üsulla tətbiq etmək olar) konyunksiya, dizyunskiya, implikasiya, inkar və digər proporsional dəyişənlər üzərində həyata keçirilən əsas əməliyyatları müəyyən etmək imkanı yaranır. Klassik məntiqdə rast gəlinən distributivliyin t-normalar kimi Hödelin t-norması seçildikdə həyata keçməsi halını isbat etmək bir o qədər də çətin deyil. Bundan əlavə, bəlli səbəblərdən implikasiya yerinə residium adlanan əməlliyyat seçilir (bu da ümumiyyətlə götürdükdə, t-normalar seçimindən asılıdır). Yuxarıda sadalanan əsas əməliyyatların təyini klassik bazis qeyri-səlis məntiq anlayışına gətirir. Üç əsas bazis qeyri-səlis məntiq mövcuddur: Lukaseviç məntiqi, Hödel məntiqi və ehtimal məntiqi (Product Logic). Maraqlıdır ki, bu üç məntiqdən istənilən ikisinin sintezi klassik Boolean məntiqinə gətirir.

 Təqribi hesablama nəzəriyyəsi 
Qeyri-səlis məntiq nəzəriyyəsinin geniş mənada əsas anlayışı xarakterik funksiya köməkliyi ilə təyin edilən qeyri-səlis çoxluq anlayışıdır. Daha sonra çoxluqların birləşdirliməsi, kəsişməsi və əlavə edilməsi, qeyri-səlis nisbət anlayışı, eləcə də ən əsas anlayışlardan biri – linqvistik dəyişən anlayışı daxil edilir.

 Həmçinin bax 
 Adaptiv neyro-qeyri səlis çıxarış sistemi
 Ekspert sistemlər
 Maşın öyrənməsi

 İstinadlar 

 Xarici keçidlər 

Kateqoriya:Riyaziyyat
Kateqoriya:Elmi nəzəriyyələr
Kateqoriya:Qeyri-səlis məntiq