Титульный лист

1. Noravshan mantiq – matematik asoslar
1.1. Noravshan mantiq tarixi
Noravshan mantiq atamasi birinchi marta kelib chiqishi ozarbayjonlik amerikalik professor Lotfi Zadeh tomonidan 1965 yilda “Computer Science and Control” jurnalidagi “Fuzzy Sets” asarida kiritilgan.
Yangi nazariyani yaratish uchun professor va uning do'sti o'rtasidagi xotinlarning qaysi biri jozibali ekanligi haqidagi tortishuv asos bo'ldi. Ular bir fikrga kelmadilar. Bu Zadehni "jozibalilik" kabi noaniq tushunchalarni raqamli shaklda ifodalovchi kontseptsiyani shakllantirishga majbur qildi.
Noravshan mantiq loyqa to'plamlar nazariyasiga asoslanadi va klassik aniq to'plamlar nazariyasidan farq qiladi. Agar aniq to'plamlar uchun xarakteristikani hisoblash natijasi faqat ikkita qiymat bo'lishi mumkin - 0 yoki 1, u holda loyqa to'plamlar uchun bu raqam cheksiz, lekin noldan birgacha bo'lgan diapazon bilan cheklangan.
1920-yillarning boshlarida polshalik matematik Lukashevich ko'p qiymatli matematik mantiq tamoyillari ustida ishladi, unda predikatlar qiymatlari nafaqat "to'g'ri" yoki "noto'g'ri" bo'lishi mumkin edi.
1937-yilda yana bir amerikalik olim Maks Blek oʻzining “Fan falsafasi” jurnalidagi maqolasida birinchi marta Lukashevichning koʻp qiymatli mantiqini roʻyxatlarni obʼyektlar toʻplami sifatida qoʻllagan va bunday toʻplamlarni noaniq deb atagan. Qora Zadening ushbu ishidan deyarli 30 yil o'tgach, Lukashevich mantig'iga asoslanib, u to'liq algebraik tizimni qurdi. 10 yil o'tgach, Zadehning nazariy algebrasi, London Queen Mary Collegedan Ibrohim Mamdani tufayli tizim buyruqlarida ishlatilgan. 1975 yilda Mamdani bug 'turbinasini boshqarish uchun Zade algebrasi asosida ishlaydigan birinchi boshqaruvchini loyihalashtirdi.
Noravshan mantiq uchun dasturning shu qadar aniq belgilangan sohalari mavjud ediki, u juda ko'p ahamiyatsiz bo'lmagan past darajadagi narsalarni yashirishga imkon beradigan kuchli vositalarni yaratish mumkin bo'ldi.
qulay foydalanuvchi interfeyslari va ifodali muammoga yo'naltirilgan grafik metafora ortidagi matematik operatsiyalar. Loyqa mantiqning fundamental matematik operatsiyalari shunchalik aniq belgilanganki, ular uzoq vaqtdan beri tijoratda mavjud bo'lgan mikrokontrollerlarning "apparat vositalarida" (aniqrog'i, buyruq tizimlarida) muvaffaqiyatli amalga oshirilgan.
Yaponiyada bu yo'nalish haqiqiy bumni boshdan kechirmoqda. Bu erda maxsus tashkil etilgan tashkilot - Xalqaro loyqa muhandislik tadqiqotlari laboratoriyasi (LIFE) ishlaydi. Ushbu tashkilotning dasturi ko'proq insoniy hisoblash qurilmalarini yaratishdan iborat. LIFE 48 ta kompaniyani birlashtiradi, jumladan Hitachi, Mitsubishi, NEC, Sharp, Sony, Honda, Mazda, Toyota. Chet ellik (yaponiyalik bo'lmagan) LIFE ishtirokchilaridan IBM, Fuji, Xerox kompaniyalarini ajratib ko'rsatishimiz mumkin; NASA ham LIFE faoliyatiga qiziqish bildirmoqda.