4) Chuqur bilimlar. Bu ma’lumotlar bazasida saqlanayotgan axborotdir. Ammo u faqatgina bizga qayerda qarash kerak ekanligini xabarini yetkazadigan kalit mavjud bо‘lgandagina aniqlab topishi mumkin. Chuqur va berkitilgan bilimlar orasidagi farqlanishlarni qidiruv fazosidagi terminlar (atamalar) bilan tushuntirib berish mumkin. Berkitilgan bilim – qiya adirli landshaftga ega makon ichida qidirishning natijasidir. Qidiruv algoritmi qabul qilinishi kerak bо‘lgan optiman qarorni osonlik bilan topib berishi mumkin. Chuqur bilimlar – bu odatda ichida faqatgina lokal optimum mavjud bо‘lib, yon atrofda har qanday balandliklar tо‘g‘risidagi xech qanday belgi – alomatlar bо‘lmagan fazo ichida qidiruv olib borishning natijasidar. Qidiruv algoritmi ushbu landshaft atrofida xech qanday kо‘zga kо‘rinarli natijaga erishmay xarakatlanib yurishi mumkin. Buning misoli tariqasida ma’lumotlar bazasida saqlanayotgan va shifrlab qо‘yilgan axborot xizmat qilishi mumkin. Agar sizda nimani qidirishni kо‘rsatib beruvchi kalit bо‘lmasa, shifr etilgan xabarnomani qayta dekodlanishi deyarli mumkin emas.
5) Xabarnoma. Bilimlarni qidirib topish jarayoni tо‘g‘risidagi xabarnoma kо‘plab shakllarga ega bо‘lishi mumkin. Umumiy xolatda jarayon natijalariga erishilishini oson (tushunarli, yengil, qulay) bо‘lishligi uchun har qanday xabarnomalar redaktorini yoki grafik instrumental vosita qо‘llanilishi mumkin.
1.3. Bilimlarni taqdim etish turlari Bilimlarni ifodalashning asosan to'rtta usuli mavjud bo'lib, ular quyidagilardan iborat:
Mantiqiy taqdim qilish
Mantiqiy taqimot - bu takliflar bilan bog'liq bo'lgan va ifodalashda noaniqliklarga ega bo'lmagan aniq qoidalarga ega til. Mantiqiy tasvirlash turli shartlar asosida xulosa chiqarishni anglatadi. Ushbu vakillik ba'zi muhim aloqa qoidalarini belgilaydi. U aniq belgilangan sintaksis va ovozli xulosani qo'llab-quvvatlaydigan semantikadan iborat. Har bir jumlani sintaksis va semantika yordamida mantiqqa tarjima qilish mumkin.
Sintaksis:
Sintaksislar mantiqda qonuniy jumlalarni qanday qurishimiz mumkinligini hal qiladigan qoidalardir.
U bilimlarni ifodalashda qaysi belgidan foydalanishimiz mumkinligini aniqlaydi.
Ushbu belgilarni qanday yozish kerak.
Semantika:
Semantika - bu jumlani mantiqda sharhlashimiz mumkin bo'lgan qoidalar.
Semantik, shuningdek, har bir jumlaga ma'no berishni o'z ichiga oladi.
Mantiqiy tasvirni asosan ikkita mantiqqa bo'lish mumkin:
Taklif mantiqlari
Predikat mantiqlari
Mantiqiy taqdimotning afzalliklari:
Mantiqiy taqdimot bizga mantiqiy fikr yuritish imkonini beradi.
Mantiqiy tasvir dasturlash tillari uchun asosdir.
Mantiqiy taqdimotning kamchiliklari:
Mantiqiy tasvirlar ba'zi cheklovlarga ega va ular bilan ishlash qiyin.
Mantiqiy taqdimot texnikasi unchalik tabiiy bo'lmasligi va xulosa chiqarish unchalik samarali bo'lmasligi mumkin.