3-mavzu. Bilimlarni taqdim etish. Mantiqiy, produksion va freym model. Bilimlar interpretatori. Mavzu rejasi

Protsessual va deklarativ bilimlar 
Zamonaviy ekspert tizimlari asosan yuzaki bilimlar bilan ishlaydi. Buning sababi shundaki, 
hozirgi vaqtda bilimlarning chuqur tuzilmalarini aniqlash va ular bilan ishlashning universal 
usullari mavjud emas . 
 Bundan tashqari, AI darsliklari an'anaviy tarzda bilimlarni protsessual va deklarativga 
ajratadi. Tarixiy jihatdan, protsessual bilimlar birlamchi bo'lgan , ya'ni 
bilim algoritmlarda "erigan". Ular ma'lumotlarni manipulyatsiya qilishdi. Ularni 
o'zgartirish dasturlarni o'zgartirishni talab qildi. Biroq, sun'iy intellektning rivojlanishi 
bilan ma'lumotlarning ustuvorligi asta-sekin o'zgarib bordi va ko'proq bilimlar 
ma'lumotlar tuzilmalarida (jadvallar, ro'yxatlar, ma'lumotlarning mavhum turlari) 
jamlandi, ya'ni deklarativ bilimlarning roli oshdi. 
 Bugungi kunda bilim sof deklarativ shaklga ega bo'ldi , ya'ni bilim tabiiy tillarda 
yozilgan va mutaxassis bo'lmaganlar uchun tushunarli bo'lgan jumlalar deb hisoblanadi . 
Bilimlarni ifodalash modellari 
Turli fan sohalari uchun o'nlab bilimlarni taqdim etish modellari (yoki tillar) 
mavjud. Ularning aksariyatini quyidagi sinflarda umumlashtirish mumkin: 
 ishlab chiqarish modellari; 

---

 semantik tarmoqlar; 
 ramkalar; 
 rasmiy mantiqiy modellar. 
Ishlab chiqarish modeli 
 Ishlab chiqarish modeli yoki qoidaga asoslangan model bilimlarni "Agar (shart), keyin 
(harakat)" kabi jumlalar shaklida ifodalash imkonini beradi. 
 "Shart" (oldingi) ma'lum bir namunaviy jumlani anglatadi, bunda bilimlar bazasida 
qidiruv amalga oshiriladi va "harakat" (natija) muvaffaqiyatli qidiruv natijalari bo'yicha 
amalga oshiriladigan harakatlarni anglatadi (ular oraliq bo'lishi mumkin, keyinchalik 
shart sifatida harakat qiladi). va terminal yoki maqsad, tizimni o'chirish). 
 Ko'pincha, bunday bilimlar bazasi bo'yicha xulosa to'g'ridan-to'g'ri (ma'lumotlardan 
maqsadni izlashga) yoki teskari (maqsaddan uni tasdiqlash uchun - 
ma'lumotlarga). Ma'lumotlar - bu faktlar bazasida saqlanadigan xom faktlar bo'lib, ular 
asosida ishlab chiqarish bilimlari bazasidagi qoidalarni takrorlaydigan xulosa chiqarish 
mexanizmi yoki qoidalar tarjimoni ishlaydi. 
 Ishlab chiqarish modeli ko'pincha sanoat ekspert tizimlarida qo'llaniladi. U o'zining 
ko'rinishi, yuqori modulliligi, qo'shimchalar va o'zgartirishlar kiritish qulayligi va xulosa 
qilish mexanizmining soddaligi bilan ishlab chiquvchilarni o'ziga jalb qiladi. 
 Ishlab chiqarish yondashuvini amalga oshiradigan juda ko'p dasturiy vositalar mavjud 
(til OPS 5; "chig'anoqlar" yoki "bo'sh" ES - EXSYS Professional, Carra, EXPERT; IVF, 
PIES [Xoroshevskiy, 1993] va SPEIS [Kovrigin, Perfiliev) instrumental tizimlari. , 1988] 
va boshqalar), shuningdek, unga asoslangan sanoat ES (masalan, G2 [Popov, 1996] 
yordamida yaratilgan ES) va boshqalar.