Sun’iy intellekt tizimlari yaratish instrumental vositalari
Sun'iy intellekt tizimlarini yaratish vositalariga quyidagilar kiradi:
dasturlash tillari muhandislik tillarini bilish
qo'llab-quvvatlash vositalari.
Ushbu vositalarni ko'rib chiqing.
C, Lisp, Prolog, Paskal - bu SRI qurish kunida eng ko'p ishlatiladigan dasturlash tillari. Ayniqsa, Lisp va Prolog tillari diqqatga sazovordir, birinchi navbatda, ularda intellektual protseduralarni tashkil qilish uchun o'rnatilgan vositalar (unifikatsiya, muqobil qidiruv, qaytarish (orqaga qaytish), ramziy ma'lumotlarni qayta ishlash, ma'lumotlar bazasi funktsiyalarini amalga oshirish imkoniyati) mavjudligi sababli. Dasturlash tillari uchta sinfga bo'linadi:
imperativ tillar;
funktsional tillar;
mantiqiy tillar.
Hulosalash mashinasi, modellashtirish va rejalashtirish tizimosti ET yaratishga yo’naltirilgan tillar (PROLOG)
Xulosa qilish mexanizmi - bu rasmiy mantiq qonunlariga muvofiq oldindan tuzilgan faktlar va qoidalar bazasidan mantiqiy xulosa chiqarishni amalga oshiradigan dastur.Bu holatdagi fakt doimiy to'g'ri bo'lgan bayonotdir, masalan, "Odam - odam".Bu holatda qoida parametrlashtirilgan bayonot bo'lib, ikki qismdan iborat: shart va natija, masalan: "Agar X - shaxsning avlodi bo'lsa, X - shaxs". Ushbu misolda qoida "X - insonning bolasi" shartini belgilaydi. Agar bu shart X parametrining qiymati uchun to'g'ri bo'lsa, unda qoida "X - bu shaxs" faktiga aylanadi.Faktlar va qoidalar bazasini yaratish uchun odatda tabiiy tilni eslatuvchi, lekin ancha qattiqroq va cheklangan rasmiy tillar qo'llaniladi.
Xulosa qilish mexanizmi odatda quyidagi operatsiyalardan birini yoki ikkalasini ham bajarishi mumkin:Faktning haqiqatini tekshirish - agar mavjud faktlar va qoidalar bazasidan rasmiy mantiq qonunlariga muvofiq xulosa chiqarish mumkin bo'lgan fakt haqiqat deb hisoblanadi. Muayyan qoida parametrining qiymatlari to'plamini topish, bunda bu qoida haqiqiy haqiqatga aylanadi.Xulosa qilish mexanizmi Prolog kabi mantiqiy dasturlash tillarida yozilgan ekspert tizimlari va dasturlarni bajarish tizimlarining asosiy qurilish blokidir.Mantiqiy tilda muammoning yechimi dasturlash rasmiylashtirilgan tavsifga qisqartiriladi mavzu maydoni va kontekstli so'rovni shakllantirish (savollar). So'rovga javoban, Prolog xulosa qilish mexanizmi mumkin bo'lgan variantlarni takrorlaydi va javobni shakllantiradi. Agarda so'rovda o'zgaruvchilar mavjud edi, keyin Prolog ko'rsatilgan o'zgaruvchilarning mumkin bo'lgan qiymatlarini qidiradi, ular uchun so'rovning haqiqati tasdiqlanadi va ularning qiymatlarini chiqaradi
javob sifatida.
