Основы искусственного интеллекта: учебное пособие

Talaba

Guruch. 1.3. Ramka tarmog'i



uning ishlashi. Ramkalar tarmog'i mantiqiy bog'lovchilarni, umumiylik va mavjudlik kvantlarini ham amalga oshirishi mumkin ­.
Yuqoridagilardan umumiy xulosa shundan iboratki, qaysidir chuqur darajada bilimlarni ifodalashning barcha shakllari ekvivalentdir (ular universaldir va bir shaklda taqdim etilgan bilim ­boshqasiga aylanishi mumkin), lekin ekvivalent emas (shu ma'noda turli fan sohalari va turli vazifalar, bilimlarni ifodalashning turli shakllari qulayroq va hisoblash samaradorligiga aylanadi). Bilimlarni aks ettirish ­modeli sifatida kadrlarning asosiy afzalligi ­inson xotirasini tashkil etishning kontseptual asoslarini, shuningdek, uning moslashuvchanligi va ko'rinishini aks ettirish qobiliyatidir.
Formal mantiqiy modellar
Ushbu turdagi modellar shaklning to'rtta to'plami bilan aniqlangan rasmiy tizimga asoslanadi: M = .
Bu erda T to'plami turli xil tabiatdagi asosiy elementlarning to'plamidir (masalan, ba'zi cheklangan ­lug'at tarkibidagi so'zlar, ma'lum bir to'plamga kiruvchi bolalar qurilish to'plamining qismlari va boshqalar). T to'plam uchun ixtiyoriy element ushbu to'plamga tegishli yoki yo'qligini aniqlashning qandaydir yo'li ­mavjudligi muhimdir . ­Bunday tekshirish protsedurasi har qanday bo'lishi mumkin, ammo cheklangan miqdordagi bosqichlarda u ­savolga ijobiy yoki salbiy javob berishi kerak: ­x T to'plamining elementimi ? Bu protsedurani P(T) deb belgilaymiz.
P to‘plami sintaktik qoidalar to‘plamidir . Ularning yordami bilan T. elementlaridan sintaktik ­toʻgʻri toʻplamlar hosil boʻladi . Masalan, cheklangan lug'at tarkibidagi so'zlardan sintaktik jihatdan to'g'ri iboralar tuziladi ­, yong'oq va murvat yordamida bolalar qurilish to'plamining qismlaridan yangi konstruktsiyalar yig'iladi va hokazo ­. P(R) protsedurasining mavjudligi ­ham e'lon qilinadi . , uning yordami bilan cheklangan ­miqdordagi bosqichlarda savolga javob olish mumkin: X to'plami sintaktik jihatdan to'g'rimi?
Sintaktik jihatdan to'g'ri to'plamlar to'plamida ma'lum bir A kichik to'plami ajralib turadi, uning elementlari aksiomalar deb ataladi. Rasmiy tizimning boshqa tarkibiy qismlariga kelsak, P(A) protsedurasi ham bo'lishi kerak, uning yordamida har qanday sintaktik to'g'ri to'plam ­uchun u A to'plamiga tegishlimi degan savolga javob olish mumkin .­
Nihoyat, B to'plami xulosa chiqarish qoidalari to'plamidir. Ularni A ning elementlariga qo'llash orqali yangi sintaktik ­to'g'ri to'plamlarni olish mumkin, ularga yana B dan qoidalarni qo'llash mumkin va hokazo.Ma'lum ­bir rasmiy tizimda hosil bo'ladigan to'plamlar to'plami shunday shakllanadi ­. Agar har qanday sintaktik to'g'ri to'plam uchun hosila bo'ladimi yoki yo'qligini aniqlash uchun qo'llanilishi mumkin bo'lgan P (V) protsedurasi mavjud bo'lsa, unda mos keladigan ­rasmiy tizim hal qilinadigan deyiladi. Bu shuni ko'rsatadiki, bu rasmiy tizimning eng murakkab tarkibiy qismi bo'lgan xulosa chiqarish qoidasi .­
Bilimlar bazasiga kiritilgan bilimlar uchun A to'plamini bilimlar bazasiga tashqaridan kiritilgan barcha axborot birliklari tashkil qiladi ­va xulosa qilish qoidalari yordamida ulardan ­yangi hosilaviy bilimlar olinadi, deb taxmin qilish mumkin. Boshqacha qilib aytganda, rasmiy tizim bu tizimda bilimlar majmuini tashkil etuvchi yangi bilimlarni yaratish generatoridir ­. Mantiqiy modellarning bu xossasi ularni bilimlar bazalarida foydalanish uchun jozibador qiladi, u bazada faqat ­A to'plamini tashkil etuvchi bilimlarni saqlashga va ulardan xulosa chiqarish qoidalariga muvofiq boshqa barcha bilimlarni olishga imkon beradi.­