Bilimlarni ifodalash nima? Har XIL bilim turlari

Bilim va aql o'rtasidagi bog'liqlik qanday?
Haqiqiy dunyoda bilim aql-idrokda, shuningdek, sun'iy intellektni yaratishda muhim rol o'ynaydi . Bu AI agentlari yoki tizimlarida aqlli xatti-harakatni namoyish etadi . Agent yoki tizim kirish haqida ma'lumot yoki tajribaga ega bo'lsagina, ba'zi ma'lumotlar bo'yicha aniq harakat qilishi mumkin.
O'zaro munosabatlarni tushunish uchun misol keltiramiz:




Sun'iy intellekt kursi bo'yicha aspirantura diplomi
O'quv dasturini o'rganing


Bu misolda bitta qaror qabul qiluvchi bor, uning harakatlari atrof-muhitni his qilish va bilimlardan foydalanish orqali oqlanadi. Ammo, agar biz bu erda bilim qismini olib tashlasak, u hech qanday aqlli xatti-harakatni namoyish eta olmaydi.
Endi siz bilim va aql o'rtasidagi bog'liqlikni bilganingizdan so'ng, keling, AIda bilimlarni ifodalash usullariga o'tamiz.
AIda bilimlarni ifodalash texnikasi
Bilimlarni ifodalashning to'rtta texnikasi mavjud, masalan:

Keling, ushbu texnikani batafsil ko'rib chiqaylik.
Mantiqiy vakillik 
Mantiqiy vakillik - bu takliflar bilan bog'liq bo'lgan va ifodalashda noaniqliklarga ega bo'lmagan aniq qoidalarga ega til . Turli shartlarga asoslangan xulosani ifodalaydi va ba'zi muhim aloqa qoidalarini belgilaydi . Bundan tashqari, u tovush xulosasini qo'llab-quvvatlaydigan aniq belgilangan sintaksis va semantikadan iborat. Har bir jumlani sintaksis va semantika yordamida mantiqqa tarjima qilish mumkin.

Sintaksis	Semantika
Bu mantiqda huquqiy jumlalarni qanday qurishimiz mumkinligini hal qiladi. U bilimlarni ifodalashda qaysi belgidan foydalanishimiz mumkinligini aniqlaydi. Shuningdek, ushbu belgilarni qanday yozish kerak.	Semantika - bu jumlani mantiqda sharhlashimiz mumkin bo'lgan qoidalar. U har bir jumlaga ma'no beradi.

 Afzalliklari:

• 
  Mantiqiy vakillik mantiqiy fikr yuritishga yordam beradi.
  
• 
  Ushbu taqdimot dasturlash tillari uchun asosdir.
  

Kamchiliklari:

• 
  Mantiqiy tasvirlar ba'zi cheklovlarga ega va ular bilan ishlash qiyin.
  
• 
  Bu usul unchalik tabiiy bo'lmasligi va xulosa chiqarish unchalik samarali bo'lmasligi mumkin.
  

 Semantik tarmoq vakili
Semantik tarmoqlar bilimlarni ifodalash uchun predikat mantiqiga alternativa sifatida ishlaydi . Semantik tarmoqlarda siz o'z bilimlaringizni grafik tarmoqlar ko'rinishida ifodalashingiz mumkin. Ushbu tarmoq ob'ektlarni ifodalovchi tugunlardan va ushbu ob'ektlar orasidagi munosabatlarni tavsiflovchi yoylardan iborat. Bundan tashqari, u ob'ektni turli shakllarda toifalarga ajratadi va bu ob'ektlarni bog'laydi.
Ushbu vakillik ikki turdagi munosabatlardan iborat:

•