Intellektual tizimlar

 

Takrorlash uchun savollar: 

1. 

Mantiq algebrasi va  fikrlar hisobini asosiy qonun va aksiomalari. 

2. 

Mantiqiy xulosalarni chiqarish to‘g‘ri fikrlash zanjirini mexanizmi. 

3. 

Mantiqiy xulosalarni chiqarish teskari fikrlash zanjirini mexanizmi. 

 

IV. 

BILIMLARNI TAQDIM ETISh MODELLARI (SEMANTIK 

TARMOQ) 

4.1.  Bilimlarni namoyish etish turlari 

Bilimlarni namoyish etishning ikkita turga ajratsa bo‘ladi: 

1. 

Mantiqiy 

2. 

Evristik 

Mantiqiy  modellar  asosida  formal  nazariyani  tushunish  yotadi.  Mantiqiy 

modellarda  aloxida  bilimlar  (faktlar)  birliklari  orasida  mavjud  bo‘lgan 

munosabatlar, formal nazariyaning sintaktik bilimlari orqali ifodalanadi (masalan, 

predikatlarni xisoblash).  

---

33 

 

Mantiqiy  modellardan  farqlangan  holda  evristik  modellar  u  yoki  bu 

muammoli soxaga spetsifik xususiyat beradigan turli xil vositalar to‘plamiga ega.  

Evristik  modellar  mantiqiy  modellar  va  imkoniyatlar  yoki  qobiliyatlarni  xolis 

namoyon  etishdan  kelib  chiqadi,  ya’ni,  muammoli  soxa  va  samarali 

foydalanilayotgan  chiqarish  mexanizmini  ko‘rsatishdan.  Evristik  modellar 

quyidagicha bo‘ladi: 

1. 

tarmoqli 

2. 

freymli 

3. 

ishlab chiqiladigan 

Bilimlarni namoyish etishing birinchi turini ko‘rib chiqamiz