Bilimlarni taqdim etishning freymli modellari

TRI – mantiqiy xulosalashni vizuallashtiruvchi vosita bo’lib, qoidalarning ketma-ket bajarilishini namoyish qiladi;

• TRI – mantiqiy xulosalashni vizuallashtiruvchi vosita bo’lib, qoidalarning ketma-ket bajarilishini namoyish qiladi;
• Tables – jadvallarni boshqaruvchi interfeys bo’lib, bilimlar bazasida bilimlarni saqlashda foydalaniladi;
• CS – cheklashlarni tavsiflovchi va tarqatuvchi til;
• TMS – chinlikni saqlovchi nomonoton tizim.
• Bilimlar injeneriyasida freymlar konsepsiyasiga asoslangan bilimlarni tasvirlash tillari mavjud. Ular orasida ko’proq mashhurlari:
• -FRL (Frame Repre­sentation Language) [Байдун, Бунин, 1990]- freymlar tarmoqlarida bilimlarni tasvirlashning maxsus tili (LISP tilining kengaytmasi);
• - KRL (Knowledge Representation Lan­guage) [Уотермен, 1989]- freymlar tarmoqlarida bilimlarni tasvirlashning maxsus tili (LISP tilining kengaytmasi);
• - Kappa [Стрельников, Бори­сов, 1997] –freymli «qatlam» -sanoat exspert tizimlarini samarali qurishda ta/minlaydi;
• Shuningdek, freymli-mo’ljallangan ANALYST, МОДИС, TRISTAN, ALTERID [Ковригин, Перфильев, 1988; Николов, 1988; Sisodia, Warkentin, 1992] exspert timlar yaratilgan.
• Bilimlarni freym modelida taqdim etish bo`yicha amaliy ko`nikmalarni hosil qilish uchun tavsiya etiladigan topshiriqlar.

Bilimlar bazasi. Bilimlar bazasi freymlar va mahsuliy-qoidalar naboridan iborat. Bilimlar bazasini tashqi ifodalash formati (matnli faylda) quyidagi ko`rinishda bo`ladi:

• Bilimlar bazasi. Bilimlar bazasi freymlar va mahsuliy-qoidalar naboridan iborat. Bilimlar bazasini tashqi ifodalash formati (matnli faylda) quyidagi ko`rinishda bo`ladi:

TITLE =
COMPANY =
FRAME // freym

ENDF
.
.
.
FRAME // freym
< freymni tavsiflash >
ENDF
RULE // mahsuliy-qoida

DO

ENDR
.
.
.
RULE // mahsuliy-qoiada
< qoida shartlarini tavsiflash >
DO
< qoida natijalarini tavsiflash>
ENDR

E’TIBORINGIZ UCHUN RAXMAT