( y2 , z 2 )) min( 0.7, 0.5) 0.5;
1 2
min( R (x2 , y3 ), R ( y3 , z 2 )) min( 0, 1) 0;
1 2
R 2 4 R 4 2
min( (x , y ), ( y , z )) min( 0.2, 0) 0;
1 2
max[min(R (xi , yi ), R ( yi , z i ))] max(0.4, 0.5, 0, 0) 05.
yi 1 2
min(R (x2 , y1 ), R ( y1 , z3 )) min(0.6, 0) 0;
1 2
min(R (x2 , y2 ), R ( y2 , z3 )) min(0.7,1) 0.7;
1 2
min(R (x2 , y3 ), R ( y3 , z3 )) min(0, 0) 0;
1 2
min(R (x2 , y4 ), R ( y4 , z3 )) min(0.2,1) 0.2;
1 2
max[min(R (xi , yi ), R ( yi , z i ))] max(0, 0.7, 0, 0.2) 0.7.
yi 1 2
min(R (x2 , y1 ), R ( y1 , z 4 )) min(0.6,1) 0.6;
1 2
min(R (x2 , y2 ), R ( y2 , z 4 )) min(0.7, 0.4) 0.4;
1 2
min(R (x2 , y3 ), R ( y3 , z 4 )) min(0, 0.3) 0;
1 2
min(R (x2 , y4 ), R ( y4 , z 4 )) min(0.2, 0.7) 0.2;
1 2
max[min(R (xi , yi ), R ( yi , z i ))] max(0.6, 0.4, 0, 0.2) 0.6.
yi 1 2
min(R (x3 , y1 ), R ( y1 , z1)) min(0.8, 0.9) 0.8;
1 2
min(R (x3 , y2 ), R ( y2 , z1)) min(0, 0.3) 0;
1 2
min(R (x3 , y3 ), R ( y3 , z1)) min(1, 0.6) 0.6;
1 2
min(R (x3 , y4 ), R ( y4 , z1)) min(0.1, 0.4) 0.1;
1 2
max[min(R (xi , yi ), R ( yi , z i ))] max(0.8, 0, 0.6, 0.1) 0.8.
yi 1 2
min(R (x3 , y1 ), R ( y1 , z 2 )) min(0.8, 0.4) 0.4;
1 2
min(R (x3 , y2 ), R ( y2 , z 2 )) min(0, 0.5) 0;
1 2
min(R (x3 , y3 ), R ( y3 , z 2 )) min(1,1) 1;
1 2
min(R (x3 , y4 ), R ( y4 , z 2 )) min(0.1, 0) 0;
1 2
max[min(R (xi , yi ), R ( yi , z i ))] max(0.4, 0, 1, 0) 0.4.
yi 1 2
min(R (x3 , y1 ), R ( y1 , z3 )) min(0.8, 0) 0;
1 2
min(R (x3 , y2 ), R ( y2 , z3 )) min(0,1) 0;
1 2
min(R (x3 , y3 ), R ( y3 , z3 )) min(1, 0) 0;
1 2
min(R (x3 , y4 ), R ( y4 , z3 )) min(0.1,1) 0.1;
1 2
max[min(R (xi , yi ), R ( yi , z i ))] max(0, 0, 0, 0.1) 1.
yi 1 2
min(R (x3 , y1 ), R ( y1 , z 4 )) min(0.8,1) 0.8;
1 2
min(R (x3 , y2 ), R ( y2 , z 4 )) min(0, 0.4) 0;
1 2
min(R (x3 , y3 ), R ( y3 , z 4 )) min(1, 0.3) 0.3;
1 2
min(R (x3 , y4 ), R ( y4 , z 4 )) min(0.1, 0.7) 0.1;
1 2
max[min(R (xi , yi ), R ( yi , z i ))] max(0.8, 0, 0.3, 0.1) 0.8.
yi 1 2
Natijalar 11.12 rasmdagi ܴଵబܴଶ jadvalda keltirilgan.
(Max-*)-kompozitsiya [1, 9]. Oldingi misolda ∧ amalini ixtiyoriy boshqa amal
bilan almashtirish mumkin. Bunda ∧ amali uchun assotsiativlik va har bir argument uchun kamaymaslik monotonligi shartlarining bajarilishi boshqa amallar uchun bajarilishi kerak.
U holda quyidagicha yozish mumkin:
Endi turli kompozitsiyalarni ifodalash mumkin.
Masalan:
(max-*) - kompozitsiya, bu erda * ko’paytma bo’lib, formula quyidagi ko’rinishni oladi:
min(∧) amalini o’rta arifmetikga almashtirish mumkin. U holda formula quyidagi ko’rinishni oladi:
(max-*) – kompozitsiya variantini tanlash masalaning xususiytiga qarab belgilanadi.
Noravshan binar munosabatlarning ba’zi bir tiplarini keltiramiz [1, 9].
Tranzitivki va refleksivli noravshan binar munosabat- oldindan tartiblangan NM deyiladi.
Oldindan tartiblangan noravshan antisimmetrikli munosabat-tartiblangan NM deyiladi.
Tranzitivli, refleksivli va simmetrikli noravshan binar munosabat- o’xshashlik munosabati deyiladi.
Antirefleksiflik, simmetriklik va (min-max) – tranzitivlik xossalariga ega bo’lgan noravshan binar munosabat -farqlovchi munosabat deyiladi.
Noravshan mantiqiy xulosa chiqarish qoidalari
Noravshan mantiqiy xulosalash tizimlari ko’psonli NTlar ilovalarida (exspert tizimlar, BBni avtomatik boshqarish tizmlari, timsollarni anglash, murakkab
tizimlarni loyihalash, neyron tarmoqlar, qaror qabul qilish tizimlari, tabiiy tilni tushunish va h.k.) muhim ahamiyatga ega.
Bunday tizmlarnining ko’pchiligi noravshan dalillar va xulosalardan iborat
«Agar . . . , u holda . . . » ko’rinishdagi mantiqiy qoidaga asoslanadi.
“Modus ponens” asosida noravshan xulosalash. Odatdagi mantiqda “Modus
ponens”- ,→
asosida xulosalash qoidasi ma’lum:
1-dalil: agar x bu A bo’lsa, u holda y bu B bo’ladi; 2-dalil: x bu A bo’lsa;
Oqibat: y bu B bo’ladi.
Bu erda x, y-obyektlar nomi, A, B - mos ravishda U va V xulosalash sohalaridagi tushunchalarni bildiradi.
Misol.
1-dalil: agar olma shirin bo’lsa, u holda olma pishgan; 2-dalil: bu olma shirin;
Oqibat: bu olma pishgan.
Ushbu qoidalarni sabablari noravshan tushunchalardan iborat bo’lgan hol uchun quyidagicha yozish mumkin:
1-dalil: agar x bu A bo’lsa, u holda y bu B bo’ladi; 2-dalil: x bu A1 bo’lsa;
Oqibat: y bu B1 bo’ladi.
Misol.
1-dalil: agar olma shirin bo’lsa, u holda olma pishgan; 2-dalil: bu olma juda shirin;
Oqibat: bu olma juda pishgan.
Biz A1=A и B1=B bo’lganda odatdagi “Modus ponens” ni va oxirgi misolda esa umumlashgan “Modus ponens” hosil qilamiz.
Agar biz munosabatlarni U va V UTlarda qarasak va dekartli ko’paytma (×), birlashma (∪), kesishma (∩), to’ldiruvchi (∼) va chegaralangan yig’indi (⊕) amallari uchun MFlari μ (u ), μ (u ) bo’lsa, u holda «Agar x bu A, u holda y bu B» ko’rinishdagi noravshan shartli mulohazani shakllantirish uchun quyidagi NMlardan foydalanamiz [1, 21]:
1) ܴ = (ܣ × ܤ ) ∪ (ܣ ̅ × ܸ ) = maxൣmin൫ߤ (ݑ ), ߤ (ݒ )൯ , 1 − ߤ (ݑ )൧.
2) ܴ = (ܣ ̅ × ܸ ) ⊕ (ܷ × ܤ) = min(ߤ (ݑ ), ߤ (ݒ )).
ௌ ௌ
),ݒ (ߤ → )ݑ (ߤ = ܤ × ܷ ⇒ ܸ × ܣ = ௌܴ 3)
ௌ
( ) ( ) =
),ݒ(ߤ ≤ )ݑ(ߤ ܽ݀ݎܽ݃ܽ 1,
ߤ ܽ݀ݎ݁ ݑܾ г
→ ߤ ݒ
൜
ܽ݀ݎܽ݃ܽ 0, ߤ
(ݑ) > ߤ
(ݒ).
),ݒ(ߤ → )ݑ(ߤ = ܤ × ܷ ⇒ ܸ × ܣ = ܴ 4)
( ) ( ) =
),ݒ(ߤ ≤ )ݑ(ߤ ܽ݀ݎܽ݃ܽ 1,
ߤ ܽ݀ݎ݁ ݑܾ г
→ ߤ ݒ
൜
ܽ݀ݎܽ݃ܽ 0, ߤ
(ݑ) > ߤ
(ݒ).
5) ܴ௦
= ቀܣ ×
௦
ܷ ⇒ ܸ
× ܤቁ ∪ ቀܣ̅ ×
௦
ܷ ⇒ ܸ
× ~ܤቁ =
= min ቂߤ(ݑ) → ߤ(ݒ), ൫1 − ߤ(ݑ)൯ → ൫1 − ߤ(ݒ)൯ቃ.
6) ܴ
= ቀܣ ×
ܷ ⇒ ܸ
× ܤቁ ∩ ቀܣ̅ ×
ܷ ⇒ ܸ
× ܤതቁ =
= min ቂߤ(ݑ) → ߤ(ݒ), ൫1 − ߤ(ݑ)൯ → ൫1 − ߤ(ݒ)൯ቃ.
7) ܴ௦
= ቀܣ ×
ܷ ⇒ ܸ
× ܤቁ ∩ ቀܣ̅ ×
௦
ܷ ⇒ ܸ
× ܤതቁ =
௦
= min ቂߤ(ݑ) → ߤ(ݒ), ൫1 − ߤ(ݑ)൯ → ൫1 − ߤ(ݒ)൯ቃ.
8) ܴ௦௦
= ቀܣ ×
௦
ܷ ⇒ ܸ
× ܤቁ ∩ ቀܣ̅ ×
௦
௦
ܷ ⇒ ܸ
× ܤതቁ =
௦
= min ቂߤ (ݑ ) → ߤ (ݒ ), ൫1 − ߤ (ݑ )൯ → ൫1 − ߤ (ݒ )൯ቃ.
Umumlashgan “Modus ponens” boyicha B1 oqibat (xulosa ), xuddi A1 NTning “max-min”-kompozitsiyasidagidek va keltirilgan ܴ , ܴ , ܴ ௦, … , ܴ ௦௦ noravshan qoidalardan biridan olingan NMdan foydalanib 1-va 2-dalillardan hosil qilinadi.
Do'stlaringiz bilan baham: |