ΠŸΠΎΠΌΠΎΡ‰ΡŒ Π² написании студСнчСских Ρ€Π°Π±ΠΎΡ‚
АнтистрСссовый сСрвис

Анализ ΠΈ Π²Ρ‹Π±ΠΎΡ€ Ρ€Π΅ΡˆΠ΅Π½ΠΈΠΉ Π½Π° основС Π½Π΅Ρ‡Π΅Ρ‚ΠΊΠΎΠΉ ΠΌΠΎΠ½ΠΎΡ‚ΠΎΠ½Π½ΠΎΠΉ экспСртной ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΈ

Π Π΅Ρ„Π΅Ρ€Π°Ρ‚ΠŸΠΎΠΌΠΎΡ‰ΡŒ Π² Π½Π°ΠΏΠΈΡΠ°Π½ΠΈΠΈΠ£Π·Π½Π°Ρ‚ΡŒ ΡΡ‚ΠΎΠΈΠΌΠΎΡΡ‚ΡŒΠΌΠΎΠ΅ΠΉ Ρ€Π°Π±ΠΎΡ‚Ρ‹

Π˜Π½Ρ‹ΠΌΠΈ словами, Ссли Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅, для ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ функция принадлСТности ΠΏΡ€ΠΈΠ½ΠΈΠΌΠ°Π΅Ρ‚ своС наибольшСС Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ 1, Π½Π΅ Π±ΠΎΠ»ΡŒΡˆΠ΅ значСния, Π½Π° ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΌ функция Ρ‚Π°ΠΊΠΆΠ΅ ΠΏΡ€ΠΈΠ½ΠΈΠΌΠ°Π΅Ρ‚ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ 1. Π”Π°Π½Π½ΠΎΠ΅ свойство позволяСт ΠΏΡ€Π΅Π΄Π»ΠΎΠΆΠΈΡ‚ΡŒ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠ΅ Π°Π»Π³ΠΎΡ€ΠΈΡ‚ΠΌΡ‹ нахоТдСния Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€Π° V, для ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… Π²Π΅Π»ΠΈΡ‡ΠΈΠ½Π° стСпСни истинности достигаСт своСго наибольшСго значСния. Бвойство 3. Если систСма ΠΎΠ±Π»Π°Π΄Π°Π΅Ρ‚ свойством монотонности… Π§ΠΈΡ‚Π°Ρ‚ΡŒ Π΅Ρ‰Ρ‘ >

Анализ ΠΈ Π²Ρ‹Π±ΠΎΡ€ Ρ€Π΅ΡˆΠ΅Π½ΠΈΠΉ Π½Π° основС Π½Π΅Ρ‡Π΅Ρ‚ΠΊΠΎΠΉ ΠΌΠΎΠ½ΠΎΡ‚ΠΎΠ½Π½ΠΎΠΉ экспСртной ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΈ (Ρ€Π΅Ρ„Π΅Ρ€Π°Ρ‚, курсовая, Π΄ΠΈΠΏΠ»ΠΎΠΌ, ΠΊΠΎΠ½Ρ‚Ρ€ΠΎΠ»ΡŒΠ½Π°Ρ)

Анализ ΠΈ Π²Ρ‹Π±ΠΎΡ€ Ρ€Π΅ΡˆΠ΅Π½ΠΈΠΉ Π½Π° ΠΎΡΠ½ΠΎΠ²Π΅ Π½Π΅Ρ‡Π΅Ρ‚ΠΊΠΎΠΉ ΠΌΠΎΠ½ΠΎΡ‚ΠΎΠ½Π½ΠΎΠΉ экспСртной ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΈ.

Π›.Π‘. Π‘Π΅Ρ€ΡˆΡ‚Π΅ΠΉΠ½, А. Π’. Π‘ΠΎΠΆΠ΅Π½ΡŽΠΊ.

ΠŸΠ΅Ρ€Π΅Π΄ Ρ€Π°Π·Ρ€Π°Π±ΠΎΡ‚Ρ‡ΠΈΠΊΠ°ΠΌΠΈ экспСртных систСм (Π­Π‘) Π² ΠΎΠ±Π»Π°ΡΡ‚ΠΈ искусствСнного ΠΈΠ½Ρ‚Π΅Π»Π»Π΅ΠΊΡ‚Π° стоят, ΠΊΠ°ΠΊ ΠΏΡ€Π°Π²ΠΈΠ»ΠΎ, ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠ΅ Ρ‚Ρ€ΠΈ Π·Π°Π΄Π°Ρ‡ΠΈ: Π²Ρ‹Π±ΠΎΡ€ прСдставлСния экспСртной ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΈ ΠΎ ΠΏΡ€Π΅Π΄ΠΌΠ΅Ρ‚Π½ΠΎΠΉ области Π² ΡΠΈΡΡ‚Π΅ΠΌΠ΅; Π²Ρ‹Π±ΠΎΡ€ ΠΈ (ΠΈΠ»ΠΈ) обоснованиС ΠΏΠΎΠ΄Ρ…ΠΎΠ΄Π° ΠΊ ΠΏΡ€ΠΈΠ½ΡΡ‚ΠΈΡŽ Ρ€Π΅ΡˆΠ΅Π½ΠΈΡ (ПР) Π½Π° ΠΎΡΠ½ΠΎΠ²Π΅ этой ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΈ; Ρ€Π°Π·Ρ€Π°Π±ΠΎΡ‚ΠΊΠ° Π°Π»Π³ΠΎΡ€ΠΈΡ‚ΠΌΠΎΠ², Ρ€Π΅Π°Π»ΠΈΠ·ΡƒΡŽΡ‰ΠΈΡ… Π²Ρ‹Π±Ρ€Π°Π½Π½Ρ‹ΠΉ ΠΏΠΎΠ΄Ρ…ΠΎΠ΄ ΠΊ ΠŸΠ .

Π’ ΡΠ»ΡƒΡ‡Π°Π΅, ΠΊΠΎΠ³Π΄Π° ΠΏΡ€ΠΈ Ρ€Π΅ΡˆΠ΅Π½ΠΈΠΈ ΠΏΠ΅Ρ€Π²ΠΎΠΉ Π·Π°Π΄Π°Ρ‡ΠΈ ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅Ρ‚ΡΡ Π½Π΅Ρ‡Π΅Ρ‚ΠΊΠΎΠ΅ прСдставлСниС ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΈ (Π² Ρ‚Π΅Ρ€ΠΌΠΈΠ½Π°Ρ… Π½Π΅Ρ‡Π΅Ρ‚ΠΊΠΈΡ… ΠΈ Π»ΠΈΠ½Π³Π²ΠΈΡΡ‚ичСских ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ…), Π²ΠΎΠ·Π½ΠΈΠΊΠ°ΡŽΡ‚ Π·Π°Π΄Π°Ρ‡ΠΈ ΠΎΡ†Π΅Π½ΠΊΠΈ этой ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΈ Π½Π° ΠΏΡ€Π΅Π΄ΠΌΠ΅Ρ‚ Π΅Π΅ Π½Π΅ΠΏΡ€ΠΎΡ‚иворСчивости (ΠΈΠ»ΠΈ ΠΎΡ†Π΅Π½ΠΊΠΈ стСпСни Π΅Π΅ Π½Π΅ΠΏΡ€ΠΎΡ‚иворСчивости), Π° Ρ‚Π°ΠΊΠΆΠ΅ Π·Π°Π΄Π°Ρ‡ΠΈ ΡΠΎΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΡ этой ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΈ ΠΈ ΠΆΠ΅Π»Π°Π΅ΠΌΠΎΠΉ точности получСния Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚Π°. Π­Ρ‚ΠΎ ΡƒΠΊΠ°Π·Ρ‹Π²Π°Π΅Ρ‚ Π½Π° Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎΡΡ‚ΡŒ ΠΏΡ€Π΅Π΄Π²Π°Ρ€ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎΠ³ΠΎ Π°Π½Π°Π»ΠΈΠ·Π° Π½Π΅Ρ‡Π΅Ρ‚ΠΊΠΎΠΉ экспСртной ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΈ. Π”Π°Π½Π½Ρ‹ΠΉ Π°Π½Π°Π»ΠΈΠ· ΠΏΠΎΠ·Π²ΠΎΠ»ΠΈΠ» Π±Ρ‹:.

1.ΠžΡ†Π΅Π½ΠΈΡ‚ΡŒ соотвСтствиС ΠΈΠΌΠ΅ΡŽΡ‰Π΅ΠΉΡΡ Π½Π΅Ρ‡Π΅Ρ‚ΠΊΠΎΠΉ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΈ трСбованиям, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΌ ΠΏΠΎ ΠΌΠ½Π΅Π½ΠΈΡŽ ΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚Π΅Π»Ρ Π­Π‘, Π΄ΠΎΠ»ΠΆΠ½Ρ‹ ΡƒΠ΄ΠΎΠ²Π»Π΅Ρ‚Π²ΠΎΡ€ΡΡ‚ΡŒ ΠΏΠΎΠ»ΡƒΡ‡Π°Π΅ΠΌΡ‹Π΅ Ρ€Π΅ΡˆΠ΅Π½ΠΈΡ;

2. Найти «ΡƒΠ·ΠΊΠΈΠ΅ мСста «Ρ‚Π°ΠΊΠΎΠΉ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΈ с Ρ†Π΅Π»ΡŒΡŽ Π΅Π΅ ΠΊΠΎΡ€Ρ€Π΅ΠΊΡ‚ΠΈΡ€ΠΎΠ²ΠΊΠΈ (Π½Π°ΠΏΡ€ΠΈΠΌΠ΅Ρ€, ΠΏΡƒΡ‚Π΅ΠΌ задания Π΄ΠΎΠΏΠΎΠ»Π½ΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Ρ… вопросов экспСрту ΠΎ Π²Ρ‹Π±ΠΎΡ€Π΅ Ρ€Π΅ΡˆΠ΅Π½ΠΈΡ Π² Ρ‚Π°ΠΊΠΈΡ… «ΠΌΠ΅ΡΡ‚Π°Ρ… »).

Для провСдСния Ρ‚Π°ΠΊΠΎΠ³ΠΎ Π°Π½Π°Π»ΠΈΠ·Π° Π²Π²Π΅Π΄Π΅ΠΌ понятия ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ упорядочСния Π½Π° Π·Π½Π°Ρ‡Π΅Π½ΠΈΡΡ… лингвистичСской ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎΠΉ ΠΈ ΠΌΠΎΠ½ΠΎΡ‚онности Π½Π΅Ρ‡Π΅Ρ‚ΠΊΠΎΠΉ экспСртной ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΈ.

ΠžΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ 1. ΠŸΡƒΡΡ‚ΡŒ — Π»ΠΈΠ½Π³Π²ΠΈΡΡ‚ичСская пСрСмСнная [1], опрСдСлСнная Π½Π° ΠΌΠ½ΠΎΠΆΠ΅ΡΡ‚Π²Π΅ Π₯ ΠΈ ΠΈΠΌΠ΅ΡŽΡ‰Π°Ρ Π±Π°Π·ΠΎΠ²Ρ‹Π΅ значСния , . Π—Π΄Π΅ΡΡŒ —  Π½Π΅Ρ‡Π΅Ρ‚ΠΊΠΈΠ΅ ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Π΅ с ΡƒΠ½ΠΈΠΌΠΎΠ΄Π°Π»ΡŒΠ½Ρ‹ΠΌΠΈ функциями принадлСТности , . Π’Π²Π΅Π΄Π΅ΠΌ Π½Π° ΠΌΠ½ΠΎΠΆΠ΅ΡΡ‚Π²Π΅ Π±Π°Π·ΠΎΠ²Ρ‹Ρ… Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ Π’ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ упорядочСния ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ:

.

Π˜Π½Ρ‹ΠΌΠΈ словами , Ссли Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ , для ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ функция принадлСТности ΠΏΡ€ΠΈΠ½ΠΈΠΌΠ°Π΅Ρ‚ своС наибольшСС Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ 1, Π½Π΅ Π±ΠΎΠ»ΡŒΡˆΠ΅ значСния, Π½Π° ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΌ функция Ρ‚Π°ΠΊΠΆΠ΅ ΠΏΡ€ΠΈΠ½ΠΈΠΌΠ°Π΅Ρ‚ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ 1.

ΠžΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ 2. ΠžΠ±ΠΎΠ·Π½Π°Ρ‡ΠΈΠΌ Ρ‡Π΅Ρ€Π΅Π· — ΠΎΠ±ΠΎΠ±Ρ‰Π΅Π½Π½ΡƒΡŽ Π»ΠΈΠ½Π³Π²ΠΈΡΡ‚ΠΈΡ‡Π΅ΡΠΊΡƒΡŽ ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½ΡƒΡŽ, ΠΏΡ€ΠΈΠ½ΠΈΠΌΠ°ΡŽΡ‰ΡƒΡŽ значСния . ΠŸΡƒΡΡ‚ΡŒ , Π° .

Π‘ΡƒΠ΄Π΅ΠΌ ΡΡ‡ΠΈΡ‚Π°Ρ‚ΡŒ, Ρ‡Ρ‚ΠΎ:

.

ΠŸΡƒΡΡ‚ΡŒ процСсс ΠŸΠ  характСризуСтся Π²Ρ‹Π±ΠΎΡ€ΠΎΠΌ Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ значСния ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€Π° V, Π½Π° ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ΅ Π²Π»ΠΈΡΡŽΡ‚ значСния ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€ΠΎΠ² X, Y,…, Z. ВвСдя лингвистичСскиС ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Π΅ , , ,…, с ΠΌΠ½ΠΎΠΆΠ΅ΡΡ‚Π²ΠΎΠΌ Π±Π°Π·ΠΎΠ²Ρ‹Ρ… Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ соотвСтствСнно , , ,…, ΠΈ ΡΠΊΡΠΏΠ΅Ρ€Ρ‚Π½ΡƒΡŽ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΡŽ ΠΎ Π²Ρ‹Π±ΠΎΡ€Π΅ Ρ€Π΅ΡˆΠ΅Π½ΠΈΡ прСдставим Π² Π²ΠΈΠ΄Π΅ систСмы Π½Π΅Ρ‡Π΅Ρ‚ΠΊΠΈΡ… высказываний :

.

Π—Π΄Π΅ΡΡŒ , ,…, ΠΈ .

ЀактичСски нСчСткая систСма высказываний прСдставляСт собой Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€ΡƒΡŽ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΡŽ , ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½Π½ΡƒΡŽ Π½Π° ΠΌΠ½ΠΎΠΆΠ΅ΡΡ‚Π²Π΅ Π±Π°Π·ΠΎΠ²Ρ‹Ρ… Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ ΠΎΠ±ΠΎΠ±Ρ‰Π΅Π½Π½ΠΎΠΉ лингвистичСской ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎΠΉ.

ЗафиксируСм ΠΏΡ€ΠΎΠΈΠ·Π²ΠΎΠ»ΡŒΠ½Ρ‹Π΅ значСния , ,…, .

ΠžΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ 3. БистСму Π½Π΅Ρ‡Π΅Ρ‚ΠΊΠΈΡ… высказываний Π½Π°Π·ΠΎΠ²Π΅ΠΌ ΠΌΠΎΠ½ΠΎΡ‚ΠΎΠ½Π½ΠΎΠΉ ΠΏΠΎ ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€Ρƒ X, Ссли справСдливо Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅:

ΠΈΠ»ΠΈ.

.

ΠžΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ 4. БистСму Π½Π΅Ρ‡Π΅Ρ‚ΠΊΠΈΡ… высказываний ΠΌΠΎΠ½ΠΎΡ‚ΠΎΠ½Π½ΡƒΡŽ ΠΏΠΎ Π²ΡΠ΅ΠΌ ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€Π°ΠΌ X, Y,…, Z, Π½Π°Π·ΠΎΠ²Π΅ΠΌ просто ΠΌΠΎΠ½ΠΎΡ‚ΠΎΠ½Π½ΠΎΠΉ Π½Π΅Ρ‡Π΅Ρ‚ΠΊΠΎΠΉ систСмой.

Бвойство 1. Для Ρ‚ΠΎΠ³ΠΎ, Ρ‡Ρ‚ΠΎΠ±Ρ‹ систСма Π½Π΅Ρ‡Π΅Ρ‚ΠΊΠΈΡ… высказываний Π±Ρ‹Π»Π° ΠΌΠΎΠ½ΠΎΡ‚ΠΎΠ½Π½ΠΎΠΉ, Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎ ΠΈ Π΄ΠΎΡΡ‚Π°Ρ‚ΠΎΡ‡Π½ΠΎ, Ρ‡Ρ‚ΠΎΠ±Ρ‹ Π²Ρ‹ΠΏΠΎΠ»Π½ΡΠ»ΠΎΡΡŒ условиС:

.

ΠΈΠ»ΠΈ.

.

Π’ Ρ€Π°Π±ΠΎΡ‚Π΅ [2] Π±Ρ‹Π»Π° ΠΏΡ€Π΅Π΄Π»ΠΎΠΆΠ΅Π½Π° общая схСма Π²Ρ‹Π±ΠΎΡ€Π° Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€ΠΎΠ² ΠΏΡ€ΠΈ Π½Π΅Ρ‡Π΅Ρ‚ΠΊΠΎΠΉ экспСртной ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΈ. Богласно Π΅ΠΉ, ΠΏΡ€ΠΈ Π·Π°Π΄Π°Π½Π½Ρ‹Ρ… Π²Ρ…ΠΎΠ΄Π½Ρ‹Ρ… ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€Π°Ρ… X, Y,…, Z, выбираСтся Ρ‚Π°ΠΊΠΎΠ΅ подмноТСство Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ Π²Ρ‹Ρ…ΠΎΠ΄Π½ΠΎΠ³ΠΎ ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€Π° V, для элСмСнтов ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ ΡΡ‚Π΅ΠΏΠ΅Π½ΡŒ истинности ΠΏΡ€Π°Π²ΠΈΠ»Π° modus ponens для Π½Π΅Ρ‡Π΅Ρ‚ΠΊΠΎΠΉ схСмы Π²Ρ‹Π²ΠΎΠ΄Π°.

(1).

ΠΏΡ€ΠΈΠ½ΠΈΠΌΠ°Π΅Ρ‚ своС наибольшСС Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅. Π—Π΄Π΅ΡΡŒ — ΡΠΈΡΡ‚Π΅ΠΌΠ° Π½Π΅Ρ‡Π΅Ρ‚ΠΊΠΈΡ… экспСртных высказываний. — Π²Ρ‹ΡΠΊΠ°Π·Ρ‹Π²Π°Π½ΠΈΠ΅ Ρ‚ΠΈΠΏΠ° . Π’Π΅Π»ΠΈΡ‡ΠΈΠ½Ρ‹ x, y,…, z — ΠΊΠΎΠ½ΠΊΡ€Π΅Ρ‚Π½Ρ‹Π΅ значСния Π²Ρ…ΠΎΠ΄Π½Ρ‹Ρ… ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€ΠΎΠ² X, Y,…, Z. — Π²Ρ‹ΡΠΊΠ°Π·Ρ‹Π²Π°Π½ΠΈΠ΅ Ρ‚ΠΈΠΏΠ° , Π²Π΅Π»ΠΈΡ‡ΠΈΠ½Π° v — Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ ΠΈΠ· ΠΏΠΎΠ΄ΠΌΠ½ΠΎΠΆΠ΅ΡΡ‚Π²Π° .

Π‘Ρ‚Π΅ΠΏΠ΅Π½ΡŒ истинности ΠΏΡ€Π°Π²ΠΈΠ»Π° modus ponens для схСмы Π²Ρ‹Π²ΠΎΠ΄Π° (1) опрСдСлится Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅ΠΌ:

. (2).

Π³Π΄Π΅ n — число высказываний Π² ΡΠΈΡΡ‚Π΅ΠΌΠ΅ .

Бвойство 2. Для Π·Π°Π΄Π°Π½Π½Ρ‹Ρ… Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ x, y,…, z Π²Ρ…ΠΎΠ΄Π½Ρ‹Ρ… ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€ΠΎΠ² функция являСтся Π½Π΅ΠΏΡ€Π΅Ρ€Ρ‹Π²Π½ΠΎΠΉ Π½Π° ΠΌΠ½ΠΎΠΆΠ΅ΡΡ‚Π²Π΅ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€Π° V.

Бвойство 3. Если систСма ΠΎΠ±Π»Π°Π΄Π°Π΅Ρ‚ свойством монотонности, Ρ‚ΠΎ Ρ„ункция ΡƒΠ½ΠΈΠΌΠΎΠ΄Π°Π»ΡŒΠ½Π°, ΠΈΠ»ΠΈ достигаСт своСго максимума Π½Π° Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΌ ΠΈΠ½Ρ‚Π΅Ρ€Π²Π°Π»Π΅ мноТСства Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€Π° V.

ΠžΠ±ΠΎΠ·Π½Π°Ρ‡ΠΈΠΌ Ρ‡Π΅Ρ€Π΅Π· . Π’ΠΎΠ³Π΄Π° Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅ (2) ΠΌΠΎΠΆΠ½ΠΎ ΠΏΠ΅Ρ€Π΅ΠΏΠΈΡΠ°Ρ‚ΡŒ Π² Π²ΠΈΠ΄Π΅:

,.

Π³Π΄Π΅ m — мноТСство Π±Π°Π·ΠΎΠ²Ρ‹Ρ… Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ лингвистичСской ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎΠΉ .

Бвойство 4. Если систСма ΠΎΠ±Π»Π°Π΄Π°Π΅Ρ‚ свойством монотонности, Ρ‚ΠΎ ΡΠΏΡ€Π°Π²Π΅Π΄Π»ΠΈΠ²Ρ‹ нСравСнства.

, ΠΏΡ€ΠΈ ,.

, ΠΏΡ€ΠΈ .

Π”Π°Π½Π½ΠΎΠ΅ свойство позволяСт ΠΏΡ€Π΅Π΄Π»ΠΎΠΆΠΈΡ‚ΡŒ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠ΅ Π°Π»Π³ΠΎΡ€ΠΈΡ‚ΠΌΡ‹ нахоТдСния Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€Π° V, для ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… Π²Π΅Π»ΠΈΡ‡ΠΈΠ½Π° стСпСни истинности достигаСт своСго наибольшСго значСния.

ΠžΡ‚ΡΠΎΡ€Ρ‚ΠΈΡ€ΡƒΠ΅ΠΌ Π²Π½Π°Ρ‡Π°Π»Π΅ значСния Π² ΠΏΠΎΡ€ΡΠ΄ΠΊΠ΅ ΠΈΡ… ΡƒΠ²Π΅Π»ΠΈΡ‡Π΅Π½ΠΈΡ. Π‘ΡƒΠ΄Π΅ΠΌ ΡΡ‡ΠΈΡ‚Π°Ρ‚ΡŒ, Ρ‡Ρ‚ΠΎ , Π³Π΄Π΅ соотвСтствуСт Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΌΡƒ .

Рассмотрим Π²Π½Π°Ρ‡Π°Π»Π΅ Π°Π»Π³ΠΎΡ€ΠΈΡ‚ΠΌ для Π±ΠΎΠ»Π΅Π΅ простого случая. ΠŸΡƒΡΡ‚ΡŒ — Π½ΠΎΡΠΈΡ‚Π΅Π»ΠΈ Π½Π΅Ρ‡Π΅Ρ‚ΠΊΠΈΡ… мноТСств, ΡΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΡƒΡŽΡ‰ΠΈΠ΅ Π½Π΅Ρ‡Π΅Ρ‚ΠΊΠΈΠΌ ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½-Π½Ρ‹ΠΌ . ΠŸΡƒΡΡ‚ΡŒ выполняСтся условиС:

. (3).

Π˜Π½Ρ‹ΠΌΠΈ словами, для любого значСния ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€Π° V Ρ‡ΠΈΡΠ»ΠΎ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΉ ΠΏΡ€ΠΈΠ½Π°Π΄-лСТности, ΠΎΠ΄Π½ΠΎΠ²Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎ Π½Π΅ Ρ€Π°Π²Π½Ρ‹Ρ… 0, Π½Π΅ ΠΏΡ€Π΅Π²Ρ‹ΡˆΠ°Π΅Ρ‚ Π΄Π²ΡƒΡ…. ΠŸΡ€ΠΈΠΌΠ΅Ρ€ Ρ‚Π°ΠΊΠΎΠ³ΠΎ случая ΠΏΠΎΠΊΠ°Π·Π°Π½ Π½Π° Ρ€ΠΈΡ. 1.

ΠŸΡ€ΠΈ Π²Ρ‹ΠΏΠΎΠ»Π½Π΅Π½ΠΈΠΈ условия (3), Π°Π»Π³ΠΎΡ€ΠΈΡ‚ΠΌ опрСдСлСния мноТСства Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€Π° V, Π±ΡƒΠ΄Π΅Ρ‚ ΠΈΠΌΠ΅Ρ‚ΡŒ Π²ΠΈΠ΄:

. ΠžΠΏΡ€Π΅Π΄Π΅Π»ΡΠ΅ΠΌ подмноТСство , для элСмСнтов ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ справСдливо Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅: .

Если подмноТСство, Ρ‚ΠΎ ΠΈ . ΠŸΠ΅Ρ€Π΅Ρ…ΠΎΠ΄ Π½Π°. .

. Если , Ρ‚ΠΎ ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΡΠ΅ΠΌ СдинствСнноС Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ , ΠΏΡ€ΠΈ ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΌ выполняСтся условиС: . Π’ ΡΡ‚ΠΎΠΌ случаС .

. ΠšΠΎΠ½Π΅Ρ†.

Π—Π°ΠΌΠ΅Ρ‚ΠΈΠΌ, Ρ‡Ρ‚ΠΎ ΠΏ. всСгда Π²Ρ‹ΠΏΠΎΠ»Π½ΠΈΠΌ, Ρ‚Π°ΠΊ ΠΊΠ°ΠΊ согласно свойству 4, Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ принадлСТности ΠΈ ΡΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΡƒΡŽΡ‚ «ΡΠΎΡΠ΅Π΄Π½ΠΈΠΌ «Π½Π΅Ρ‡Π΅Ρ‚ΠΊΠΈΠΌ ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹ΠΌ ΠΈ Ρƒ ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… .

Рассмотрим Ρ‚Π΅ΠΏΠ΅Ρ€ΡŒ Π°Π»Π³ΠΎΡ€ΠΈΡ‚ΠΌ для Π±ΠΎΠ»Π΅Π΅ слоТного случая, ΠΊΠΎΠ³Π΄Π° условиС (3) ΠΌΠΎΠΆΠ΅Ρ‚ Π½Π΅ Π²Ρ‹ΠΏΠΎΠ»Π½ΡΡ‚ΡŒΡΡ. Π’ ΡΡ‚ΠΎΠΌ случаС, Π°Π»Π³ΠΎΡ€ΠΈΡ‚ΠΌ опрСдСлСния мноТСства Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€Π° V, ΠΏΡ€ΠΈΠΌΠ΅Ρ‚ Π²ΠΈΠ΄:

. ΠžΠΏΡ€Π΅Π΄Π΅Π»ΡΠ΅ΠΌ подмноТСство , для элСмСнтов ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ справСдливо .

Если подмноТСство , Ρ‚ΠΎ ΠΈ . ΠŸΠ΅Ρ€Π΅Ρ…ΠΎΠ΄ Π½Π° .

. ΠžΠΏΡ€Π΅Π΄Π΅Π»ΡΠ΅ΠΌ подмноТСство , для элСмСнтов ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ справСдливо .

Если подмноТСство , Ρ‚ΠΎ ΠΈ . ΠŸΠ΅Ρ€Π΅Ρ…ΠΎΠ΄ Π½Π° .

. Если , Ρ‚ΠΎ ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΡΠ΅ΠΌ СдинствСнноС Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ , ΠΏΡ€ΠΈ ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΌ выполняСтся условиС: . Π’ ΡΡ‚ΠΎΠΌ случаС .

. ΠšΠΎΠ½Π΅Ρ†.

РассмотрСнныС Π°Π»Π³ΠΎΡ€ΠΈΡ‚ΠΌΡ‹ Π·Π½Π°Ρ‡ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ ΠΏΡ€ΠΎΡ‰Π΅ Π°Π»Π³ΠΎΡ€ΠΈΡ‚ΠΌΠ°, ΠΏΡ€Π΅Π΄Π»ΠΎΠΆΠ΅Π½Π½ΠΎΠ³ΠΎ Π² [1] для ΠΏΡ€ΠΎΠΈΠ·Π²ΠΎΠ»ΡŒΠ½Ρ‹Ρ… (Π½Π΅ ΠΌΠΎΠ½ΠΎΡ‚ΠΎΠ½Π½Ρ‹Ρ…) систСм высказываний .

Бписок Π»ΠΈΡ‚Π΅Ρ€Π°Ρ‚ΡƒΡ€Ρ‹

МодСли принятия Ρ€Π΅ΡˆΠ΅Π½ΠΈΠΉ Π½Π° ΠΎΡΠ½ΠΎΠ²Π΅ лингвистичСской ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎΠΉ / А. Н. Борисов, А. Π’. АлСксССв, О. А. ΠšΡ€ΡƒΠΌΠ±Π΅Ρ€Π³ ΠΈ Π΄Ρ€. Π ΠΈΠ³Π°: Π—ΠΈΠ½Π°Ρ‚Π½Π΅, 1982.-256с.

НСчСткиС ΠΌΠΎΠ΄Π΅Π»ΠΈ для экспСртных систСм Π² Π‘АПР / Н. Π“. ΠœΠ°Π»Ρ‹ΡˆΠ΅Π², Π›. Π‘. Π‘Π΅Ρ€ΡˆΡ‚Π΅ΠΉΠ½, А. Π’. Π‘ΠΎΠΆΠ΅Π½ΡŽΠΊ. — Πœ.:Π­Π½Π΅Ρ€Π³ΠΎΠ°Ρ‚ΠΎΠΌΠΈΠ·Π΄Π°Ρ‚, 1991.-136с.

ΠŸΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ вСсь тСкст
Π—Π°ΠΏΠΎΠ»Π½ΠΈΡ‚ΡŒ Ρ„ΠΎΡ€ΠΌΡƒ Ρ‚Π΅ΠΊΡƒΡ‰Π΅ΠΉ Ρ€Π°Π±ΠΎΡ‚ΠΎΠΉ