Имамов, М. Ф att ахов ахборот технологиялари

Билимларни намоён этишнинг мантиций модели. М антилий 
модел узи билан баъзи бир мантилий \исобланиш ларнинг 
формал тизимини намоён этади. Предмет со \а \акидаги бар­
ча билимлар бу \исобланиш лар ёки чикариш к°идаси нинг 
формула куриниш ида тавсифланади. Формула куринишида 
ифодаланиш деклоратив билимларни, киритиш коидаси - 
жараёнли билимларни намоён этиш нинг им конини беради.
Билимнинг мисоли сифатида карай ми з: “ К^ачон печнинг 
гемператураси 
120 
градусга етади 
ва печнинг ёкдлган 
вактидан 30 минут булдики, босим критик нуктадан утгани 
йук- Агар печнинг ёкилганидан 30 минут утган булса, № 2 
винтелни очиш зарурдир” . Бу билимни намоён этиш нинг 
мантилий модули куйидаги куринишда:
Р(р= 120) л T(t<30) => (D Р(р=120) v T (t> 30 ) = > Р(№ 2).
Бу ёзувда куйидаги белгиланишлардан фойдаланилган:
Р(р= 120) - предикат, температура 120 градусга етгач 
\а  ки кат га айланади,
T(t<30) - предикат, жараён бошлангандан 30 минут утгач 
аникпигича колади;
T(t>30) - предикат, жараён бош лангандан тугашига 30 
минут кол1'Ун игача аникдигича колади;
(Dтасдик-
Р(№ 2) - №2 вентилни очиш командаси.
Бундан 
таш кари, 
бу 
ёзувларда 
типик 
мантикий 
богланиш лар конъю нкцияси (v), им пликацияси (л) ва м ан­
тикий кузатув (=> ) лардан фойдаланилган.
Ёзувдаги биринчи каторда деклоратив, иккинчисида — 
жараёнли билим намоён этилган. М антикий типдаги билим ­
ларни намоён этиш тилларидан интеллектуал тизимлар ри- 
вож ланиш ининг дастлабки боскичларида кенг ф ойдаланил­
ган, лекин тезда бошка турдаги тиллар томонидан сикиб (ёки 
\а р кандай ,\олатда кучли сикилди) чикарилди. Бу классик 
мантикий \исобланиш ларга таянадиган ёзувларнинг купол 
куламлиги билан изох^панади. Бундай ёзувларни шакллашда
40

---

хато кдлиш осон, уларни кидириб топиш эса киш ндир. 
Кургазмаликнинг мавжуд эмаслиги, нокулай укдлиши (айникса 
фаолияти аник, фанлар билан боглик булмаганлар учун) бундай 
типдаги тилларнинг таркалишини кийинлаштиради.