Qeyri-səlis məntiq nəzəriyyəsi
Qeyri-səlis məntiq, həmçinin bax 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.