Sant peterburg

Deterministik ishlab chiqarishlar bo'yicha bilimlarni ifodalash va xulosa chiqarish.
Bilimlarni ishlab chiqarish shaklida ifodalash va ulardan foydalanish
va muammoni hal qilish algoritmining tavsifini o'z ichiga olmaydi. Tarjimon
o'rnatilgan boshqaruv predikatlari qo'shimcha ravishda ishlatiladi
bilim ifodasi yordamida tasvirlanadi
AÿB tipidagi implikativ munosabat. Bu yozuv shunday talqin qilingan
so'rovlar, har safar misolda keltirilganga o'xshash dalilni amalga oshirish. Aslini olganda,
tarjimon tilga o'rnatilgan xulosa chiqarish mexanizmi bo'lib, oddiy vazifalar uchun yaxshi
ishlaydi. Boshqa qidiruv strategiyalarini talab qiladigan murakkab holatlarda,
E. Post (1943). Ushbu hisob-kitobda ishlab chiqarish tushunilgan
hozirgi zamonda birinchi tartibli predikatlar hisobining tili
yechimlar, ya'ni. to'liq qidiruv orqali qidirish, ikkinchisi qidiruvni qisqartirish uchun variantlarni
qidirishni cheklaydi yoki
keyinchalik almashtirishlar sifatida tanilgan va tasvirlash uchun ishlatilgan
muammoni hal qilish, shu jumladan takrorlash mexanizmi ( muvaffaqiyatsiz
predikat ) va kesish ( kesim predikati). Birinchi predikat barchani sanab o'tishni talab qiladi
Mantiqiy xulosalar asosida qaror qabul qilish
ba'zi bir kirish so'zida A belgilar qatorini B belgilar qatoriga almashtirish operatori . Bular.
mahsulotlar shuni anglatardi
55
Machine Translated by Google

---

Bu erda Fki faktlar - ÿ va V ("va" va "yoki") havolalari bilan jamlangan shartlar
(natijalar); Fa1 - fakt-xulosalar (assedent) bitta
qoidalar (qoidalar bazasi - BP) va ma'lumotlar (ma'lumotlar bazasi - MB).
Maxsus protsedura (chiqarish mashinasi - MB) olishni ta'minlaydi
qoida bo'yicha; ÿ - implikatsiya munosabati.
bir qiymatli yoki ko'p qiymatli (muqobil). Masalan, (Fk1 ÿ Fk2) ÿ Fa bir ma’noli
deterministik qoida; 56
Umumiy holatda ishlab chiqarish shaklidagi bilimlar (bilimlar bazasi - KB).
ishlab chiqarishning tuzilgan to‘plamidir
majburiy bo'lgan, lekin bo'lishi mumkin bo'lgan faktlar va qoidalar
va BP. Q ning qamrovi odatda butun bilimlar bazasi uchun aniqlanadi
va ishonch nisbatlari. Shunga ko'ra, MW kerak
Ishlab chiqarish qoidalari bilimlar bazasida faktlar mavjudligiga qarab
farqlanadi: deterministik va noaniqlik, noaniqlik, ehtimollik ko'rinishidagi
noaniqliklar.
ma'lumotlar bazasiga xulosa qilish orqali maqsadli so'rov uchun natija
Ma'lumotlar bazasi ma'lum faktlar to'plamini o'z ichiga oladi Fi , i = 1,...,
n uchlik shaklida "ob'ekt - atribut - qiymat" (masalan, "tashnalik - harorat -
400", arifmetik ifodalar (a = b +) c), mantiqiy
natija faktlar va ishonch baholarini hisoblash shaklida
yoki uning qismlari. P va N oldingi va keyingi shartlar butun KB uchun yoki
uning qismlari uchun ham aniqlanishi mumkin.
turli xulosa chiqarish protseduralariga ega: to'g'ridan-to'g'ri aniqlash
bu yerda (ni ) mahsulot nomi; Q - mavzu sohasi; P va N - ishlab chiqarishni
bajarishdan oldingi va keyingi holat; Aÿ B - “Agar A, u holda B” degan
implikativ mantiqiy shakldagi ishlab chiqarishning yadrosi .
BPlar shakldagi ishlab chiqarish qoidalari - ishlab chiqarish yadrolari
to'plamidan iborat
Deterministik ishlab chiqarishlardan olingan bilim bazalari ishonchli o'z ichiga oladi
ifodalar (a > 0) va boshqalar.
(ni ) Q; P; A ÿ B; N,
natijaviy faktlar - tegishlilik darajalari, ehtimollar, ishonch koeffitsientlari.
(Fk1 ÿ Fk2 V Fk3 V... ÿ Fkn) ÿ Fa1,
Machine Translated by Google

---

Ikkinchi misoldagi qoidalar tarjimonni talab qiladi
qoida.