7-ma'ruza. Sun’iy intellektda mantiqiy xulosalashlar Reja

7-ma’ruza uchun o’zini-o’zi tekshirish savollari

1. 
   Formal mantiq qanday fan?
   
2. 
   Tahlil, sintez, induksiya, dедукция, abstraktlashtirish, analogiya (o’xshashlik) va taqqoslash tushunchalarini izohlang?
   
3. 
   Matematik mantiq qanday fan va u nimaga asoslanadi?
   
4. 
   Predikatlar mantiqida qanday simvollardan foydalaniladi?
   
5. 
   Subyekt va predikat tushunchalarini izohlang?
   
6. 
   Bir joyli, ikki joyli va ko’p joyli predikatlarning ta’riflarini keltiring?
   
7. 
   Bir joyli va ko’p joyli predikatlar qachon aynan chin yoki aynan yolg’on bo’ladi?
   
8. 
   Predikatlar ustida qanday mantiqiy amallar bajariladi?
   
9. 
   Predikatlarning kon’yunksiyasi, diz’yunksiyasi, implikatsiyasi va inkori ta’riflarini keltiring?
   
10. 
    Umumiylik va mavjudlik kvantorlari amallarini tushuntiring?
    
11. 
    Predikatlar mantiqi formulasining qiymati tushunchasini izohlang?
    
12. 
    Predikatlar mantiqining qanday tengkuchli formulalarini bilasiz?
    
13. 
    Predikatlar mantiqi formulasini deyarli normal shaklga keltirish qanday amalga oshiriladi?
    
14. 
    Predikatlar mantiqining qanday formulasini normal shaklga keltirish mumkin?
    
15. 
    Predikatlar mantiqining qanday formulalari bajariluvchi, aynan chin, aynan yolg’on va umumqiymatli bo’ladi?
    
16. 
    Predikatlar mantiqidagi Robinsonning rezolyutsiyalar usulini izohlang?
    
17. 
    Formulalarni TKNSh ga keltirish algoritmi qanday bosqichlardan iborat?
    
18. 
    Predikatlar mantiqi formulalarida skolemli o’zgarmaslarni va funksiyalarni kiritish nima uchun kerak?
    
19. 
    Deduktiv xulosalash masalalari qanday formallashtiriladi?
    
20. 
    Mahsuliy masalalarni echishda deduktiv xulosalashning teskari va to’g’ri xuloslash usullarini tushuntiring?
    
21. 
    Sun’iy intellekt tizimlari sohasida hozirgi vaqtgacha ma’lum bo’lgan qanday mantiqiy xulosalash tizimlarini bilasiz?
    
22. 
    Fikrlash deganda nima tushuniladi?
    
23. 
    Aristotel sillogizmini tushuntiring?
    
24. 
    Eng mashxur deduktiv xulosalash qoidalariga qaysi qoidalar kiradi?
    
25. 
    «Zanjirli xulosa» qoidasi qanday formallashtirildi?
    
26. 
    Mantiqda isbotlash muammosini echishning semantikli va sintaktikli usullarini keltiring?
    
27. 
    Tavtologiya nima?
    
28. 
    Abduktivli va induktivli mantiqiy xulosalashlarni izohlang?
    
29. 
    Induksianing qanday tiplari mavjud?
    
30. 
    To’liq va to’liqmas induksiyami tushuntiring?
    
31. 
    Elimenativli induksiya nima?
    
32. 
    D.S.Mill induktivli xulosalashlarning qanday usullarini taklif qilgan?
    
33. 
    Induksiya teskari deduksiya sifatida qanday qaraladi?
    

36) D.S.Millning DSM usulining mohiyati nimadan iborat?