Zamonaviy bilim bazalari qidiruv va axborot qidirish tizimlari bilan birgalikda ishlaydi. Buning uchun kontseptsiyalarning ma'lum tasniflash modeli va bilimni namoyish etish uchun ma'lum bir format talab etiladi

Bilimlar bazasi (KB; inglizcha bilimlar bazasi, KB) - ma'lum bir mavzudagi inson tajribasi va bilimlari haqidagi xulosalar qoidalari va ma'lumotlarini o'z ichiga olgan ma'lumotlar bazasi (ISO / IEC / IEEE 24765-2010 [1], ISO / IEC 2382-1: 1993 [2]). O'z-o'zini o'rganish tizimlarida bilimlar bazasida avvalgi muammolarni hal qilish natijasi bo'lgan ma'lumotlar ham mavjud [1].

Zamonaviy bilim bazalari qidiruv va axborot qidirish tizimlari bilan birgalikda ishlaydi. Buning uchun kontseptsiyalarning ma'lum tasniflash modeli va bilimni namoyish etish uchun ma'lum bir format talab etiladi. Tushunchalar to'plamini va ularning aloqalarini bilimlar bazasida aks ettirishning ierarxik usuli ontologiya deb ataladi.

Ma'lum bir bilim sohasining ontologiyasi, aniq ob'ektlarning xususiyatlari haqidagi ma'lumotlar bilan birgalikda ko'pincha "bilimlar bazasi" deb nomlanadi. Shu bilan birga, to'liq bilimlar bazalari [3] (odatdagi ma'lumotlar bazasidan farqli o'laroq) nafaqat haqiqiy ma'lumotlarni, balki mavjud yoki yangi kiritilgan faktlar to'g'risida avtomatik xulosalar chiqarishga va shu bilan semantik (mazmunli) ishlov berishga imkon beradigan xulosa qoidalarini ham o'z ichiga oladi. ma `lumot.

Bilim asoslari va bilim bilan ishlash usullarini o'rganadigan sun'iy intellekt fanining sohasi bilim muhandisligi deb ataladi. [4]

Ilova

Bilimlar bazasi aqlli tizimning muhim tarkibiy qismidir. Bunday dasturlarning eng mashxur klassi ekspert tizimlaridir [5]. Ular KB yozuvlari va vaziyatni foydalanuvchi tavsifiga asoslanib, ma'lum bir mavzu doirasidagi muammolarni hal qilish usullarini topishga mo'ljallangan.

Tashkilotda ma'lumotlarni saqlashning sodda tizimlarini yaratish uchun oddiy bilim asoslaridan foydalanish mumkin: hujjatlar, qo'llanmalar, texnik maqolalar. Bunday ma'lumotlar bazalarini yaratishning asosiy maqsadi kam tajribali odamlarga muammoni hal qilish yo'lining oldindan tavsifini topishda yordam berishdir. Korxonalarning intellektual axborot tizimlarining bilim bazalarini yangilash jarayoni juda mashaqqatli bo'lib, korporativ tarmoqlarda ham, Internetda ham qidiruv operatsiyalarining ko'p sonini talab qiladi.

Bilimlar asoslari va aqlli tizimlar

Intellektual tizimning bilim bazasida saqlanadigan ma'lumotlarga qo'yiladigan ikkita eng muhim talab:

Ma'lumotlar bazasida mavjud bo'lgan aniq va umumlashtirilgan ma'lumotlarning ishonchliligi;

Bilimlar bazasi xulosasi qoidalari yordamida olingan ma'lumotlarning dolzarbligi.

Quyida ma'lumotlar bazasi tizimiga ega bo'lishi mumkin bo'lgan (lekin bo'lmasligi kerak) ba'zi xususiyatlar keltirilgan.

Avtomatik isbot (xulosa). Tizimning eski bilimlardan yangi bilimlarni olish, bilimlar bazasida qonuniyatlarni topish qobiliyati. Odatda ma'lumot bazasi ma'lumotlar bazasidan aniq xulosa chiqarish mexanizmi mavjudligida farq qiladi, deb taxmin qilishadi.

Xulosa dalili. Tizimning javobidan so'ng, uning fikrlash jarayonini "tushuntirish" va "talabga binoan" qobiliyati.

Introspektsiya. Bilimlar bazasidagi qarama-qarshiliklarni, nomuvofiqliklarni topish, bilimlar bazasini to'g'ri tashkil etilishini nazorat qilish.

Mashinada o'rganish. Bilimlar bazasini moslashuvchan tizimga aylantirish, muammoli maydonga moslashish. Insonning "tajriba orttirish" qobiliyatiga o'xshash.

Tashkilotning bilim portalini rivojlantirish juda zarur, chunki to'plangan bilimlar hajmi doimiy ravishda ko'payib boradi va u bilan ishlash tobora qiyinlashib boradi.

Ma'lumotlarni boshqarish tizimlari uchun qabul qilinishdagi to'siqlar ko'pincha bilim almashish imkonini beradigan tashkiliy madaniyatning etishmasligi va ishchilar o'rtasida texnologiya to'g'risida ma'lumotlarning etishmasligi hisoblanadi.

Prolog tili misolida bilim asoslari

Asosiy maqola: Prolog (dasturlash tili)

Prolog tilida ma'lumotlar bazalari odamlar, ob'ektlar, faktlar, voqealar va jarayonlar haqidagi ma'lumot va bilimlarni mantiqiy shaklda aks ettiradigan ma'lumotlar bazalari va ma'lumotlarni qayta ishlash protseduralari bo'yicha aniq dalillar va xulosa qilish qoidalari shaklida tavsiflanadi. Bilimlar bazalariga berilgan eng oddiy so'rovlarga javoban Prolog mantiqiy dasturlash tizimi tegishli faktlarning mavjudligiga qarab "rost" va "yolg'on" qiymatlarini beradi.

Prolog tilidagi umumlashtirilgan ma'lumotlar tushunchalarni belgilaydigan rol o'ynaydigan xulosa qoidalari, shuningdek xulosa qoidalari to'plamlaridan iborat mantiqiy protseduralar yordamida o'rnatiladi. Xulosa qilingan ma'lumotlarning ishonchliligi zarur faktlarning mavjudligiga va bilimlar bazasidagi ma'lumotlarning ishonchliligiga bog'liq.