Bilimlarga asoslangan tizimlar nazariyasi

Shakhlo Bastamova




1-topshiriq

1 - topshiriq

1. 
   Bilimlarga asoslangan tizimlar nazariyasi
   
2. 
   Har bir talaba o’zining BMI temasidagi tizimni strukturasini bilimlardan foydalanib shakllantirish
   

1. 
   Bilimlarga asoslangan tizimlar nazariyasi
   

Bilimga asoslangan tizim ( KBS ) - bu murakkab muammolarni hal qilish uchun bilimlar bazasidan foydalanadigan va foydalanadigan kompyuter dasturi . Bu atama keng va ko'p turli xil tizimlarga ishora qiladi. Bilimga asoslangan barcha tizimlarni birlashtirgan yagona umumiy mavzu bu bilimlarni aniq ifodalashga urinish va unga yangi bilimlarni olish imkonini beruvchi fikrlash tizimidir . Shunday qilib, bilimga asoslangan tizim ikkita farqlovchi xususiyatga ega: bilimlar bazasi va xulosa chiqarish mexanizmi .
Birinchi qism, ya'ni bilimlar bazasi, dunyo haqidagi faktlarni aks ettiradi, ko'pincha subsumpsion ontologiyaning qandaydir ko'rinishida (odatiy kompyuter dasturida bo'lgani kabi protsessual kodga so'zsiz kiritilgandan ko'ra). Qo'shimcha ontologiyaga qo'shimcha ravishda boshqa keng tarqalgan yondashuvlarga ramkalar , kontseptual grafiklar va mantiqiy tasdiqlar kiradi.
Ikkinchi qism, ya'ni xulosa mexanizmi, yangi bilimlarni xulosa qilish imkonini beradi. Ko'pincha, u oldinga zanjir yoki orqaga zanjirli yondashuvlar bilan birgalikda IF-THEN qoidalari shaklida bo'lishi mumkin. Boshqa yondashuvlarga avtomatlashtirilgan teoremalarni isbotlash, mantiqiy dasturlash, doska tizimlari va CHR (cheklovlarni boshqarish qoidalari) kabi atamalarni qayta yozish tizimlaridan foydalanish kiradi .
Bilimga asoslangan tizimlar birinchi marta sun'iy intellekt tadqiqotchilari tomonidan ishlab chiqilgan. Ushbu dastlabki bilimga asoslangan tizimlar birinchi navbatda ekspert tizimlar edi - aslida bu atama ko'pincha ekspert tizimlari bilan almashtiriladi, ammo farq bor. Farqi tizimni tavsiflash uchun olingan ko'rinishda :

• 
  "Ekspert tizimi" bu tizim yordam berishga harakat qilayotgan vazifa turini anglatadi - odatda mutaxassis bilimini talab qiladigan murakkab vazifada inson mutaxassisini almashtirish yoki yordam berish.
  
• 
  "Bilimga asoslangan tizim" tizimning arxitekturasini anglatadi - u protsessual kod sifatida emas, balki bilimni aniq ifodalaydi.
  

Ilk bilimga asoslangan tizimlar deyarli barcha ekspert tizimlari bo'lgan bo'lsa-da, bir xil vositalar va arxitekturalar boshqa turdagi tizimlar uchun ham qo'llanilishi mumkin va shu vaqtdan beri foydalaniladi. Deyarli barcha ekspert tizimlari bilimga asoslangan tizimlardir, lekin ko'pgina bilimga asoslangan tizimlar ekspert tizimlar emas.

Ilk bilimga asoslangan tizimlar qoidaga asoslangan ekspert tizimlari edi. Eng mashhurlaridan biri tibbiy diagnostika dasturi Mycin edi. Ushbu dastlabki ekspert tizimlari dunyo haqidagi faktlarni tekis ma'lumotlar bazasida oddiy tasdiqlar sifatida ifodalagan va bu tasdiqlar haqida fikr yuritish (va natijada ularga qo'shilish) uchun qoidalardan foydalangan. Bilimlarni qoidalar orqali aniq ifodalash bir qancha afzalliklarga ega edi:

1. 
   Sotib olish va texnik xizmat ko'rsatish. Qoidalardan foydalanish domen mutaxassislari ko'pincha dasturchi orqali emas, balki qoidalarni o'zlari belgilashi va saqlashi mumkinligini anglatadi.
   
2. 
   Tushuntirish. Bilimlarni aniq ifodalash tizimlarga qanday xulosaga kelganligi haqida mulohaza yuritish va bu ma'lumotlardan foydalanuvchilarga natijalarni tushuntirish uchun foydalanish imkonini berdi. Masalan, tashxis qo'yishga olib kelgan xulosalar zanjiriga rioya qilish va tashxisni tushuntirish uchun ushbu faktlardan foydalanish.
   
3. 
   Mulohaza yuritish. Ushbu bilimlarni qayta ishlashdan olingan bilimlarni ajratish umumiy maqsadli xulosa chiqarish mexanizmlarini ishlab chiqishga imkon berdi. Ushbu tizimlar dastlabki ishlab chiquvchilar hatto bilmagan bo'lishi mumkin bo'lgan ma'lumotlar to'plamidan kelib chiqadigan xulosalarni ishlab chiqishi mumkin.
   

Keyinchalik bilimga asoslangan fikr yuritish arxitekturalari, masalan, BB1 doska arxitekturasi ( qora taxta tizimi ) fikrlash jarayonining oʻziga meta-darajadagi mulohazalarni taʼminlab, yangi xulosalar taʼsirida boʻlishiga imkon berdi. BB1 muammoni hal qilish jarayonining o'zini kuzatish imkonini berdi. Muammoni hal qilishning har xil turlari (masalan, yuqoridan pastga, pastdan yuqoriga va opportunistik muammolarni hal qilish) muammolarni hal qilishning hozirgi holatiga qarab tanlab aralashtirilishi mumkin. Aslini olganda, muammoni hal qiluvchi domen darajasidagi muammoni hal qilishda va birinchisiga bog'liq bo'lishi mumkin bo'lgan o'zining boshqaruv muammosini hal qilish uchun ishlatilgan. Meta-darajali fikrlashni qo'llab-quvvatlovchi bilimga asoslangan tizim arxitekturasining boshqa misollari MRS va SOAR .
Ekspert tizimlaridan tashqari, bilimga asoslangan tizimlarning boshqa ilovalariga real vaqt rejimida jarayonlarni boshqarish, aqlli repetitorlik tizimlari qurilish maydonchasi tartibi kabi muayyan sohalar uchun muammolarni hal qilish vositalari kiradi , va kompyuter tizimining xato diagnostikasi.
Bilimga asoslangan tizimlar murakkablashgan sari, bilimlar bazasini ifodalash uchun foydalaniladigan texnikalar yanada murakkablashdi va ularga mantiq, atamalarni qayta yozish tizimlari, kontseptual grafiklar va ramkalar kiradi . Misol sifatida ramkalarni ko'rib chiqing. Faktlarni ma'lumotlar haqidagi tasdiqlar sifatida ifodalash o'rniga, bilimlar bazasi yanada tuzilgan. Ramkalarni ob'ektga yo'naltirilgan dasturlashning o'xshash usullaridan , xususan, sinflar va kichik sinflar ierarxiyasidan, sinflar o'rtasidagi munosabatlardan va ob'ektlarning xatti-harakatlaridan foydalangan holda dunyo bilimlarini ifodalash sifatida qarash mumkin . Bilimlar bazasi yanada tuzilgan bo'lsa, fikrlash mustaqil qoidalar, mantiqiy xulosalar va bilimlar bazasi ichidagi o'zaro ta'sirlar orqali amalga oshirilishi mumkin. Masalan, demonlar sifatida saqlanadigan protseduralarob'ektlarda yong'in chiqishi va qoidalarning zanjirli xatti-harakatlarini takrorlashi mumkin.
Yana bir yutuq klassifikatorlar deb ataladigan maxsus maqsadli avtomatlashtirilgan fikrlash tizimlarini ishlab chiqish edi . Klassifikator bilimlar bazasida statistik e'lon qilishning o'rniga, ishlab chiquvchiga dunyo haqidagi faktlarni e'lon qilish va tasniflagichga munosabatlarni chiqarishga imkon beradi. Shu tarzda tasniflagich ham xulosa chiqarish mexanizmi rolini o'ynashi mumkin.
Bilimga asoslangan tizimlarning eng so'nggi yutuqlari Internetdan foydalanadigan tizimlarni ishlab chiqish uchun texnologiyalarni, ayniqsa tavsif mantig'i deb ataladigan mantiqni qabul qilish edi. Internet ko'pincha ma'lum bir ma'lumotlar modeliga tayanib bo'lmaydigan murakkab, tuzilmagan ma'lumotlar bilan shug'ullanishi kerak. Bilimga asoslangan tizimlar texnologiyasi va ayniqsa ob'ektlarni talab bo'yicha tasniflash qobiliyati bunday tizimlar uchun idealdir. Ushbu turdagi bilimga asoslangan Internet tizimlarining modeli Semantik Web deb nomlanadi.

2. 
   Har bir talaba o’zining BMI temasidagi tizimni strukturasini bilimlardan foydalanib shakllantirish
   

Mavzu: