Sant peterburg

Loyqa mahsulotlar bo'yicha bilimlarni ifodalash va xulosa chiqarish.
Qoidalardagi noaniqlik raqam, munosabat, faktning "loyqalanishi" ni tavsiflovchi
noaniqlik shaklida ifodalanishi mumkin. Ishda
ularning ishga tushirilishini boshlaydigan ma'lumotlarni toping.
ishlab chiqarish tizimining modulligi, parallelligi va asinxronligi;
to'plamlar loyqa ma'lumotlar bilan ishlash uchun apparatni taqdim etadi. Nazariya
mahsulotni boshqarish uchun rasmiy grammatikani buzadi
5. Doska: unda ishlaydigan parallel jarayonlar
xatolarga. 1960-yillarda L. Zade tomonidan ishlab chiqilgan loyqa nazariya
61
Machine Translated by Google

---

bu yerda ÿ loyqa munosabatlar tarkibi belgisi. E'tibor bering, loyqa
to'plamlar nazariyasida bu yagona xulosa qoidasi emas. Ruxsat beruvchi o'zgartirishlar
mavjud
statik qoida.
muayyan sharoitlarda xulosa chiqarish natijalarini yaxshilash.
Loyqa munosabat - loyqalikning implikativ munosabati
Y = X ÿ (X ÿ Y) = X ÿ (X ÿ Y),
loyqa ishlab chiqarish yoki linguie yadrosi bo'lgan to'plamlar
to'plamlar
hisob-kitoblar, chunki operatsiyalar loyqa raqamlar to'plami bilan darhol amalga oshiriladi.
Boshqaruv tizimlari uchun mavjud va rivojlanadi
Loyqa to'plam nazariyasi yondashuvi lingvistik qoidalar to'plami bilan ifodalangan loyqa
qiymatlar bilan ishlashga imkon beradi, taxminiy mulohaza yuritadi (loyqa xulosa). Biroq,
amalda u murakkab matritsaga olib keladi
Loyqa munosabat noaniq munosabatlarning R matritsasi bilan tavsiflanadi, loyqani
dekart ko'paytirish orqali aniqlanadi.
Loyqa munosabatlarning tarkibi - loyqa siz protsedurasi
Ehtimoliy mahsulotlar bo'yicha bilimlarni ifodalash va xulosa chiqarish. Faktlar va
qoidalarning noaniqligi ehtimollik asosida baholanishi mumkin bo'lgan hollarda, ishonchliroq
taxminlar sifatida loyqa mantiqqa ustunlik berish kerak. Bunday ma'lumotlar bilan ishlashda,
RXY = R(X ÿ Y) = R(X ÿ Y).
xulosa chiqarish jarayonida ma'lumotlarni qayta ishlash uchun
parchalangan qoidalar va ketma-ket protseduralar bilan yondashuv [3].
to'plamlar.
ifodasiga ko'ra
suv, ya'ni. taxminiy fikrlash asosida qurilgan lingvistik qoidaning rezolyutsiyasi, masalan,
“modus ponens” xulosasi qoidasi shaklida: “Agar loyqa X to'plami aniqlansa va X ÿ Y sodir
bo'lsa , u holda yangi noaniq Y to'plam paydo bo'ladi. induktsiya qiladi
Noaniq toÿplam ÿ(X) ÿ [0,1] aÿzolik funksiyasi bilan baholanadigan noaniq sonlar
toÿplamidir . Loyqa mantiq - loyqa ustidagi mantiqiy amallar to'plami
62
Machine Translated by Google

---

P(C) = 0,95P(AÿB) + P(C/ÿ(AÿB)) (1 – P(AÿB)).
(A: P(A) ÿ B: P(B)) ÿ (C : P(C)).
kichik xavf. n ta
gipoteza uchun Hi , m dalil Ej uchun umumiy ehtimollik formulasiga
asoslangan ketma-ket qaror qabul qilish protsedurasi P(Hi / E) = ÿi=1
m[P(Hi /Ej )P( Ej ) + P (Hi / ÿEj )P(ÿEj )] va j = m da maksimal chekli
ehtimolli Hi gipotezasini tanlash . Biz birinchi navbatda ikkita A va B
gipoteza va bitta gipoteza C ga ega bo'lgan individual
ehtimolli ishlab chiqarishlar uchun ushbu yondashuvni qo'llashni ko'rib
chiqamiz. Ishlab chiqarish qoidasi (ishlab chiqarish yadrosi) bo'lsin.
bu erda P(C/ (AÿB)) - A va B bo'lsa , C ning sodir bo'lish ehtimoli ; P(C/
ÿ(AÿB)) - A va B bo'lmasa, C ning sodir bo'lish ehtimoli ; P(AÿB) – A va
B ning birgalikda yuzaga kelish ehtimoli ; P(ÿ (AÿB)) = 1– P(AÿB).
Demak, masalan, agar P(A) = 0,8, P(B) = 0,7 va P(C/ (AÿB)) = 0,95
apriori ma’lum bo’lsa, u holda
shaklga ega
shovqin bilan birga keladi, Bayes yondashuviga asoslangan ehtimollik
mantiqi mini bilan qaror qabul qilish imkonini beradi
P(C) = P(C/(AÿB))P(AÿB) + P(C/ÿ(AÿB))P(ÿ(AÿB)),
ayniqsa naqshni aniqlashda, asl ma'lumot qachon
Afsuski, bu ifodani to‘g‘ridan-to‘g‘ri hisoblab bo‘lmaydi, chunki P(A)
va P(B) ehtimolliklari P (AÿB) ni hisoblash imkonini bermaydi . Buni
faqat bahslash mumkin
Demak, qoidaning shartli qismida P(A) va P(B) haqiqatining apriori
ma’lum ehtimolliklariga ega bo‘lgan dalil A va B hodisalari , xulosada
esa P(C ) posteriori ehtimoli bo‘lgan C hodisalar mavjud. ). AND (ÿ)
operatsiya qoidasiga kirish AÿB va ÿ(AÿB) umumiy ehtimollik
formulasida ikkita komponentni beradi, ya’ni .
63
Machine Translated by Google

---

tabiiy tildagi matnlarni qayta ishlash tizimlarida (kengaytirilgan o'tish
tarmoqlari) va ekspert tizimlarida (PROSPECTOR va boshqalar).
Keling, semantik tarmoqning rasmiy ta'rifini beraylik. Bo'lsin
(semantika), bog'lanishlar esa - tushunchalar o'rtasidagi munosabat.
Semantik tarmoq oddiy ob'ekt tizimi bo'lib, agar ob'ektlarda hisob-kitoblarni
hisoblash tartibi amalga oshirilmagan bo'lsa va mavjud bo'lishi mumkin.
munosabatlar Ri - ma'lum munosabatlarning spetsifikatsiyasini belgilovchi
faktlar to'plami (munosabat Ri omillari).
natija diapazonda bo'ladi: 0,95ÿ0,7 ÿ P(C) ÿ 0,95ÿ0,3, ya'ni. P(C) ÿ
0,285ÿ0,665 ÿ 0,475 (oraliq o’rta).