Π§ΠΈΡ‚Π°ΠΉΡ‚Π΅ ΠΊΠ½ΠΈΠ³ΠΈ ΠΎΠ½Π»Π°ΠΉΠ½ Π½Π° Bookidrom.ru! БСсплатныС ΠΊΠ½ΠΈΠ³ΠΈ Π² ΠΎΠ΄Π½ΠΎΠΌ ΠΊΠ»ΠΈΠΊΠ΅

Π§ΠΈΡ‚Π°Ρ‚ΡŒ ΠΎΠ½Π»Π°ΠΉΠ½ Β«Π‘Π°Π·Ρ‹ Π΄Π°Π½Π½Ρ‹Ρ…: конспСкт Π»Π΅ΠΊΡ†ΠΈΠΉΒ». Π‘Ρ‚Ρ€Π°Π½ΠΈΡ†Π° 35

Автор ΠšΠΎΠ»Π»Π΅ΠΊΡ‚ΠΈΠ² Авторов

А Ρ‚Π΅ΠΏΠ΅Ρ€ΡŒ рассмотрим Π²Ρ‚ΠΎΡ€ΠΎΠΉ Ρ€Π΅ΠΆΠΈΠΌ функционирования экспСртной систСмы, Ρ‚. Π΅. Ρ€Π΅ΠΆΠΈΠΌ Ρ€Π΅ΡˆΠ΅Π½ΠΈΡ Π·Π°Π΄Π°Ρ‡.

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

5. ΠŸΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½Π°Ρ модСль Π·Π½Π°Π½ΠΈΠΉ

По своСй сути ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½Ρ‹Π΅ ΠΌΠΎΠ΄Π΅Π»ΠΈ Π·Π½Π°Π½ΠΈΠΉ Π±Π»ΠΈΠ·ΠΊΠΈ ΠΊ логичСским модСлям, Ρ‡Ρ‚ΠΎ позволяСт ΠΎΡ€Π³Π°Π½ΠΈΠ·ΠΎΠ²Π°Ρ‚ΡŒ вСсьма эффСктивныС ΠΏΡ€ΠΎΡ†Π΅Π΄ΡƒΡ€Ρ‹ логичСского Π²Ρ‹Π²ΠΎΠ΄Π° Π΄Π°Π½Π½Ρ‹Ρ…. Π­Ρ‚ΠΎ с ΠΎΠ΄Π½ΠΎΠΉ стороны. Однако, с Π΄Ρ€ΡƒΠ³ΠΎΠΉ стороны, Ссли Ρ€Π°ΡΡΠΌΠ°Ρ‚Ρ€ΠΈΠ²Π°Ρ‚ΡŒ ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½Ρ‹Π΅ ΠΌΠΎΠ΄Π΅Π»ΠΈ Π·Π½Π°Π½ΠΈΠΉ Π² сравнСнии с логичСскими модСлями, Ρ‚ΠΎ ΠΏΠ΅Ρ€Π²Ρ‹Π΅ Π±ΠΎΠ»Π΅Π΅ наглядно ΠΎΡ‚ΠΎΠ±Ρ€Π°ΠΆΠ°ΡŽΡ‚ знания, Ρ‡Ρ‚ΠΎ являСтся нСоспоримым прСимущСством. ΠŸΠΎΡΡ‚ΠΎΠΌΡƒ, нСсомнСнно, продукционная модСль Π·Π½Π°Π½ΠΈΠΉ являСтся ΠΎΠ΄Π½ΠΈΠΌ ΠΈΠ· Π³Π»Π°Π²Π½Ρ‹Ρ… срСдств прСдставлСния Π·Π½Π°Π½ΠΈΠΉ Π² систСмах искусствСнного ΠΈΠ½Ρ‚Π΅Π»Π»Π΅ΠΊΡ‚Π°.

Π˜Ρ‚Π°ΠΊ, Π½Π°Ρ‡Π½Π΅ΠΌ ΠΏΠΎΠ΄Ρ€ΠΎΠ±Π½ΠΎΠ΅ рассмотрСниС понятия ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½ΠΎΠΉ ΠΌΠΎΠ΄Π΅Π»ΠΈ Π·Π½Π°Π½ΠΈΠΉ.

Врадиционная продукционная модСль Π·Π½Π°Π½ΠΈΠΉ Π²ΠΊΠ»ΡŽΡ‡Π°Π΅Ρ‚ Π² сСбя ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠ΅ Π±Π°Π·ΠΎΠ²Ρ‹Π΅ ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚Ρ‹:

1) Π½Π°Π±ΠΎΡ€ ΠΏΡ€Π°Π²ΠΈΠ» (ΠΈΠ»ΠΈ ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΉ), ΠΏΡ€Π΅Π΄ΡΡ‚Π°Π²Π»ΡΡŽΡ‰ΠΈΡ… Π±Π°Π·Ρƒ Π·Π½Π°Π½ΠΈΠΉ ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½ΠΎΠΉ систСмы;

2) Ρ€Π°Π±ΠΎΡ‡ΡƒΡŽ ΠΏΠ°ΠΌΡΡ‚ΡŒ, Π² ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΉ хранятся исходныС Ρ„Π°ΠΊΡ‚Ρ‹, Π° Ρ‚Π°ΠΊΠΆΠ΅ Ρ„Π°ΠΊΡ‚Ρ‹, Π²Ρ‹Π²Π΅Π΄Π΅Π½Π½Ρ‹Π΅ ΠΈΠ· исходных Ρ„Π°ΠΊΡ‚ΠΎΠ² ΠΏΡ€ΠΈ ΠΏΠΎΠΌΠΎΡ‰ΠΈ ΠΌΠ΅Ρ…Π°Π½ΠΈΠ·ΠΌΠ° логичСского Π²Ρ‹Π²ΠΎΠ΄Π°;

3) сам ΠΌΠ΅Ρ…Π°Π½ΠΈΠ·ΠΌ логичСского Π²Ρ‹Π²ΠΎΠ΄Π°, ΠΏΠΎΠ·Π²ΠΎΠ»ΡΡŽΡ‰ΠΈΠΉ ΠΈΠ· ΠΈΠΌΠ΅ΡŽΡ‰ΠΈΡ…ΡΡ Ρ„Π°ΠΊΡ‚ΠΎΠ², согласно ΠΈΠΌΠ΅ΡŽΡ‰ΠΈΠΌΡΡ ΠΏΡ€Π°Π²ΠΈΠ»Π°ΠΌ Π²Ρ‹Π²ΠΎΠ΄Π°, Π²Ρ‹Π²ΠΎΠ΄ΠΈΡ‚ΡŒ Π½ΠΎΠ²Ρ‹Π΅ Ρ„Π°ΠΊΡ‚Ρ‹.

ΠŸΡ€ΠΈΡ‡Π΅ΠΌ, Ρ‡Ρ‚ΠΎ Π»ΡŽΠ±ΠΎΠΏΡ‹Ρ‚Π½ΠΎ, количСство Ρ‚Π°ΠΊΠΈΡ… ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ бСсконСчно.

КаТдоС ΠΏΡ€Π°Π²ΠΈΠ»ΠΎ, ΠΏΡ€Π΅Π΄ΡΡ‚Π°Π²Π»ΡΡŽΡ‰Π΅Π΅ Π±Π°Π·Ρƒ Π·Π½Π°Π½ΠΈΠΉ ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½ΠΎΠΉ систСмы, содСрТит ΡƒΡΠ»ΠΎΠ²Π½ΡƒΡŽ ΠΈ Π·Π°ΠΊΠ»ΡŽΡ‡ΠΈΡ‚Π΅Π»ΡŒΠ½ΡƒΡŽ части. Π’ условной части ΠΏΡ€Π°Π²ΠΈΠ»Π° находится Π»ΠΈΠ±ΠΎ ΠΎΠ΄ΠΈΠ½ΠΎΡ‡Π½Ρ‹ΠΉ Ρ„Π°ΠΊΡ‚, Π»ΠΈΠ±ΠΎ нСсколько Ρ„Π°ΠΊΡ‚ΠΎΠ², соСдинСнных ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΠ΅ΠΉ. Π’ Π·Π°ΠΊΠ»ΡŽΡ‡ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎΠΉ части ΠΏΡ€Π°Π²ΠΈΠ»Π° находятся Ρ„Π°ΠΊΡ‚Ρ‹, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΌΠΈ Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎ ΠΏΠΎΠΏΠΎΠ»Π½ΠΈΡ‚ΡŒ Ρ€Π°Π±ΠΎΡ‡ΡƒΡŽ ΠΏΠ°ΠΌΡΡ‚ΡŒ, Ссли условная Ρ‡Π°ΡΡ‚ΡŒ ΠΏΡ€Π°Π²ΠΈΠ»Π° являСтся истинной.

Если ΠΏΠΎΠΏΡ‹Ρ‚Π°Ρ‚ΡŒΡΡ схСматично ΠΈΠ·ΠΎΠ±Ρ€Π°Π·ΠΈΡ‚ΡŒ ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½ΡƒΡŽ модСль Π·Π½Π°Π½ΠΈΠΉ, Ρ‚ΠΎ ΠΏΠΎΠ΄ ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠ΅ΠΉ понимаСтся Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰Π΅Π³ΠΎ Π²ΠΈΠ΄Π°:

(i) Q; P; A β†’ B; N;

Π—Π΄Π΅ΡΡŒ i – это имя ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½ΠΎΠΉ ΠΌΠΎΠ΄Π΅Π»ΠΈ Π·Π½Π°Π½ΠΈΠΉ ΠΈΠ»ΠΈ Π΅Π΅ порядковый Π½ΠΎΠΌΠ΅Ρ€, с ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ данная продукция выдСляСтся ΠΈΠ· всСго мноТСства ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½Ρ‹Ρ… ΠΌΠΎΠ΄Π΅Π»Π΅ΠΉ, получая Π½Π΅ΠΊΡƒΡŽ ΠΈΠ΄Π΅Π½Ρ‚ΠΈΡ„ΠΈΠΊΠ°Ρ†ΠΈΡŽ. Π’ качСствС ΠΈΠΌΠ΅Π½ΠΈ ΠΌΠΎΠΆΠ΅Ρ‚ Π²Ρ‹ΡΡ‚ΡƒΠΏΠ°Ρ‚ΡŒ нСкоторая лСксичСская Π΅Π΄ΠΈΠ½ΠΈΡ†Π°, ΠΎΡ‚Ρ€Π°ΠΆΠ°ΡŽΡ‰Π°Ρ ΡΡƒΡ‚ΡŒ Π΄Π°Π½Π½ΠΎΠΉ ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΈ. ЀактичСски ΠΌΡ‹ ΠΈΠΌΠ΅Π½ΡƒΠ΅ΠΌ ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΡŽ для Π»ΡƒΡ‡ΡˆΠ΅Π³ΠΎ восприятия сознаниСм, Ρ‡Ρ‚ΠΎΠ±Ρ‹ ΡƒΠΏΡ€ΠΎΡΡ‚ΠΈΡ‚ΡŒ поиск Π½ΡƒΠΆΠ½ΠΎΠΉ ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΈ ΠΈΠ· списка.

ΠŸΡ€ΠΈΠ²Π΅Π΄Π΅ΠΌ простой ΠΏΡ€ΠΈΠΌΠ΅Ρ€: ΠΏΠΎΠΊΡƒΠΏΠΊΠ° Ρ‚Π΅Ρ‚Ρ€Π°Π΄ΠΈΒ» ΠΈΠ»ΠΈ Β«Π½Π°Π±ΠΎΡ€ Ρ†Π²Π΅Ρ‚Π½Ρ‹Ρ… ΠΊΠ°Ρ€Π°Π½Π΄Π°ΡˆΠ΅ΠΉ. ΠžΡ‡Π΅Π²ΠΈΠ΄Π½ΠΎ, Ρ‡Ρ‚ΠΎ ΠΊΠ°ΠΆΠ΄ΡƒΡŽ ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΡŽ ΠΎΠ±Ρ‹Ρ‡Π½ΠΎ ΠΈΠΌΠ΅Π½ΡƒΡŽΡ‚ словами, подходящими для Π΄Π°Π½Π½ΠΎΠ³ΠΎ ΠΌΠΎΠΌΠ΅Π½Ρ‚Π°. ΠŸΡ€ΠΎΡ‰Π΅ говоря, Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ Π²Π΅Ρ‰ΠΈ своими ΠΈΠΌΠ΅Π½Π°ΠΌΠΈ.

ИдСм дальшС. Π­Π»Π΅ΠΌΠ΅Π½Ρ‚ Q Ρ…Π°Ρ€Π°ΠΊΡ‚Π΅Ρ€ΠΈΠ·ΡƒΠ΅Ρ‚ сфСру примСнСния Π΄Π°Π½Π½ΠΎΠΉ ΠΊΠΎΠ½ΠΊΡ€Π΅Ρ‚Π½ΠΎΠΉ ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½ΠΎΠΉ ΠΌΠΎΠ΄Π΅Π»ΠΈ Π·Π½Π°Π½ΠΈΠΉ. Π’Π°ΠΊΠΈΠ΅ сфСры Π»Π΅Π³ΠΊΠΎ Π²Ρ‹Π΄Π΅Π»ΡΡŽΡ‚ΡΡ Π² сознании Ρ‡Π΅Π»ΠΎΠ²Π΅ΠΊΠ°, поэтому с ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ΠΌ Π΄Π°Π½Π½ΠΎΠ³ΠΎ элСмСнта, ΠΊΠ°ΠΊ ΠΏΡ€Π°Π²ΠΈΠ»ΠΎ, слоТностСй Π½Π΅ Π²ΠΎΠ·Π½ΠΈΠΊΠ°Π΅Ρ‚. ΠŸΡ€ΠΈΠ²Π΅Π΄Π΅ΠΌ ΠΏΡ€ΠΈΠΌΠ΅Ρ€.

Рассмотрим ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΡƒΡŽ ΡΠΈΡ‚ΡƒΠ°Ρ†ΠΈΡŽ: допустим, Π² ΠΎΠ΄Π½ΠΎΠΉ сфСрС нашСго сознания хранятся знания ΠΎ Ρ‚ΠΎΠΌ, ΠΊΠ°ΠΊ Π½Π°Π΄ΠΎ Π³ΠΎΡ‚ΠΎΠ²ΠΈΡ‚ΡŒ ΠΏΠΈΡ‰Ρƒ, Π² Π΄Ρ€ΡƒΠ³ΠΎΠΉ, ΠΊΠ°ΠΊ Π΄ΠΎΠ±Ρ€Π°Ρ‚ΡŒΡΡ Π΄ΠΎ Ρ€Π°Π±ΠΎΡ‚Ρ‹, Π² Ρ‚Ρ€Π΅Ρ‚ΡŒΠ΅ΠΉ, ΠΊΠ°ΠΊ ΠΏΡ€Π°Π²ΠΈΠ»ΡŒΠ½ΠΎ ΡΠΊΡΠΏΠ»ΡƒΠ°Ρ‚ΠΈΡ€ΠΎΠ²Π°Ρ‚ΡŒ ΡΡ‚ΠΈΡ€Π°Π»ΡŒΠ½ΡƒΡŽ ΠΌΠ°ΡˆΠΈΠ½Ρƒ. ПодобноС Ρ€Π°Π·Π΄Π΅Π»Π΅Π½ΠΈΠ΅ присутствуСт ΠΈ памяти ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½ΠΎΠΉ ΠΌΠΎΠ΄Π΅Π»ΠΈ Π·Π½Π°Π½ΠΈΠΉ. Π­Ρ‚ΠΎ Ρ€Π°Π·Π΄Π΅Π»Π΅Π½ΠΈΠ΅ Π·Π½Π°Π½ΠΈΠΉ Π½Π° ΠΎΡ‚Π΄Π΅Π»ΡŒΠ½Ρ‹Π΅ сфСры позволяСт Π·Π½Π°Ρ‡ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ ΡΠΊΠΎΠ½ΠΎΠΌΠΈΡ‚ΡŒ врСмя, Π·Π°Ρ‚Ρ€Π°Ρ‡ΠΈΠ²Π°Π΅ΠΌΠΎΠ΅ Π½Π° поиск Π½ΡƒΠΆΠ½Ρ‹Ρ… Π² Π΄Π°Π½Π½Ρ‹ΠΉ ΠΌΠΎΠΌΠ΅Π½Ρ‚ ΠΊΠ°ΠΊΠΈΡ…-Ρ‚ΠΎ ΠΊΠΎΠ½ΠΊΡ€Π΅Ρ‚Π½Ρ‹Ρ… ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½Ρ‹Ρ… ΠΌΠΎΠ΄Π΅Π»Π΅ΠΉ Π·Π½Π°Π½ΠΈΠΉ, ΠΈ Ρ‚Π΅ΠΌ самым Π·Π½Π°Ρ‡ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ ΡƒΠΏΡ€ΠΎΡ‰Π°Π΅Ρ‚ процСсс Ρ€Π°Π±ΠΎΡ‚Ρ‹ с Π½ΠΈΠΌΠΈ.

РазумССтся, Ρ‡Ρ‚ΠΎ основным элСмСнтом ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΈ являСтся Π΅Π΅ Ρ‚Π°ΠΊ Π½Π°Π·Ρ‹Π²Π°Π΅ΠΌΠΎΠ΅ ядро, ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ΅ Π² нашСй ΠΏΡ€ΠΈΠ²Π΅Π΄Π΅Π½Π½ΠΎΠΉ Π²Ρ‹ΡˆΠ΅ Ρ„ΠΎΡ€ΠΌΡƒΠ»Π΅ ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π°Π»ΠΎΡΡŒ ΠΊΠ°ΠΊ А β†’ Π’. Π­Ρ‚Π° Ρ„ΠΎΡ€ΠΌΡƒΠ»Π° ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ ΠΈΠ½Ρ‚Π΅Ρ€ΠΏΡ€Π΅Ρ‚ΠΈΡ€ΠΎΠ²Π°Π½Π°, ΠΊΠ°ΠΊ «Ссли выполняСтся условиС А, Ρ‚ΠΎ слСдуСт Π²Ρ‹ΠΏΠΎΠ»Π½ΠΈΡ‚ΡŒ дСйствиС Π’Β».

Если ΠΆΠ΅ ΠΌΡ‹ ΠΈΠΌΠ΅Π΅ΠΌ Π΄Π΅Π»ΠΎ с Π±ΠΎΠ»Π΅Π΅ слоТными конструкциями ядра, Ρ‚ΠΎ Π² ΠΏΡ€Π°Π²ΠΎΠΉ части допускаСтся ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠΉ Π°Π»ΡŒΡ‚Π΅Ρ€Π½Π°Ρ‚ΠΈΠ²Π½Ρ‹ΠΉ Π²Ρ‹Π±ΠΎΡ€: «Ссли выполняСтся условиС А, Ρ‚ΠΎ слСдуСт Π²Ρ‹ΠΏΠΎΠ»Π½ΠΈΡ‚ΡŒ дСйствиС Π’1, ΠΈΠ½Π°Ρ‡Π΅ слСдуСт Π²Ρ‹ΠΏΠΎΠ»Π½ΠΈΡ‚ΡŒ дСйствиС Π’2Β».

Однако интСрпрСтация ядра ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½ΠΎΠΉ ΠΌΠΎΠ΄Π΅Π»ΠΈ Π·Π½Π°Π½ΠΈΠΉ ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ Ρ€Π°Π·Π»ΠΈΡ‡Π½ΠΎΠΉ ΠΈ Π·Π°Π²ΠΈΡΠ΅Ρ‚ΡŒ ΠΎΡ‚ Ρ‚ΠΎΠ³ΠΎ, Ρ‡Ρ‚ΠΎ Π±ΡƒΠ΄Π΅Ρ‚ ΡΡ‚ΠΎΡΡ‚ΡŒ слСва ΠΈ справа ΠΎΡ‚ Π·Π½Π°ΠΊΠ° сСквСнции Β«β†’Β». ΠŸΡ€ΠΈ ΠΎΠ΄Π½ΠΎΠΉ ΠΈΠ· ΠΈΠ½Ρ‚Π΅Ρ€ΠΏΡ€Π΅Ρ‚Π°Ρ†ΠΈΠΉ ядра ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½ΠΎΠΉ ΠΌΠΎΠ΄Π΅Π»ΠΈ Π·Π½Π°Π½ΠΈΠΉ сСквСнция ΠΌΠΎΠΆΠ΅Ρ‚ ΠΈΡΡ‚ΠΎΠ»ΠΊΠΎΠ²Ρ‹Π²Π°Ρ‚ΡŒΡΡ Π² ΠΎΠ±Ρ‹Ρ‡Π½ΠΎΠΌ логичСском смыслС, Ρ‚. Π΅. Π² качСствС Π·Π½Π°ΠΊΠ° логичСского слСдования дСйствия Π’ ΠΈΠ· истинного условия А.

Π’Π΅ΠΌ Π½Π΅ ΠΌΠ΅Π½Π΅Π΅ Π²ΠΎΠ·ΠΌΠΎΠΆΠ½Ρ‹ ΠΈ Π΄Ρ€ΡƒΠ³ΠΈΠ΅ ΠΈΠ½Ρ‚Π΅Ρ€ΠΏΡ€Π΅Ρ‚Π°Ρ†ΠΈΠΈ ядра ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½ΠΎΠΉ ΠΌΠΎΠ΄Π΅Π»ΠΈ Π·Π½Π°Π½ΠΈΠΉ. Π’Π°ΠΊ, Π½Π°ΠΏΡ€ΠΈΠΌΠ΅Ρ€, А ΠΌΠΎΠΆΠ΅Ρ‚ ΠΎΠΏΠΈΡΡ‹Π²Π°Ρ‚ΡŒ ΠΊΠ°ΠΊΠΎΠ΅-Ρ‚ΠΎ условиС, Π²Ρ‹ΠΏΠΎΠ»Π½Π΅Π½ΠΈΠ΅ ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎ для Ρ‚ΠΎΠ³ΠΎ, Ρ‡Ρ‚ΠΎΠ±Ρ‹ ΠΌΠΎΠΆΠ½ΠΎ Π±Ρ‹Π»ΠΎ ΡΠΎΠ²Π΅Ρ€ΡˆΠΈΡ‚ΡŒ Π½Π΅ΠΊΠΎΠ΅ дСйствиС Π’.

Π”Π°Π»Π΅Π΅ рассмотрим элСмСнт ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½ΠΎΠΉ ΠΌΠΎΠ΄Π΅Π»ΠΈ Π·Π½Π°Π½ΠΈΠΉ Π .

Π­Π»Π΅ΠΌΠ΅Π½Ρ‚ Π  опрСдСляСтся, ΠΊΠ°ΠΊ условиС примСнимости ядра ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΈ. Если условиС Π  истинно, Ρ‚ΠΎ ядро ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΈ активизируСтся. Π’ ΠΏΡ€ΠΎΡ‚ΠΈΠ²Π½ΠΎΠΌ случаС, Ссли условиС Π  Π½Π΅ выполняСтся, Ρ‚. Π΅. ΠΎΠ½ΠΎ Π»ΠΎΠΆΠ½ΠΎ, ядро Π½Π΅ ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ Π°ΠΊΡ‚ΠΈΠ²ΠΈΠ·ΠΈΡ€ΠΎΠ²Π°Π½ΠΎ.

Π’ качСствС наглядного ΠΏΡ€ΠΈΠΌΠ΅Ρ€Π° рассмотрим ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΡƒΡŽ ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½ΡƒΡŽ модСль Π·Π½Π°Π½ΠΈΠΉ:

«НаличиС Π΄Π΅Π½Π΅Π³Β»; «Если Ρ…ΠΎΡ‡Π΅ΡˆΡŒ ΠΊΡƒΠΏΠΈΡ‚ΡŒ Π²Π΅Ρ‰ΡŒ А, Ρ‚ΠΎ слСдуСт Π·Π°ΠΏΠ»Π°Ρ‚ΠΈΡ‚ΡŒ Π² кассу Π΅Π΅ ΡΡ‚ΠΎΠΈΠΌΠΎΡΡ‚ΡŒ ΠΈ ΠΏΡ€Π΅Π΄ΡŠΡΠ²ΠΈΡ‚ΡŒ Ρ‡Π΅ΠΊ ΠΏΡ€ΠΎΠ΄Π°Π²Ρ†ΡƒΒ».

Π‘ΠΌΠΎΡ‚Ρ€ΠΈΠΌ, Ссли условиС Π  истинно, Ρ‚. Π΅. ΠΏΠΎΠΊΡƒΠΏΠΊΠ° ΠΎΠΏΠ»Π°Ρ‡Π΅Π½Π° ΠΈ Ρ‡Π΅ΠΊ ΠΏΡ€Π΅Π΄ΡŠΡΠ²Π»Π΅Π½, Ρ‚ΠΎ ядро активизируСтся. ΠŸΠΎΠΊΡƒΠΏΠΊΠ° ΡΠΎΠ²Π΅Ρ€ΡˆΠ΅Π½Π°. Π’ случаС Ссли Π² этой ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½ΠΎΠΉ ΠΌΠΎΠ΄Π΅Π»ΠΈ Π·Π½Π°Π½ΠΈΠΉ условиС примСнимости ядра Π»ΠΎΠΆΠ½ΠΎ, Ρ‚. Π΅. Ссли Π½Π΅Ρ‚ Π΄Π΅Π½Π΅Π³, Ρ‚ΠΎ ΠΏΡ€ΠΈΠΌΠ΅Π½ΠΈΡ‚ΡŒ ядро ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½ΠΎΠΉ ΠΌΠΎΠ΄Π΅Π»ΠΈ Π·Π½Π°Π½ΠΈΠΉ Π½Π΅Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎ, ΠΈ ΠΎΠ½ΠΎ Π½Π΅ активизируСтся.

И ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄ΠΈΠΌ, Π½Π°ΠΊΠΎΠ½Π΅Ρ†, ΠΊ элСмСнту N.

Π­Π»Π΅ΠΌΠ΅Π½Ρ‚ N называСтся постусловиСм ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½ΠΎΠΉ ΠΌΠΎΠ΄Π΅Π»ΠΈ Π΄Π°Π½Π½Ρ‹Ρ…. ΠŸΠΎΡΡ‚ΡƒΡΠ»ΠΎΠ²ΠΈΠ΅ Π·Π°Π΄Π°Π΅Ρ‚ дСйствия ΠΈ ΠΏΡ€ΠΎΡ†Π΅Π΄ΡƒΡ€Ρ‹, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎ Π²Ρ‹ΠΏΠΎΠ»Π½ΠΈΡ‚ΡŒ послС Ρ€Π΅Π°Π»ΠΈΠ·Π°Ρ†ΠΈΠΈ ядра ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΈ.

Для Π»ΡƒΡ‡ΡˆΠ΅Π³ΠΎ восприятия ΠΏΡ€ΠΈΠ²Π΅Π΄Π΅ΠΌ простой ΠΏΡ€ΠΈΠΌΠ΅Ρ€: послС ΠΏΠΎΠΊΡƒΠΏΠΊΠΈ Π²Π΅Ρ‰ΠΈ Π² ΠΌΠ°Π³Π°Π·ΠΈΠ½Π΅ Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎ Π² описи Ρ‚ΠΎΠ²Π°Ρ€ΠΎΠ² этого ΠΌΠ°Π³Π°Π·ΠΈΠ½Π° ΡƒΠΌΠ΅Π½ΡŒΡˆΠΈΡ‚ΡŒ Π½Π° Π΅Π΄ΠΈΠ½ΠΈΡ†Ρƒ количСство Π²Π΅Ρ‰Π΅ΠΉ Ρ‚Π°ΠΊΠΎΠ³ΠΎ Ρ‚ΠΈΠΏΠ°, Ρ‚. Π΅. Ссли ΠΏΠΎΠΊΡƒΠΏΠΊΠ° ΡΠΎΠ²Π΅Ρ€ΡˆΠ΅Π½Π° (ΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎ, Ρ€Π΅Π°Π»ΠΈΠ·ΠΎΠ²Π°Π½ΠΎ ядро), Ρ‚ΠΎ Π² ΠΌΠ°Π³Π°Π·ΠΈΠ½Π΅ стало Π½Π° ΠΎΠ΄Π½Ρƒ Π΅Π΄ΠΈΠ½ΠΈΡ†Ρƒ Π΄Π°Π½Π½ΠΎΠ³ΠΎ ΠΊΠΎΠ½ΠΊΡ€Π΅Ρ‚Π½ΠΎΠ³ΠΎ Ρ‚ΠΎΠ²Π°Ρ€Π° мСньшС. ΠžΡ‚ΡΡŽΠ΄Π° постусловиС Β«Π’Ρ‹Ρ‡Π΅Ρ€ΠΊΠ½ΡƒΡ‚ΡŒ Π΅Π΄ΠΈΠ½ΠΈΡ†Ρƒ ΠΊΡƒΠΏΠ»Π΅Π½Π½ΠΎΠ³ΠΎ Ρ‚ΠΎΠ²Π°Ρ€Π°Β».

Подводя ΠΈΡ‚ΠΎΠ³, ΠΌΡ‹ ΠΌΠΎΠΆΠ΅ΠΌ ΡΠΊΠ°Π·Π°Ρ‚ΡŒ, Ρ‡Ρ‚ΠΎ прСдставлСниС Π·Π½Π°Π½ΠΈΠΉ Π² Π²ΠΈΠ΄Π΅ Π½Π°Π±ΠΎΡ€Π° ΠΏΡ€Π°Π²ΠΈΠ», Ρ‚. Π΅. посрСдством использования ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½ΠΎΠΉ ΠΌΠΎΠ΄Π΅Π»ΠΈ Π·Π½Π°Π½ΠΈΠΉ, ΠΈΠΌΠ΅Π΅Ρ‚ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠ΅ прСимущСства:

1) это простота создания ΠΈ понимания ΠΎΡ‚Π΄Π΅Π»ΡŒΠ½Ρ‹Ρ… ΠΏΡ€Π°Π²ΠΈΠ»;

2) это простота ΠΌΠ΅Ρ…Π°Π½ΠΈΠ·ΠΌΠ° логичСского Π²Ρ‹Π±ΠΎΡ€Π°.

Однако Π² прСдставлСнии Π·Π½Π°Π½ΠΈΠΉ Π² Π²ΠΈΠ΄Π΅ Π½Π°Π±ΠΎΡ€Π° ΠΏΡ€Π°Π²ΠΈΠ» ΠΈΠΌΠ΅ΡŽΡ‚ΡΡ ΠΈ нСдостатки, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ всС ΠΆΠ΅ ΠΎΠ³Ρ€Π°Π½ΠΈΡ‡ΠΈΠ²Π°ΡŽΡ‚ сфСру ΠΈ частоту примСнСния ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½Ρ‹Ρ… ΠΌΠΎΠ΄Π΅Π»Π΅ΠΉ Π·Π½Π°Π½ΠΈΠΉ. ΠžΡΠ½ΠΎΠ²Π½Ρ‹ΠΌ Ρ‚Π°ΠΊΠΈΠΌ нСдостатком считаСтся Π½Π΅ΡΡΠ½ΠΎΡΡ‚ΡŒ Π²Π·Π°ΠΈΠΌΠ½Ρ‹Ρ… ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠΉ ΠΌΠ΅ΠΆΠ΄Ρƒ ΡΠΎΡΡ‚Π°Π²Π»ΡΡŽΡ‰ΠΈΠΌΠΈ ΠΊΠΎΠ½ΠΊΡ€Π΅Ρ‚Π½ΡƒΡŽ ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½ΡƒΡŽ модСль Π·Π½Π°Π½ΠΈΠΉ ΠΏΡ€Π°Π²ΠΈΠ»Π°ΠΌΠΈ, Π° Ρ‚Π°ΠΊΠΆΠ΅ ΠΏΡ€Π°Π²ΠΈΠ»Π°ΠΌΠΈ логичСского Π²Ρ‹Π±ΠΎΡ€Π°.

ΠŸΡ€ΠΈΠΌΠ΅Ρ‡Π°Π½ΠΈΡ

1

ΠŸΠΎΠ΄Ρ‡Π΅Ρ€ΠΊΠ½ΡƒΡ‚ΠΎΠΌΡƒ ΡˆΡ€ΠΈΡ„Ρ‚Ρƒ Π² типографском ΠΈΠ·Π΄Π°Π½ΠΈΠΈ ΠΊΠ½ΠΈΠ³ΠΈ соотвСтствуСт ΠΏΠΎΠ»ΡƒΠΆΠΈΡ€Π½Ρ‹ΠΉ курсив Π² Π΄Π°Π½Π½ΠΎΠΉ (элСктронной) вСрсии ΠΊΠ½ΠΈΠ³ΠΈ. (ΠŸΡ€ΠΈΠΌ. эл. Ρ€Π΅Π΄)