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

РСализация ΠΌΠΎΠ΄Π΅Π»ΠΈ Π²Ρ‹Π±ΠΎΡ€Π° состава PC

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

ΠŸΠ°Ρ€Π°Π»Π»Π΅Π»ΡŒΠ½ΠΎ с Ρ€Π°Π·Π²ΠΈΡ‚ΠΈΠ΅ΠΌ структуры Π­Π’Πœ происходило Ρ€Π°Π·Π²ΠΈΡ‚ΠΈΠ΅ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΎΠ½Π½Ρ‹Ρ… структур для прСдставлСния Π΄Π°Π½Π½Ρ‹Ρ…. Появились способы описания Π΄Π°Π½Π½Ρ‹Ρ… Π² Π²ΠΈΠ΄Π΅ Π²Π΅ΠΊΡ‚ΠΎΡ€ΠΎΠ² ΠΈ ΠΌΠ°Ρ‚Ρ€ΠΈΡ†, Π²ΠΎΠ·Π½ΠΈΠΊΠ»ΠΈ списочныС структуры, иСрархичСскиС структуры. Π’ Π½Π°ΡΡ‚оящСС врСмя Π² ΡΠ·Ρ‹ΠΊΠ°Ρ… программирования высокого уровня ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡŽΡ‚ΡΡ абстрактныС Ρ‚ΠΈΠΏΡ‹ Π΄Π°Π½Π½Ρ‹Ρ…, структура ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… задаСтся программистом. ПоявлСниС Π±Π°Π· Π΄Π°Π½Π½Ρ‹Ρ… (Π‘Π”… Π§ΠΈΡ‚Π°Ρ‚ΡŒ Π΅Ρ‰Ρ‘ >

РСализация ΠΌΠΎΠ΄Π΅Π»ΠΈ Π²Ρ‹Π±ΠΎΡ€Π° состава PC (Ρ€Π΅Ρ„Π΅Ρ€Π°Ρ‚, курсовая, Π΄ΠΈΠΏΠ»ΠΎΠΌ, ΠΊΠΎΠ½Ρ‚Ρ€ΠΎΠ»ΡŒΠ½Π°Ρ)

ΠšΡƒΡ€ΡΠΎΠ²Π°Ρ Ρ€Π°Π±ΠΎΡ‚Π°

РСализация ΠΌΠΎΠ΄Π΅Π»ΠΈ Π²Ρ‹Π±ΠΎΡ€Π° состава PC

интСрфСйс экспСртный ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΠ° Π°Π»Π³ΠΎΡ€ΠΈΡ‚ΠΌ Π’ Π½Π°ΡΡ‚оящСС врСмя ΠΊΠΎΠΌΠΏΡŒΡŽΡ‚Π΅Ρ€Ρ‹ Π½Π°ΡΡ‚ΠΎΠ»ΡŒΠΊΠΎ Π³Π»ΡƒΠ±ΠΎΠΊΠΎ вошли Π² Π½Π°ΡˆΡƒ Тизнь, Ρ‡Ρ‚ΠΎ ΠΌΠ½ΠΎΠ³ΠΈΠ΅ люди ΡΡ‡ΠΈΡ‚Π°ΡŽΡ‚ ΠΊΠΎΠΌΠΏΡŒΡŽΡ‚Π΅Ρ€ Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΡ‹ΠΌ Π±Ρ‹Ρ‚ΠΎΠ²Ρ‹ΠΌ ΠΏΡ€ΠΈΠ±ΠΎΡ€ΠΎΠΌ. БСйчас Ρ‚Ρ€ΡƒΠ΄Π½ΠΎ Π½Π°ΠΉΡ‚ΠΈ ΠΎΠ±Π»Π°ΡΡ‚ΡŒ чСловСчСской Π΄Π΅ΡΡ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΠΈ, Π³Π΄Π΅ Π±Ρ‹ Π½Π΅ ΠΏΡ€ΠΈΠΌΠ΅Π½ΡΠ»ΠΈΡΡŒ эти устройства.

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

ΠšΡƒΡ€ΡΠΎΠ²Π°Ρ Ρ€Π°Π±ΠΎΡ‚Π° состоит ΠΈΠ· 2 Π³Π»Π°Π². ΠŸΠ΅Ρ€Π²Π°Ρ Π³Π»Π°Π²Π° Π΄Π°Π΅Ρ‚ ΠΎΠ±Ρ‰ΠΈΠ΅ прСдставлСния ΠΎΠ± ΠΈΡΠΊΡƒΡΡΡ‚Π²Π΅Π½Π½ΠΎΠΌ ΠΈΠ½Ρ‚Π΅Π»Π»Π΅ΠΊΡ‚Π΅, Π° Π²Ρ‚орая — описаниС создания ΠΈ Ρ€Π°Π±ΠΎΡ‚Ρ‹ ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΡ‹. Π’ ΠΏΡ€ΠΈΠ»ΠΎΠΆΠ΅Π½ΠΈΠΈ ΠΏΡ€ΠΈΠ²Π΅Π΄Π΅Π½ тСкст ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΡ‹. Данная курсовая Ρ€Π°Π±ΠΎΡ‚Π° написана Π½Π° ΡΠ·Ρ‹ΠΊΠ΅ Visual Prolog v. 7.4.

Π—Π°Π΄Π°Π½ΠΈΠ΅ Π½Π° ΠΊΡƒΡ€ΡΠΎΠ²ΡƒΡŽ Ρ€Π°Π±ΠΎΡ‚Ρƒ

Π Π°Π·Ρ€Π°Π±ΠΎΡ‚ΠΊΠ° Ρ„Ρ€Π΅ΠΉΠΌΠΎΠ²ΠΎΠΉ ΠΌΠΎΠ΄Π΅Π»ΠΈ Π²Ρ‹Π±ΠΎΡ€Π° состава ΠŸΠš. Π‘ΠΎΠ·Π΄Π°Ρ‚ΡŒ ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΡƒ ΠΈ Ρ€Π΅Π°Π»ΠΈΠ·ΠΎΠ²Π°Ρ‚ΡŒ Π² Π½Π΅ΠΉ ΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΡΠΊΠΈΠΉ интСрфСйс, ΠΏΠΎΠ·Π²ΠΎΠ»ΡΡŽΡ‰ΠΈΠΉ ΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚Π΅Π»ΡŽ Π²Ρ‹Π±Ρ€Π°Ρ‚ΡŒ ΠΊΠΎΠ½Ρ„ΠΈΠ³ΡƒΡ€Π°Ρ†ΠΈΡŽ ΠΊΠΎΠΌΠΏΡŒΡŽΡ‚Π΅Ρ€Π° ΠΈ ΠΏΠΎΡΡ‡ΠΈΡ‚Π°Ρ‚ΡŒ Π΅Π³ΠΎ ΡΡ‚ΠΎΠΈΠΌΠΎΡΡ‚ΡŒ.

1. ΠŸΠΎΡΡ‚Π°Π½ΠΎΠ²ΠΊΠ° Π·Π°Π΄Π°Ρ‡ΠΈ

1.1 ΠŸΠΎΠ½ΡΡ‚ΠΈΠ΅ ΠΎΠ± ΡΠΊΡΠΏΠ΅Ρ€Ρ‚Π½ΠΎΠΉ систСмС

ЭкспСртная систСма — это систСма, Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΎΠ½ΠΈΡ€ΠΎΠ²Π°Π½ΠΈΠ΅ ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΉ опираСтся Π½Π° Π·Π½Π°Π½ΠΈΡ ΠΎ ΠΏΡ€ΠΎΠ±Π»Π΅ΠΌΠ½ΠΎΠΉ области, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ хранятся Π² Π΅Π΅ ΠΏΠ°ΠΌΡΡ‚ΠΈ. ΠŸΠΎΡΡ‚ΠΎΠΌΡƒ ΠΏΡ€ΠΎΠ±Π»Π΅ΠΌΠ° прСдставлСния Π·Π½Π°Π½ΠΈΠΉ для Π­Π‘ являСтся Ρ†Π΅Π½Ρ‚Ρ€Π°Π»ΡŒΠ½ΠΎΠΉ.

Под «ΠΏΡ€Π΅Π΄ΡΡ‚Π°Π²Π»Π΅Π½ΠΈΠ΅ΠΌ Π·Π½Π°Π½ΠΈΠΉ» понимаСтся формализация ΠΈ ΠΏΡ€Π΅Π΄ΡΡ‚Π°Π²Π»Π΅Π½ΠΈΠ΅ Π·Π½Π°Π½ΠΈΠΉ Π² ΠΏΠ°ΠΌΡΡ‚ΠΈ ΠΈΠ½Ρ‚Π΅Π»Π»Π΅ΠΊΡ‚ΡƒΠ°Π»ΡŒΠ½ΠΎΠΉ систСмы (Π­Π‘).Для этого Ρ€Π°Π·Ρ€Π°Π±Π°Ρ‚Ρ‹Π²Π°ΡŽΡ‚ΡΡ ΡΠΏΠ΅Ρ†ΠΈΠ°Π»ΡŒΠ½Ρ‹Π΅ ΠΌΠΎΠ΄Π΅Π»ΠΈ прСдставлСния Π·Π½Π°Π½ΠΈΠΉ ΠΈ ΡΠ·Ρ‹ΠΊΠΈ для описания Π·Π½Π°Π½ΠΈΠΉ, Π²Ρ‹Π΄Π΅Π»ΡΡŽΡ‚ΡΡ Ρ€Π°Π·Π»ΠΈΡ‡Π½Ρ‹Π΅ Ρ‚ΠΈΠΏΡ‹ Π·Π½Π°Π½ΠΈΠΉ, ΠΈΠ·ΡƒΡ‡Π°ΡŽΡ‚ΡΡ источники, ΠΈΠ· ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… Π­Π‘ ΠΌΠΎΠΆΠ΅Ρ‚ Ρ‡Π΅Ρ€ΠΏΠ°Ρ‚ΡŒ знания, ΠΈ ΡΠΎΠ·Π΄Π°ΡŽΡ‚ся ΠΏΡ€ΠΎΡ†Π΅Π΄ΡƒΡ€Ρ‹ ΠΈ ΠΏΡ€ΠΈΠ΅ΠΌΡ‹, с ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎ ΠΏΡ€ΠΈΠΎΠ±Ρ€Π΅Ρ‚Π΅Π½ΠΈΠ΅ Π·Π½Π°Π½ΠΈΠΉ для Π­Π‘.

1.2 НазначСниС экспСртных систСм

Π’ Π½Π°Ρ‡Π°Π»Π΅ Π²ΠΎΡΡŒΠΌΠΈΠ΄Π΅ΡΡΡ‚Ρ‹Ρ… Π³ΠΎΠ΄ΠΎΠ² Π² ΠΈΡΡΠ»Π΅Π΄ΠΎΠ²Π°Π½ΠΈΡΡ… ΠΏΠΎ ΠΈΡΠΊΡƒΡΡΡ‚Π²Π΅Π½Π½ΠΎΠΌΡƒ ΠΈΠ½Ρ‚Π΅Π»Π»Π΅ΠΊΡ‚Ρƒ ΡΡ„ΠΎΡ€ΠΌΠΈΡ€ΠΎΠ²Π°Π»ΠΎΡΡŒ ΡΠ°ΠΌΠΎΡΡ‚ΠΎΡΡ‚Π΅Π»ΡŒΠ½ΠΎΠ΅ Π½Π°ΠΏΡ€Π°Π²Π»Π΅Π½ΠΈΠ΅, ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠ²ΡˆΠ΅Π΅ Π½Π°Π·Π²Π°Π½ΠΈΠ΅ «ΡΠΊΡΠΏΠ΅Ρ€Ρ‚Π½Ρ‹Π΅ систСмы» (Π­Π‘). ЦСль исслСдований ΠΏΠΎ Π­Π‘ состоит Π² Ρ€Π°Π·Ρ€Π°Π±ΠΎΡ‚ΠΊΠ΅ ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌ, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ ΠΏΡ€ΠΈ Ρ€Π΅ΡˆΠ΅Π½ΠΈΠΈ Π·Π°Π΄Π°Ρ‡, Ρ‚Ρ€ΡƒΠ΄Π½Ρ‹Ρ… для экспСрта-Ρ‡Π΅Π»ΠΎΠ²Π΅ΠΊΠ°, ΠΏΠΎΠ»ΡƒΡ‡Π°ΡŽΡ‚ Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚Ρ‹, Π½Π΅ ΡƒΡΡ‚ΡƒΠΏΠ°ΡŽΡ‰ΠΈΠ΅ ΠΏΠΎ ΠΊΠ°Ρ‡Π΅ΡΡ‚Π²Ρƒ ΠΈ ΡΡ„фСктивности Ρ€Π΅ΡˆΠ΅Π½ΠΈΡΠΌ, ΠΏΠΎΠ»ΡƒΡ‡Π°Π΅ΠΌΡ‹ΠΌ экспСртом. Π˜ΡΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΠΈ Π² ΠΎΠ±Π»Π°ΡΡ‚ΠΈ Π­Π‘ для названия своСй дисциплины часто ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡŽΡ‚ Ρ‚Π°ΠΊΠΆΠ΅ Ρ‚Π΅Ρ€ΠΌΠΈΠ½ «ΠΈΠ½ΠΆΠ΅Π½Π΅Ρ€ΠΈΡ Π·Π½Π°Π½ΠΈΠΉ», Π²Π²Π΅Π΄Π΅Π½Π½Ρ‹ΠΉ Π•. Π€Π΅ΠΉΠ³Π΅Π½Π±Π°ΡƒΠΌΠΎΠΌ ΠΊΠ°ΠΊ «ΠΏΡ€ΠΈΠ²Π½Π΅ΡΠ΅Π½ΠΈΠ΅ ΠΏΡ€ΠΈΠ½Ρ†ΠΈΠΏΠΎΠ² ΠΈ ΠΈΠ½ΡΡ‚румСнтария исслСдований ΠΈΠ· ΠΎΠ±Π»Π°ΡΡ‚ΠΈ искусствСнного ΠΈΠ½Ρ‚Π΅Π»Π»Π΅ΠΊΡ‚Π° Π² Ρ€Π΅ΡˆΠ΅Π½ΠΈΠ΅ Ρ‚Ρ€ΡƒΠ΄Π½Ρ‹Ρ… ΠΏΡ€ΠΈΠΊΠ»Π°Π΄Π½Ρ‹Ρ… ΠΏΡ€ΠΎΠ±Π»Π΅ΠΌ, Ρ‚Ρ€Π΅Π±ΡƒΡŽΡ‰ΠΈΡ… Π·Π½Π°Π½ΠΈΠΉ экспСртов».

ΠŸΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΠ½Ρ‹Π΅ срСдства (ПБ), Π±Π°Π·ΠΈΡ€ΡƒΡŽΡ‰ΠΈΠ΅ΡΡ Π½Π° Ρ‚Π΅Ρ…Π½ΠΎΠ»ΠΎΠ³ΠΈΠΈ экспСртных систСм, ΠΈΠ»ΠΈ ΠΈΠ½ΠΆΠ΅Π½Π΅Ρ€ΠΈΠΈ Π·Π½Π°Π½ΠΈΠΉ (Π² Π΄Π°Π»ΡŒΠ½Π΅ΠΉΡˆΠ΅ΠΌ Π±ΡƒΠ΄Π΅ΠΌ ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚ΡŒ ΠΈΡ… ΠΊΠ°ΠΊ синонимы), ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠ»ΠΈ Π·Π½Π°Ρ‡ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎΠ΅ распространСниС Π² ΠΌΠΈΡ€Π΅.

ΠžΡΠ½ΠΎΠ²Π½Ρ‹Π΅ особСнности БИИ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠ΅: ΠΈΠ½Ρ‚Π΅Π³Ρ€ΠΈΡ€ΠΎΠ²Π°Π½Π½ΠΎΡΡ‚ΡŒ, ΠΎΡ‚ΠΊΡ€Ρ‹Ρ‚ΠΎΡΡ‚ΡŒ ΠΈ ΠΏΠ΅Ρ€Π΅Π½ΠΎΡΠΈΠΌΠΎΡΡ‚ΡŒ, использованиС языков Ρ‚Ρ€Π°Π΄ΠΈΡ†ΠΈΠΎΠ½Π½ΠΎΠ³ΠΎ программирования ΠΈ Ρ€Π°Π±ΠΎΡ‡ΠΈΡ… станций, Π°Ρ€Ρ…ΠΈΡ‚Π΅ΠΊΡ‚ΡƒΡ€Π° ΠΊΠ»ΠΈΠ΅Π½Ρ‚-сСрвСр, ΠΏΡ€ΠΎΠ±Π»Π΅ΠΌΠ½ΠΎ / ΠΏΡ€Π΅Π΄ΠΌΠ΅Ρ‚Π½ΠΎ-ΠΎΡ€ΠΈΠ΅Π½Ρ‚ΠΈΡ€ΠΎΠ²Π°Π½Π½Ρ‹Π΅ Π˜Π‘ ИИ.

1.3 Π‘Ρ‚Ρ€ΡƒΠΊΡ‚ΡƒΡ€Π° экспСртных систСм

Випичная статичСская Π­Π‘ состоит ΠΈΠ· ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΡ… основных ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚ΠΎΠ²: Ρ€Π΅ΡˆΠ°Ρ‚Π΅Π»Ρ (ΠΈΠ½Ρ‚Π΅Ρ€ΠΏΡ€Π΅Ρ‚Π°Ρ‚ΠΎΡ€Π°), Ρ€Π°Π±ΠΎΡ‡Π΅ΠΉ памяти (РП), Π½Π°Π·Ρ‹Π²Π°Π΅ΠΌΠΎΠΉ Ρ‚Π°ΠΊΠΆΠ΅ Π±Π°Π·ΠΎΠΉ Π΄Π°Π½Π½Ρ‹Ρ… (Π‘Π”), Π±Π°Π·Ρ‹ Π·Π½Π°Π½ΠΈΠΉ (Π‘Π—), ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚ΠΎΠ² приобрСтСния Π·Π½Π°Π½ΠΈΠΉ, ΠΎΠ±ΡŠΡΡΠ½ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎΠ³ΠΎ ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚Π°, Π΄ΠΈΠ°Π»ΠΎΠ³ΠΎΠ²ΠΎΠ³ΠΎ ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚Π°.

Π Π΅ΡˆΠ°Ρ‚Π΅Π»ΡŒ, ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡ исходныС Π΄Π°Π½Π½Ρ‹Π΅ ΠΈΠ· Ρ€Π°Π±ΠΎΡ‡Π΅ΠΉ памяти ΠΈ Π·Π½Π°Π½ΠΈΡ ΠΈΠ· Π‘Π—, Ρ„ΠΎΡ€ΠΌΠΈΡ€ΡƒΠ΅Ρ‚ Ρ‚Π°ΠΊΡƒΡŽ ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΡŒ ΠΏΡ€Π°Π²ΠΈΠ», ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅, Π±ΡƒΠ΄ΡƒΡ‡ΠΈ ΠΏΡ€ΠΈΠΌΠ΅Π½Π΅Π½Π½Ρ‹ΠΌΠΈ ΠΊ ΠΈΡΡ…ΠΎΠ΄Π½Ρ‹ΠΌ Π΄Π°Π½Π½Ρ‹ΠΌ, приводят ΠΊ Ρ€Π΅ΡˆΠ΅Π½ΠΈΡŽ Π·Π°Π΄Π°Ρ‡ΠΈ.

Π‘Π°Π·Π° Π΄Π°Π½Π½Ρ‹Ρ… (рабочая ΠΏΠ°ΠΌΡΡ‚ΡŒ) ΠΏΡ€Π΅Π΄Π½Π°Π·Π½Π°Ρ‡Π΅Π½Π° для хранСния исходных ΠΈ ΠΏΡ€ΠΎΠΌΠ΅ΠΆΡƒΡ‚ΠΎΡ‡Π½Ρ‹Ρ… Π΄Π°Π½Π½Ρ‹Ρ… Ρ€Π΅ΡˆΠ°Π΅ΠΌΠΎΠΉ Π² Ρ‚Π΅ΠΊΡƒΡ‰ΠΈΠΉ ΠΌΠΎΠΌΠ΅Π½Ρ‚ Π·Π°Π΄Π°Ρ‡ΠΈ.

Π‘Π°Π·Π° Π·Π½Π°Π½ΠΈΠΉ (Π‘Π—) Π² Π­Π‘ ΠΏΡ€Π΅Π΄Π½Π°Π·Π½Π°Ρ‡Π΅Π½Π° для хранСния долгосрочных Π΄Π°Π½Π½Ρ‹Ρ…, ΠΎΠΏΠΈΡΡ‹Π²Π°ΡŽΡ‰ΠΈΡ… Ρ€Π°ΡΡΠΌΠ°Ρ‚Ρ€ΠΈΠ²Π°Π΅ΠΌΡƒΡŽ ΠΎΠ±Π»Π°ΡΡ‚ΡŒ (Π° Π½Π΅ Ρ‚Π΅ΠΊΡƒΡ‰ΠΈΡ… Π΄Π°Π½Π½Ρ‹Ρ…), ΠΈ ΠΏΡ€Π°Π²ΠΈΠ», ΠΎΠΏΠΈΡΡ‹Π²Π°ΡŽΡ‰ΠΈΡ… цСлСсообразныС прСобразования Π΄Π°Π½Π½Ρ‹Ρ… этой области.

ΠšΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚ приобрСтСния Π·Π½Π°Π½ΠΈΠΉ Π°Π²Ρ‚ΠΎΠΌΠ°Ρ‚ΠΈΠ·ΠΈΡ€ΡƒΠ΅Ρ‚ процСсс наполнСния Π­Π‘ знаниями, осущСствляСмый ΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚Π΅Π»Π΅ΠΌ-экспСртом.

ΠžΠ±ΡŠΡΡΠ½ΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹ΠΉ ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚ ΠΎΠ±ΡŠΡΡΠ½ΡΠ΅Ρ‚, ΠΊΠ°ΠΊ систСма ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠ»Π° Ρ€Π΅ΡˆΠ΅Π½ΠΈΠ΅ Π·Π°Π΄Π°Ρ‡ΠΈ (ΠΈΠ»ΠΈ ΠΏΠΎΡ‡Π΅ΠΌΡƒ ΠΎΠ½Π° Π½Π΅ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠ»Π° Ρ€Π΅ΡˆΠ΅Π½ΠΈΠ΅) ΠΈ ΠΊΠ°ΠΊΠΈΠ΅ знания ΠΎΠ½Π° ΠΏΡ€ΠΈ этом использовала, Ρ‡Ρ‚ΠΎ ΠΎΠ±Π»Π΅Π³Ρ‡Π°Π΅Ρ‚ экспСрту тСстированиС систСмы ΠΈ ΠΏΠΎΠ²Ρ‹ΡˆΠ°Π΅Ρ‚ Π΄ΠΎΠ²Π΅Ρ€ΠΈΠ΅ ΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚Π΅Π»Ρ ΠΊ ΠΏΠΎΠ»ΡƒΡ‡Π΅Π½Π½ΠΎΠΌΡƒ Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚Ρƒ.

Π”ΠΈΠ°Π»ΠΎΠ³ΠΎΠ²Ρ‹ΠΉ ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚ ΠΎΡ€ΠΈΠ΅Π½Ρ‚ΠΈΡ€ΠΎΠ²Π°Π½ Π½Π° ΠΎΡ€Π³Π°Π½ΠΈΠ·Π°Ρ†ΠΈΡŽ друТСствСнного общСния с ΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚Π΅Π»Π΅ΠΌ ΠΊΠ°ΠΊ Π² Ρ…ΠΎΠ΄Π΅ Ρ€Π΅ΡˆΠ΅Π½ΠΈΡ Π·Π°Π΄Π°Ρ‡, Ρ‚Π°ΠΊ ΠΈ Π² ΠΏΡ€ΠΎΡ†Π΅ΡΡΠ΅ приобрСтСния Π·Π½Π°Π½ΠΈΠΉ ΠΈ ΠΎΠ±ΡŠΡΡΠ½Π΅Π½ΠΈΡ Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚ΠΎΠ² Ρ€Π°Π±ΠΎΡ‚Ρ‹. ЭкспСртная систСма Ρ€Π°Π±ΠΎΡ‚Π°Π΅Ρ‚ Π² Π΄Π²ΡƒΡ… Ρ€Π΅ΠΆΠΈΠΌΠ°Ρ…: Ρ€Π΅ΠΆΠΈΠΌΠ΅ приобрСтСния Π·Π½Π°Π½ΠΈΠΉ ΠΈ Π² Ρ€Π΅ΠΆΠΈΠΌΠ΅ Ρ€Π΅ΡˆΠ΅Π½ΠΈΡ Π·Π°Π΄Π°Ρ‡ΠΈ (Π½Π°Π·Ρ‹Π²Π°Π΅ΠΌΠΎΠΌ Ρ‚Π°ΠΊΠΆΠ΅ Ρ€Π΅ΠΆΠΈΠΌΠΎΠΌ ΠΊΠΎΠ½ΡΡƒΠ»ΡŒΡ‚Π°Ρ†ΠΈΠΈ ΠΈΠ»ΠΈ Ρ€Π΅ΠΆΠΈΠΌΠΎΠΌ использования Π­Π‘).

1.4 Π‘Π°Π·Ρ‹ Π”Π°Π½Π½Ρ‹Ρ… — Π‘Π°Π·Ρ‹ Π—Π½Π°Π½ΠΈΠΉ

ΠŸΠ°Ρ€Π°Π»Π»Π΅Π»ΡŒΠ½ΠΎ с Ρ€Π°Π·Π²ΠΈΡ‚ΠΈΠ΅ΠΌ структуры Π­Π’Πœ происходило Ρ€Π°Π·Π²ΠΈΡ‚ΠΈΠ΅ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΎΠ½Π½Ρ‹Ρ… структур для прСдставлСния Π΄Π°Π½Π½Ρ‹Ρ…. Появились способы описания Π΄Π°Π½Π½Ρ‹Ρ… Π² Π²ΠΈΠ΄Π΅ Π²Π΅ΠΊΡ‚ΠΎΡ€ΠΎΠ² ΠΈ ΠΌΠ°Ρ‚Ρ€ΠΈΡ†, Π²ΠΎΠ·Π½ΠΈΠΊΠ»ΠΈ списочныС структуры, иСрархичСскиС структуры. Π’ Π½Π°ΡΡ‚оящСС врСмя Π² ΡΠ·Ρ‹ΠΊΠ°Ρ… программирования высокого уровня ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡŽΡ‚ΡΡ абстрактныС Ρ‚ΠΈΠΏΡ‹ Π΄Π°Π½Π½Ρ‹Ρ…, структура ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… задаСтся программистом. ПоявлСниС Π±Π°Π· Π΄Π°Π½Π½Ρ‹Ρ… (Π‘Π”) Π·Π½Π°ΠΌΠ΅Π½ΠΎΠ²Π°Π»ΠΎ собой Π΅Ρ‰Π΅ ΠΎΠ΄ΠΈΠ½ шаг Π½Π° ΠΏΡƒΡ‚ΠΈ ΠΎΡ€Π³Π°Π½ΠΈΠ·Π°Ρ†ΠΈΠΈ Ρ€Π°Π±ΠΎΡ‚Ρ‹ с Π΄Π΅ΠΊΠ»Π°Ρ€Π°Ρ‚ΠΈΠ²Π½ΠΎΠΉ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠ΅ΠΉ. Π’ Π±Π°Π·Π°Ρ… Π΄Π°Π½Π½Ρ‹Ρ… ΠΌΠΎΠ³ΡƒΡ‚ ΠΎΠ΄Π½ΠΎΠ²Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎ Ρ…Ρ€Π°Π½ΠΈΡ‚ΡŒΡΡ большиС ΠΎΠ±ΡŠΠ΅ΠΌΡ‹ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΈ, Π° ΡΠΏΠ΅Ρ†ΠΈΠ°Π»ΡŒΠ½Ρ‹Π΅ срСдства, ΠΎΠ±Ρ€Π°Π·ΡƒΡŽΡ‰ΠΈΠ΅ систСму управлСния Π±Π°Π·Π°ΠΌΠΈ Π΄Π°Π½Π½Ρ‹Ρ… (Π‘Π£Π‘Π”), ΠΏΠΎΠ·Π²ΠΎΠ»ΡΡŽΡ‚ эффСктивно ΠΌΠ°Π½ΠΈΠΏΡƒΠ»ΠΈΡ€ΠΎΠ²Π°Ρ‚ΡŒ с Π΄Π°Π½Π½Ρ‹ΠΌΠΈ, ΠΏΡ€ΠΈ нСобходимости ΠΈΠ·Π²Π»Π΅ΠΊΠ°Ρ‚ΡŒ ΠΈΡ… ΠΈΠ· Π±Π°Π·Ρ‹ Π΄Π°Π½Π½Ρ‹Ρ… ΠΈ Π·Π°ΠΏΠΈΡΡ‹Π²Π°Ρ‚ΡŒ ΠΈΡ… Π² Π½ΡƒΠΆΠ½ΠΎΠΌ порядкС Π² Π±Π°Π·Ρƒ.

По ΠΌΠ΅Ρ€Π΅ развития исслСдований Π² ΠΎΠ±Π»Π°ΡΡ‚ΠΈ Π˜Π‘ Π²ΠΎΠ·Π½ΠΈΠΊΠ»Π° концСпция Π·Π½Π°Π½ΠΈΠΉ, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ объСдинили Π² ΡΠ΅Π±Π΅ ΠΌΠ½ΠΎΠ³ΠΈΠ΅ Ρ‡Π΅Ρ€Ρ‚Ρ‹ ΠΏΡ€ΠΎΡ†Π΅Π΄ΡƒΡ€Π½ΠΎΠΉ ΠΈ Π΄Π΅ΠΊΠ»Π°Ρ€Π°Ρ‚ΠΈΠ²Π½ΠΎΠΉ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΈ.

Π’ Π­Π’Πœ знания Ρ‚Π°ΠΊ ΠΆΠ΅, ΠΊΠ°ΠΊ ΠΈ Π΄Π°Π½Π½Ρ‹Π΅, ΠΎΡ‚ΠΎΠ±Ρ€Π°ΠΆΠ°ΡŽΡ‚ΡΡ Π² Π·Π½Π°ΠΊΠΎΠ²ΠΎΠΉ Ρ„ΠΎΡ€ΠΌΠ΅ — Π² Π²ΠΈΠ΄Π΅ Ρ„ΠΎΡ€ΠΌΡƒΠ», тСкста, Ρ„Π°ΠΉΠ»ΠΎΠ², ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΎΠ½Π½Ρ‹Ρ… массивов ΠΈ Ρ‚. ΠΏ. Π’Π°ΠΊΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ, знания (Π² ΡƒΠ·ΠΊΠΎΠΌ смыслС) — это особым ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ ΠΎΡ€Π³Π°Π½ΠΈΠ·ΠΎΠ²Π°Π½Π½Ρ‹Π΅ Π΄Π°Π½Π½Ρ‹Π΅. А ΠΌΠ΅ΠΆΠ΄Ρƒ Ρ‚Π΅ΠΌ, Π² ΡΠΈΡΡ‚Π΅ΠΌΠ°Ρ… Π˜Π˜ знания ΡΠ²Π»ΡΡŽΡ‚ΡΡ основным ΠΎΠ±ΡŠΠ΅ΠΊΡ‚ΠΎΠΌ формирования, ΠΎΠ±Ρ€Π°Π±ΠΎΡ‚ΠΊΠΈ ΠΈ ΠΈΡΡΠ»Π΅Π΄ΠΎΠ²Π°Π½ΠΈΡ. Π‘Π°Π·Π° Π·Π½Π°Π½ΠΈΠΉ, ΠΊΠ°ΠΊ ΠΈ Π±Π°Π·Π° Π΄Π°Π½Π½Ρ‹Ρ…, — нСобходимая ΡΠΎΡΡ‚Π°Π²Π»ΡΡŽΡ‰Π°Ρ ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΠ½ΠΎΠ³ΠΎ комплСкса Π˜Π˜. ΠœΠ°ΡˆΠΈΠ½Ρ‹, Ρ€Π΅Π°Π»ΠΈΠ·ΡƒΡŽΡ‰ΠΈΠ΅ Π°Π»Π³ΠΎΡ€ΠΈΡ‚ΠΌΡ‹ ИИ, Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ΡΡ машинами, основанными Π½Π° Π·Π½Π°Π½ΠΈΡΡ…, Π° ΠΏΠΎΠ΄Ρ€Π°Π·Π΄Π΅Π» Ρ‚Π΅ΠΎΡ€ΠΈΠΈ ИИ, связанный с ΠΏΠΎΡΡ‚Ρ€ΠΎΠ΅Π½ΠΈΠ΅ΠΌ экспСртных систСм, — ΠΈΠ½ΠΆΠ΅Π½Π΅Ρ€ΠΈΠ΅ΠΉ Π·Π½Π°Π½ΠΈΠΉ.

1.5 ΠžΡΠΎΠ±Π΅Π½Π½ΠΎΡΡ‚ΠΈ Π·Π½Π°Π½ΠΈΠΉ

ΠŸΡ€ΠΎΠ±Π»Π΅ΠΌΡ‹ прСдставлСния Π·Π½Π°Π½ΠΈΠΉ связаны Π² Π·Π½Π°Ρ‡ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎΠΉ стСпСни с Ρ€Π°Π·Ρ€Π°Π±ΠΎΡ‚ΠΊΠΎΠΉ ΡΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΡƒΡŽΡ‰ΠΈΡ… языков ΠΈ ΠΌΠΎΠ΄Π΅Π»Π΅ΠΉ.

1. ВнутрСнняя ΠΈΠ½Ρ‚Π΅Ρ€ΠΏΡ€Π΅Ρ‚ΠΈΡ€ΡƒΠ΅ΠΌΠΎΡΡ‚ΡŒ. КаТдая информационная Π΅Π΄ΠΈΠ½ΠΈΡ†Π° Π΄ΠΎΠ»ΠΆΠ½Π° ΠΈΠΌΠ΅Ρ‚ΡŒ ΡƒΠ½ΠΈΠΊΠ°Π»ΡŒΠ½ΠΎΠ΅ имя, ΠΏΠΎ ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΌΡƒ Π˜Π‘ Π½Π°Ρ…ΠΎΠ΄ΠΈΡ‚ Π΅Π΅, Π° Ρ‚Π°ΠΊΠΆΠ΅ ΠΎΡ‚Π²Π΅Ρ‡Π°Π΅Ρ‚ Π½Π° Π·Π°ΠΏΡ€ΠΎΡΡ‹, Π² ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… это имя упомянуто. Π”Π°Π½Π½Ρ‹Π΅ ΠΌΠΎΠ³Π»Π° ΠΈΠ΄Π΅Π½Ρ‚ΠΈΡ„ΠΈΡ†ΠΈΡ€ΠΎΠ²Π°Ρ‚ΡŒ лишь ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΠ°, ΠΈΠ·Π²Π»Π΅ΠΊΠ°ΡŽΡ‰Π°Ρ ΠΈΡ… ΠΈΠ· ΠΏΠ°ΠΌΡΡ‚ΠΈ ΠΏΠΎ ΡƒΠΊΠ°Π·Π°Π½ΠΈΡŽ программиста, написавшСго ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΡƒ. Π§Ρ‚ΠΎ скрываСтся Π·Π° Ρ‚Π΅ΠΌ ΠΈΠ»ΠΈ ΠΈΠ½Ρ‹ΠΌ Π΄Π²ΠΎΠΈΡ‡Π½Ρ‹ΠΌ ΠΊΠΎΠ΄ΠΎΠΌ машинного слова, систСмС Π±Ρ‹Π»ΠΎ нСизвСстно.

2. Π‘Ρ‚Ρ€ΡƒΠΊΡ‚ΡƒΡ€ΠΈΡ€ΠΎΠ²Π°Π½Π½ΠΎΡΡ‚ΡŒ. Π˜Π½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΎΠ½Π½Ρ‹Π΅ Π΅Π΄ΠΈΠ½ΠΈΡ†Ρ‹ Π΄ΠΎΠ»ΠΆΠ½Ρ‹ ΠΎΠ±Π»Π°Π΄Π°Ρ‚ΡŒ Π³ΠΈΠ±ΠΊΠΎΠΉ структурой, Ρ‚. Π΅. рСкурсивная Π²Π»ΠΎΠΆΠΈΠΌΠΎΡΡ‚ΡŒ ΠΎΠ΄Π½ΠΈΡ… ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΎΠ½Π½Ρ‹Ρ… Π΅Π΄ΠΈΠ½ΠΈΡ† Π² Π΄Ρ€ΡƒΠ³ΠΈΠ΅. КаТдая информационная Π΅Π΄ΠΈΠ½ΠΈΡ†Π° ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ Π²ΠΊΠ»ΡŽΡ‡Π΅Π½Π° Π² ΡΠΎΡΡ‚Π°Π² любой Π΄Ρ€ΡƒΠ³ΠΎΠΉ, ΠΈ ΠΈΠ· ΠΊΠ°ΠΆΠ΄ΠΎΠΉ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΎΠ½Π½ΠΎΠΉ Π΅Π΄ΠΈΠ½ΠΈΡ†Ρ‹ ΠΌΠΎΠΆΠ½ΠΎ Π²Ρ‹Π΄Π΅Π»ΠΈΡ‚ΡŒ Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ ΡΠΎΡΡ‚Π°Π²Π»ΡΡŽΡ‰ΠΈΠ΅ Π΅Π΅ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΎΠ½Π½Ρ‹Π΅ Π΅Π΄ΠΈΠ½ΠΈΡ†Ρ‹. Π˜Π½Π°Ρ‡Π΅, Π΄ΠΎΠ»ΠΆΠ½Π° ΡΡƒΡ‰Π΅ΡΡ‚Π²ΠΎΠ²Π°Ρ‚ΡŒ Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΡΡ‚ΡŒ ΠΏΡ€ΠΎΠΈΠ·Π²ΠΎΠ»ΡŒΠ½ΠΎΠ³ΠΎ установлСния ΠΌΠ΅ΠΆΠ΄Ρƒ ΠΎΡ‚Π΄Π΅Π»ΡŒΠ½Ρ‹ΠΌΠΈ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΎΠ½Π½Ρ‹ΠΌΠΈ Π΅Π΄ΠΈΠ½ΠΈΡ†Π°ΠΌΠΈ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠΉ Ρ‚ΠΈΠΏΠ° «Ρ‡Π°ΡΡ‚ΡŒ — Ρ†Π΅Π»ΠΎΠ΅», «Ρ€ΠΎΠ΄ — Π²ΠΈΠ΄» ΠΈΠ»ΠΈ «ΡΠ»Π΅ΠΌΠ΅Π½Ρ‚ — класс».

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

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

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

5. ΠΠΊΡ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ. Π‘ ΠΌΠΎΠΌΠ΅Π½Ρ‚Π° появлСния Π­Π’Πœ ΠΈ Ρ€Π°Π·Π΄Π΅Π»Π΅Π½ΠΈΡ ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅ΠΌΡ‹Ρ… Π² Π½Π΅ΠΉ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΎΠ½Π½Ρ‹Ρ… Π΅Π΄ΠΈΠ½ΠΈΡ† Π½Π° Π΄Π°Π½Π½Ρ‹Π΅ ΠΈ ΠΊΠΎΠΌΠ°Π½Π΄Ρ‹ создалась ситуация, ΠΏΡ€ΠΈ ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΉ Π΄Π°Π½Π½Ρ‹Π΅ пассивны, Π° ΠΊΠΎΠΌΠ°Π½Π΄Ρ‹ Π°ΠΊΡ‚ΠΈΠ²Π½Ρ‹. ВсС процСссы, ΠΏΡ€ΠΎΡ‚Π΅ΠΊΠ°ΡŽΡ‰ΠΈΠ΅ Π² Π­Π’Πœ, ΠΈΠ½ΠΈΡ†ΠΈΠΈΡ€ΡƒΡŽΡ‚ΡΡ ΠΊΠΎΠΌΠ°Π½Π΄Π°ΠΌΠΈ, Π° Π΄Π°Π½Π½Ρ‹Π΅ ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡŽΡ‚ΡΡ этими ΠΊΠΎΠΌΠ°Π½Π΄Π°ΠΌΠΈ лишь Π² ΡΠ»ΡƒΡ‡Π°Π΅ нСобходимости. Для ИБ эта ситуация Π½Π΅ ΠΏΡ€ΠΈΠ΅ΠΌΠ»Π΅ΠΌΠ°. Как ΠΈ Ρƒ Ρ‡Π΅Π»ΠΎΠ²Π΅ΠΊΠ°, Π² Π˜Π‘ Π°ΠΊΡ‚ΡƒΠ°Π»ΠΈΠ·Π°Ρ†ΠΈΠΈ Ρ‚Π΅Ρ… ΠΈΠ»ΠΈ ΠΈΠ½Ρ‹Ρ… дСйствий ΡΠΏΠΎΡΠΎΠ±ΡΡ‚Π²ΡƒΡŽΡ‚ знания, ΠΈΠΌΠ΅ΡŽΡ‰ΠΈΠ΅ΡΡ Π² ΡΠΈΡΡ‚Π΅ΠΌΠ΅. Π’Π°ΠΊΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ, Π²Ρ‹ΠΏΠΎΠ»Π½Π΅Π½ΠΈΠ΅ ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌ Π² Π˜Π‘ Π΄ΠΎΠ»ΠΆΠ½ΠΎ ΠΈΠ½ΠΈΡ†ΠΈΠΈΡ€ΠΎΠ²Π°Ρ‚ΡŒΡΡ Ρ‚Π΅ΠΊΡƒΡ‰ΠΈΠΌ состояниСм ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΎΠ½Π½ΠΎΠΉ Π±Π°Π·Ρ‹. ПоявлСниС Π² Π±Π°Π·Π΅ Ρ„Π°ΠΊΡ‚ΠΎΠ² ΠΈΠ»ΠΈ описаний событий, установлСниС связСй ΠΌΠΎΠΆΠ΅Ρ‚ ΡΡ‚Π°Ρ‚ΡŒ источником активности систСмы.

ΠŸΠ΅Ρ€Π΅Ρ‡ΠΈΡΠ»Π΅Π½Π½Ρ‹Π΅ ΠΏΡΡ‚ΡŒ особСнностСй ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΎΠ½Π½Ρ‹Ρ… Π΅Π΄ΠΈΠ½ΠΈΡ† ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΡΡŽΡ‚ Ρ‚Ρƒ Π³Ρ€Π°Π½ΡŒ, Π·Π° ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΉ Π΄Π°Π½Π½Ρ‹Π΅ ΠΏΡ€Π΅Π²Ρ€Π°Ρ‰Π°ΡŽΡ‚ΡΡ Π² Π·Π½Π°Π½ΠΈΡ, Π° Π±Π°Π·Ρ‹ Π΄Π°Π½Π½Ρ‹Ρ… ΠΏΠ΅Ρ€Π΅Ρ€Π°ΡΡ‚Π°ΡŽΡ‚ Π² Π±Π°Π·Ρ‹ Π·Π½Π°Π½ΠΈΠΉ (Π‘Π—). Π‘ΠΎΠ²ΠΎΠΊΡƒΠΏΠ½ΠΎΡΡ‚ΡŒ срСдств, ΠΎΠ±Π΅ΡΠΏΠ΅Ρ‡ΠΈΠ²Π°ΡŽΡ‰ΠΈΡ… Ρ€Π°Π±ΠΎΡ‚Ρƒ с Π·Π½Π°Π½ΠΈΡΠΌΠΈ, ΠΎΠ±Ρ€Π°Π·ΡƒΠ΅Ρ‚ систСму управлСния Π±Π°Π·ΠΎΠΉ Π·Π½Π°Π½ΠΈΠΉ (Π‘Π£Π‘Π—). Π’ Π½Π°ΡΡ‚оящСС врСмя Π½Π΅ ΡΡƒΡ‰Π΅ΡΡ‚Π²ΡƒΠ΅Ρ‚ Π±Π°Π· Π·Π½Π°Π½ΠΈΠΉ, Π² ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… Π² ΠΏΠΎΠ»Π½ΠΎΠΉ ΠΌΠ΅Ρ€Π΅ Π±Ρ‹Π»ΠΈ Π±Ρ‹ Ρ€Π΅Π°Π»ΠΈΠ·ΠΎΠ²Π°Π½Ρ‹ внутрСнняя ΠΈΠ½Ρ‚Π΅Ρ€ΠΏΡ€Π΅Ρ‚ΠΈΡ€ΡƒΠ΅ΠΌΠΎΡΡ‚ΡŒ, структуризация, ΡΠ²ΡΠ·Π½ΠΎΡΡ‚ΡŒ, Π²Π²Π΅Π΄Π΅Π½Π° сСмантичСская ΠΌΠ΅Ρ€Π° ΠΈ ΠΎΠ±Π΅ΡΠΏΠ΅Ρ‡Π΅Π½Π° Π°ΠΊΡ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ Π·Π½Π°Π½ΠΈΠΉ.

1.6 Π­Ρ‚Π°ΠΏΡ‹ Ρ€Π°Π·Ρ€Π°Π±ΠΎΡ‚ΠΊΠΈ экспСртных систСм

ΠšΡ€ΠΈΡ‚Π΅Ρ€ΠΈΠΈ, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΌ Π΄ΠΎΠ»ΠΆΠ½Π° ΡΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΠΎΠ²Π°Ρ‚ΡŒ поставлСнная Π·Π°Π΄Π°Ρ‡Π°:

ΠŸΡ€ΠΈΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅ соотвСтствуСт ΠΌΠ΅Ρ‚ΠΎΠ΄Π°ΠΌ Π­Π‘, Ссли Ρ€Π΅ΡˆΠ°Π΅ΠΌΠ°Ρ Π·Π°Π΄Π°Ρ‡Π° ΠΎΠ±Π»Π°Π΄Π°Π΅Ρ‚ ΡΠΎΠ²ΠΎΠΊΡƒΠΏΠ½ΠΎΡΡ‚ΡŒΡŽ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΡ… характСристик:

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

2) Π·Π°Π΄Π°Ρ‡Π° Π΄ΠΎΠ»ΠΆΠ½Π° ΠΈΠΌΠ΅Ρ‚ΡŒ ΡΠ²Ρ€ΠΈΡΡ‚ΠΈΡ‡Π΅ΡΠΊΡƒΡŽ, Π° Π½Π΅ Π°Π»Π³ΠΎΡ€ΠΈΡ‚ΠΌΠΈΡ‡Π΅ΡΠΊΡƒΡŽ ΠΏΡ€ΠΈΡ€ΠΎΠ΄Ρƒ, Ρ‚. Π΅. Π΅Π΅ Ρ€Π΅ΡˆΠ΅Π½ΠΈΠ΅ Π΄ΠΎΠ»ΠΆΠ½ΠΎ Ρ‚Ρ€Π΅Π±ΠΎΠ²Π°Ρ‚ΡŒ примСнСния эвристичСских ΠΏΡ€Π°Π²ΠΈΠ». Π—Π°Π΄Π°Ρ‡ΠΈ, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ ΠΌΠΎΠ³ΡƒΡ‚ Π±Ρ‹Ρ‚ΡŒ Π³Π°Ρ€Π°Π½Ρ‚ΠΈΡ€ΠΎΠ²Π°Π½Π½ΠΎ Ρ€Π΅ΡˆΠ΅Π½Ρ‹ (с ΡΠΎΠ±Π»ΡŽΠ΄Π΅Π½ΠΈΠ΅ΠΌ Π·Π°Π΄Π°Π½Π½Ρ‹Ρ… ΠΎΠ³Ρ€Π°Π½ΠΈΡ‡Π΅Π½ΠΈΠΉ) с ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… Ρ„ΠΎΡ€ΠΌΠ°Π»ΡŒΠ½Ρ‹Ρ… ΠΏΡ€ΠΎΡ†Π΅Π΄ΡƒΡ€, Π½Π΅ ΠΏΠΎΠ΄Ρ…одят для примСнСния Π­Π‘;

3) Π·Π°Π΄Π°Ρ‡Π° Π΄ΠΎΠ»ΠΆΠ½Π° Π±Ρ‹Ρ‚ΡŒ достаточно слоТна, Ρ‡Ρ‚ΠΎΠ±Ρ‹ ΠΎΠΏΡ€Π°Π²Π΄Π°Ρ‚ΡŒ Π·Π°Ρ‚Ρ€Π°Ρ‚Ρ‹ Π½Π° Ρ€Π°Π·Ρ€Π°Π±ΠΎΡ‚ΠΊΡƒ Π­Π‘. Однако ΠΎΠ½Π° Π½Π΅ Π΄ΠΎΠ»ΠΆΠ½Π° Π±Ρ‹Ρ‚ΡŒ Ρ‡Ρ€Π΅Π·ΠΌΠ΅Ρ€Π½ΠΎ слоТной (Ρ€Π΅ΡˆΠ΅Π½ΠΈΠ΅ Π·Π°Π½ΠΈΠΌΠ°Π΅Ρ‚ Ρƒ ΡΠΊΡΠΏΠ΅Ρ€Ρ‚Π° часы, Π° Π½Π΅ Π½Π΅Π΄Π΅Π»ΠΈ), Ρ‡Ρ‚ΠΎΠ±Ρ‹ Π­Π‘ ΠΌΠΎΠ³Π»Π° Π΅Π΅ Ρ€Π΅ΡˆΠ°Ρ‚ΡŒ;

4) Π·Π°Π΄Π°Ρ‡Π° Π΄ΠΎΠ»ΠΆΠ½Π° Π±Ρ‹Ρ‚ΡŒ достаточно ΡƒΠ·ΠΊΠΎΠΉ, Ρ‡Ρ‚ΠΎΠ±Ρ‹ Ρ€Π΅ΡˆΠ°Ρ‚ΡŒΡΡ ΠΌΠ΅Ρ‚ΠΎΠ΄Π°ΠΌΠΈ Π­Π‘, ΠΈ ΠΏΡ€Π°ΠΊΡ‚ичСски Π·Π½Π°Ρ‡ΠΈΠΌΠΎΠΉ.

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

2. ОбоснованиС Π²Ρ‹Π±ΠΎΡ€Π° ΠΌΠΎΠ΄Π΅Π»ΠΈ прСдставлСния Π·Π½Π°Π½ΠΈΠΉ

2.1 ΠŸΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½Π°Ρ модСль прСдставлСния Π·Π½Π°Π½ΠΈΠΉ

ΠŸΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½Π°Ρ модСль прСдставлСния Π·Π½Π°Π½ΠΈΠΉ Π½Π°ΠΈΠ±ΠΎΠ»Π΅Π΅ распространСна Π² ΠΏΡ€ΠΈΠ»ΠΎΠΆΠ΅Π½ΠΈΡΡ…. МодСль рСализуСтся ΠΏΡ€Π°Π²ΠΈΠ»Π°ΠΌΠΈ-продукциями:

Ссли <�условиС> Ρ‚ΠΎ <οΏ½Π·Π°ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠ΅>.

Π’ ΠΊΠ°Ρ‡Π΅ΡΡ‚Π²Π΅ условия ΠΌΠΎΠΆΠ΅Ρ‚ Π²Ρ‹ΡΡ‚ΡƒΠΏΠ°Ρ‚ΡŒ любая ΡΠΎΠ²ΠΎΠΊΡƒΠΏΠ½ΠΎΡΡ‚ΡŒ суТдСний, соСдинСнных логичСскими связками ΠΈ (), ΠΈΠ»ΠΈ ().

ΠŸΡ€ΠΈΠΌΠ΅Ρ€. ΠŸΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠ΅ΠΉ Π±ΡƒΠ΄Π΅Ρ‚ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰Π΅Π΅ ΠΏΡ€Π°Π²ΠΈΠ»ΠΎ:

Ссли (курс Π΄ΠΎΠ»Π»Π°Ρ€Π°-растСт) (сСзон-осСнь) (число ΠΏΡ€ΠΎΠ΄Π°Π²Ρ†ΠΎΠ²-ΡƒΠ±Ρ‹Π²Π°Π΅Ρ‚)

Ρ‚ΠΎ (ΠΏΡ€ΠΎΠ³Π½ΠΎΠ· Ρ†Π΅Π½ Π½Π° Ρ€Ρ‹Π½ΠΊΠ΅ Тилья — рост Ρ€ΡƒΠ±Π»Π΅Π²Ρ‹Ρ… Ρ†Π΅Π½ Π½Π° ΠΊΠ²Π°Ρ€Ρ‚ΠΈΡ€Ρ‹).

Π’Π°ΠΊΠΎΠ³ΠΎ Ρ€ΠΎΠ΄Π° ΠΏΡ€Π°Π²ΠΈΠ»Π° ΠΈ Π·Π½Π°Π½ΠΈΡ ΠΎ Ρ†Π΅Π½Π°Ρ…, ΠΏΡ€Π΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠΈ ΠΈ ΡΠΏΡ€ΠΎΡΠ΅ Π½Π° Ρ€Ρ‹Π½ΠΊΠ΅ Тилья ΠΌΠΎΠ³ΡƒΡ‚ ΡΡ‚Π°Ρ‚ΡŒ Π±Π°Π·ΠΎΠΉ для Π±Π°Π·Ρ‹ Π·Π½Π°Π½ΠΈΠΉ ΠΎ Ρ€Ρ‹Π½ΠΊΠ΅ Тилья ΠΈ ΡΠΊΡΠΏΠ΅Ρ€Ρ‚Π½ΠΎΠΉ систСмы для риэлтСрской Π³Ρ€ΡƒΠΏΠΏΡ‹ (Ρ„ΠΈΡ€ΠΌΡ‹).

Π‘ΡƒΡ‰Π΅ΡΡ‚Π²ΡƒΡŽΡ‚ Π΄Π²Π΅ основныС стратСгии Π²Ρ‹Π²ΠΎΠ΄Π° Π½Π° ΠΌΠ½ΠΎΠΆΠ΅ΡΡ‚Π²Π΅ ΠΏΡ€Π°Π²ΠΈΠ»-ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΉ:

прямой Π²Ρ‹Π²ΠΎΠ΄ (Π²Ρ‹Π²ΠΎΠ΄ ΠΎΡ‚ ΠΈΡΡ…ΠΎΠ΄Π½Ρ‹Ρ… Π΄Π°Π½Π½Ρ‹Ρ…-Ρ„Π°ΠΊΡ‚ΠΎΠ², аксиом — ΠΊ Ρ†Π΅Π»ΠΈ, ΠΏΠΎ ΠΏΡƒΡ‚ΠΈ Π²Ρ‹Π²ΠΎΠ΄Π° пополняя ΠΈΡΡ…ΠΎΠ΄Π½ΡƒΡŽ Π±Π°Π·Ρƒ Π·Π½Π°Π½ΠΈΠΉ Π½ΠΎΠ²Ρ‹ΠΌΠΈ ΠΏΠΎΠ»ΡƒΡ‡Π΅Π½Π½Ρ‹ΠΌΠΈ истинными Ρ„Π°ΠΊΡ‚Π°ΠΌΠΈ; процСсс заканчиваСтся лишь Ρ‚ΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° Π²Ρ‹Π²Π΅Π΄Π΅Π½ Ρ„Π°ΠΊΡ‚, эквивалСнтный искомому);

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

ОбС ΠΏΡ€ΠΈΠ²Π΅Π΄Π΅Π½Π½Ρ‹Π΅ стратСгии Π²Ρ‹Π²ΠΎΠ΄Π° ΠΈΠΌΠ΅ΡŽΡ‚ нСдостатки, достоинства ΠΈ ΠΌΠΎΠ΄ΠΈΡ„ΠΈΠΊΠ°Ρ†ΠΈΠΈ.

ΠŸΡ€ΠΈΠΌΠ΅Ρ€. Если всС мноТСство ΠΏΡ€Π°Π²ΠΈΠ»-ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΉ Ρ€Π°Π·Π±ΠΈΡ‚ΠΎ Π½Π° Π³Ρ€ΡƒΠΏΠΏΡ‹ ΠΏΠΎ Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΌΡƒ ΠΏΡ€ΠΈΠ·Π½Π°ΠΊΡƒ (структурировано), Ρ‚ΠΎ Π²ΠΌΠ΅ΡΡ‚ΠΎ ΠΏΠΎΠ»Π½ΠΎΠ³ΠΎ ΠΈΠ»ΠΈ случайного ΠΏΠ΅Ρ€Π΅Π±ΠΎΡ€Π° всСх ΠΏΡ€Π°Π²ΠΈΠ» ΠΏΡ€ΠΈ прямом ΠΈ ΠΎΠ±Ρ€Π°Ρ‚Π½ΠΎΠΌ Π²Ρ‹Π²ΠΎΠ΄Π΅ осущСствляСтся Ρ†Π΅Π»Π΅Π½Π°ΠΏΡ€Π°Π²Π»Π΅Π½Π½Ρ‹ΠΉ ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄ ΠΎΡ‚ ΠΎΠ΄Π½ΠΎΠΉ Π³Ρ€ΡƒΠΏΠΏΡ‹ ΠΏΡ€Π°Π²ΠΈΠ» ΠΊ Π΄Ρ€ΡƒΠ³ΠΎΠΉ. Π˜ΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡŽΡ‚ΡΡ Ρ‚Π°ΠΊΠΆΠ΅ ΡΠΌΠ΅ΡˆΠ°Π½Π½Ρ‹Π΅ стратСгии Π²Ρ‹Π²ΠΎΠ΄Π°, ΡΠΎΡ‡Π΅Ρ‚Π°ΡŽΡ‰ΠΈΠ΅ прямой ΠΈ ΠΎΠ±Ρ€Π°Ρ‚Π½Ρ‹ΠΉ Π²Ρ‹Π²ΠΎΠ΄.

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

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

ΠŸΡ€Π΅ΠΈΠΌΡƒΡ‰Π΅ΡΡ‚Π²ΠΎ с Ρ‚.Π·. удобства прСдставлСния Π·Π½Π°Π½ΠΈΠΉ: Π½Π°Π³Π»ΡΠ΄Π½ΠΎΡΡ‚ΡŒ, высокая ΠΌΠΎΠ΄ΡƒΠ»ΡŒΠ½ΠΎΡΡ‚ΡŒ, Π»Π΅Π³ΠΊΠΎΡΡ‚ΡŒ внСсСния Π΄ΠΎΠΏΠΎΠ»Π½Π΅Π½ΠΈΠΉ ΠΈ ΠΈΠ·ΠΌΠ΅Π½Π΅Π½ΠΈΠΉ, простотой ΠΌΠ΅Ρ…Π°Π½ΠΈΠ·ΠΌΠ° логичСского Π²Ρ‹Π²ΠΎΠ΄Π°.

ΠŸΠ Π•Π˜ΠœΠ£Π©Π•Π‘Π’Π’Π И ΠΠ•Π”ΠžΠ‘ВАВКИ ΠŸΠ ΠžΠ”Π£ΠšΠ¦Π˜ΠžΠΠΠ«Π₯ Π‘Π˜Π‘Π’Π•Πœ.

ΠŸΠΎΠΏΡƒΠ»ΡΡ€Π½ΠΎΡΡ‚ΡŒ ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½Ρ‹Ρ… ΠΌΠΎΠ΄Π΅Π»Π΅ΠΉ опрСдСляСтся ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠΌΠΈ Ρ„Π°ΠΊΡ‚ΠΎΡ€Π°ΠΌΠΈ:

ΠŸΠΎΠ΄Π°Π²Π»ΡΡŽΡ‰Π°Ρ Ρ‡Π°ΡΡ‚ΡŒ чСловСчСских Π·Π½Π°Π½ΠΈΠΉ ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ прСдставлСна Π² Π²ΠΈΠ΄Π΅ ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΉ.

БистСмы ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΈ ΡΠ²Π»ΡΡŽΡ‚ΡΡ ΠΌΠΎΠ΄ΡƒΠ»ΡŒΠ½Ρ‹ΠΌΠΈ. Π£Π΄Π°Π»Π΅Π½ΠΈΠ΅ ΠΈΠ»ΠΈ Π΄ΠΎΠ±Π°Π²Π»Π΅Π½ΠΈΠ΅ ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΉ ΠΏΡ€ΠΈΠ²ΠΎΠ΄ΠΈΡ‚ ΠΊ ΠΈΠ·ΠΌΠ΅Π½Π΅Π½ΠΈΡŽ ΠΎΡΡ‚Π°Π»ΡŒΠ½Ρ‹Ρ… ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΉ.

ΠŸΡ€ΠΈ нСобходимости систСмы ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΉ ΠΌΠΎΠ³ΡƒΡ‚ Ρ€Π΅Π°Π»ΠΈΠ·ΠΎΠ²Ρ‹Π²Π°Ρ‚ΡŒ слоТныС Π°Π»Π³ΠΎΡ€ΠΈΡ‚ΠΌΡ‹.

НаличиС Π² ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΡΡ… указания Π½Π° ΡΡ„Π΅Ρ€Ρƒ примСнСния позволяСт эффСктивно Ρ€Π΅Π°Π»ΠΈΠ·ΠΎΠ²Π°Ρ‚ΡŒ ΠΏΠ°ΠΌΡΡ‚ΡŒ, сокращая врСмя поиска Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎΠΉ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΈ.

ОбъСдинСниС систСм ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΉ с ΡΠ΅Ρ‚Π΅Π²Ρ‹ΠΌΠΈ прСдставлСниями позволяСт ΡΠΎΠ·Π΄Π°Π²Π°Ρ‚ΡŒ ΠΌΠΎΡ‰Π½Ρ‹Π΅ ΡΠΊΡΠΏΠ΅Ρ€ΠΈΠΌΠ΅Π½Ρ‚Π°Π»ΡŒΠ½Ρ‹Π΅ систСмы.

ΠŸΠ°Ρ€Π°Π»Π»Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΡŒ ΠΈ Π°ΡΠΈΠ½Ρ…Ρ€ΠΎΠ½Π½ΠΎΡΡ‚ΡŒ Ρ€Π°Π±ΠΎΡ‚Ρ‹ систСмы ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΉ Π΄Π΅Π»Π°Π΅Ρ‚ ΠΈΡ… Π½Π°ΠΈΠ±ΠΎΠ»Π΅Π΅ подходящими для Π­Π’Πœ Π½ΠΎΠ²ΠΎΠΉ Π°Ρ€Ρ…ΠΈΡ‚Π΅ΠΊΡ‚ΡƒΡ€Ρ‹ (Π½Π°Π»ΠΈΡ‡ΠΈΠ΅ Π½Π΅ΡΠΊΠΎΠ»ΡŒΠΊΠΈΡ… процСссоров).

ΠŸΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½Ρ‹Π΅ ΠΌΠΎΠ΄Π΅Π»ΠΈ ΠΈΠΌΠ΅ΡŽΡ‚ Π΄Π²Π° нСдостатка: ΠΏΡ€ΠΈ большом числС ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΉ (> 1000) ΠΏΡ€ΠΎΠ²Π΅Ρ€ΠΊΠ° нСпроворСчивости становится слоТнСС; Π½Π΅ΠΎΠ΄Π½ΠΎΠ·Π½Π°Ρ‡Π½ΠΎΡΡ‚ΡŒ Π²Ρ‹Π±ΠΎΡ€Π° ΠΈΠ· Ρ„Ρ€ΠΎΠ½Ρ‚Π° Π³ΠΎΡ‚ΠΎΠ²ΠΎΠΉ ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΈ.

НСдостаток: ΠŸΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½Ρ‹Π΅ ΠΌΠΎΠ΄Π΅Π»ΠΈ ΠΈΠΌΠ΅ΡŽΡ‚ Π΄Π²Π° нСдостатка: ΠΏΡ€ΠΈ большом числС ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΉ (> 1000) ΠΏΡ€ΠΎΠ²Π΅Ρ€ΠΊΠ° нСпроворСчивости становится слоТнСС; Π½Π΅ΠΎΠ΄Π½ΠΎΠ·Π½Π°Ρ‡Π½ΠΎΡΡ‚ΡŒ Π²Ρ‹Π±ΠΎΡ€Π° ΠΈΠ· Ρ„Ρ€ΠΎΠ½Ρ‚Π° Π³ΠΎΡ‚ΠΎΠ²ΠΎΠΉ ΠΏΡ€ΠΎΠ΄ΡƒΠΊΡ†ΠΈΠΈ.

2.2 ЀрСймовая модСль прСдставлСния Π·Π½Π°Π½ΠΈΠΉ

Π€Ρ€Π΅ΠΉΠΌΡ‹ ΠΎΡ‡Π΅Π½ΡŒ ΡƒΠ΄ΠΎΠ±Π½Ρ‹ для хранСния фактичСской ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΈ. ΠŸΡ€ΠΈ построСнии Π˜Π‘ Π½Π° Π±Π°Π·Π΅ Ρ„Ρ€Π΅ΠΉΠΌΠΎΠ²ΠΎΠΉ ΠΌΠΎΠ΄Π΅Π»ΠΈ всС характСристики ΠΊΠ°ΠΊΠΎΠ³ΠΎ-Π»ΠΈΠ±ΠΎ ΠΎΠ±ΡŠΠ΅ΠΊΡ‚Π°, события, явлСния Π³Ρ€ΡƒΠΏΠΏΠΈΡ€ΡƒΡŽΡ‚ΡΡ вмСстС, Π° Π·Π°Ρ‚Π΅ΠΌ ΠΎΠ±Ρ€Π°Π±Π°Ρ‚Ρ‹Π²Π°ΡŽΡ‚ΡΡ ΠΊΠ°ΠΊ Π΅Π΄ΠΈΠ½ΠΎΠ΅ Ρ†Π΅Π»ΠΎΠ΅. ΠžΠ±Ρ‹Ρ‡Π½ΠΎ Π² Π²ΠΈΠ΄Π΅ Ρ„Ρ€Π΅ΠΉΠΌΠ° описываСтся ΠΎΠ΄ΠΈΠ½ ΠΎΠ±ΡŠΠ΅ΠΊΡ‚. ΠšΠ°ΠΆΠ΄Ρ‹ΠΉ Ρ„Ρ€Π΅ΠΉΠΌ ΠΈΠΌΠ΅Π΅Ρ‚ имя, ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ΅ ΠΎΠ±Ρ‹Ρ‡Π½ΠΎ совпадаСт с Π½Π°Π·Π²Π°Π½ΠΈΠ΅ΠΌ описываСмого ΠΎΠ±ΡŠΠ΅ΠΊΡ‚Π°. Вся информация ΠΎΠ± ΡΡ‚ΠΎΠΌ ΠΎΠ±ΡŠΠ΅ΠΊΡ‚Π΅ содСрТится Π² ΡΡ‚Ρ€ΡƒΠΊΡ‚ΡƒΡ€Π½Ρ‹Ρ… элСмСнтах Ρ„Ρ€Π΅ΠΉΠΌΠ°, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ слотами ΠΈ Π·Π°ΠΏΠΎΠ»Π½ΡΡŽΡ‚ константами, ссылками Π½Π° Π΄Ρ€ΡƒΠ³ΠΈΠ΅ Ρ„Ρ€Π΅ΠΉΠΌΡ‹, ΠΏΡ€Π°Π²ΠΈΠ»Π°, ΠΏΡ€ΠΎΡ†Π΅Π΄ΡƒΡ€Ρ‹.

Π”Ρ€ΡƒΠ³ΠΈΠΌΠΈ словами, основная идСя Ρ„Ρ€Π΅ΠΉΠΌΠΎΠ²ΠΎΠΉ ΠΌΠΎΠ΄Π΅Π»ΠΈ Π·Π°ΠΊΠ»ΡŽΡ‡Π°Π΅Ρ‚ΡΡ Π² Ρ‚ΠΎΠΌ, Ρ‡Ρ‚ΠΎ Π»ΡŽΠ±ΠΎΠΌΡƒ ΠΎΠ±ΡŠΠ΅ΠΊΡ‚Ρƒ описываСмой ΠΏΡ€Π΅Π΄ΠΌΠ΅Ρ‚Π½ΠΎΠΉ области ставится Π² ΡΠΎΠΎΡ‚вСтствиС Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ скСлСт, шаблон, Ρ‡Π΅Ρ€Π΅Π· ΠΏΠΎΠ²Π΅Π΄Π΅Π½ΠΈΠ΅ ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ ΠΏΡ€ΠΎΡΠ²Π»ΡΡŽΡ‚ΡΡ особСнности описываСмого ΠΎΠ±ΡŠΠ΅ΠΊΡ‚Π° ΠΎΡ‚ΠΎΠ±Ρ€Π°ΠΆΠ°Π΅ΠΌΠΎΠΉ ΠΏΡ€Π΅Π΄ΠΌΠ΅Ρ‚Π½ΠΎΠΉ области.

Π€Ρ€Π΅ΠΉΠΌΠΎΠ²ΠΎΠ΅ прСдставлСниС наглядно ΠΈ ΡΡ‚Ρ€ΡƒΠΊΡ‚ΡƒΡ€ΠΈΡ€ΠΎΠ²Π°Π½ΠΎ ΠΈ ΠΏΠΎΠ·Π²ΠΎΠ»ΡΠ΅Ρ‚ ΠΏΠΎΠ»ΡƒΡ‡Π°Ρ‚ΡŒ описаниС систСмы Π² Π²ΠΈΠ΄Π΅ связанных, иСрархичСских структур (Ρ„Ρ€Π΅ΠΉΠΌΠΎΠ², Π΅Π΄ΠΈΠ½ΠΈΡ† прСдставлСния Π·Π½Π°Π½ΠΈΠΉ).

ЀрСймовая модСль ΠΏΡ€Π΅Π΄ΠΏΠΎΠ»Π°Π³Π°Π΅Ρ‚ Π² ΠΊΠ°Ρ‡Π΅ΡΡ‚Π²Π΅ основной структурной Π΅Π΄ΠΈΠ½ΠΈΡ†Ρ‹ понятиС ΠΈΠ»ΠΈ Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ Π΅Π³ΠΎ Π°Π½Π°Π»ΠΎΠ³.

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

ΠžΡΠ½ΠΎΠ²Π½Ρ‹ΠΌ ΠΏΡƒΠ½ΠΊΡ‚ΠΎΠΌ являСтся Π±Π»ΠΎΠΊ 2 Π½Π° Ρ€ΠΈΡΡƒΠ½ΠΊΠ΅, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ ΠΈΠ»Π»ΡŽΡΡ‚Ρ€ΠΈΡ€ΡƒΠ΅Ρ‚, Ρ‚Ρƒ ΠΌΡ‹ΡΠ»ΡŒ, Ρ‡Ρ‚ΠΎ Π² ΠΎΡΠ½ΠΎΠ²Π΅ пороТдСния тСкста (ΠΏΠ΅Ρ€Π΅Π²ΠΎΠ΄Π°) Π»Π΅ΠΆΠΈΡ‚ опрСдСлСнная информационная структура — ΠΎΠ±Ρ€Π°Π·-росток (Ρ„Ρ€Π΅ΠΉΠΌ, Π»ΠΈΠ±ΠΎ систСма Ρ„Ρ€Π΅ΠΉΠΌΠΎΠ²).

НСсколько Π»Π΅Ρ‚ Π½Π°Π·Π°Π΄ Π½Π°ΠΌΠΈ Π±Ρ‹Π»Π° сформулирована концСпция Π²ΠΈΠ·ΡƒΠ°Π»ΡŒΠ½ΠΎΠ³ΠΎ поля, Π² ΠΎΡΠ½ΠΎΠ²Π΅ ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΉ находится идСя ΠΎ Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΡΡ‚ΠΈ ΡΠΎΠ·Π½Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΠ³ΠΎ управлСния систСмами Π²ΠΈΠ·ΡƒΠ°Π»ΡŒΠ½Ρ‹Ρ… Ρ„Ρ€Π΅ΠΉΠΌΠΎΠ², Π² Ρ‚ΠΎΠΌ числС, Π² ΡΡ…Π΅ΠΌΠ°Ρ… принятия Ρ€Π΅ΡˆΠ΅Π½ΠΈΠΉ.

Π’Π°ΠΊΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ, посрСдством ΠΌΠΎΠ΄ΠΈΡ„ΠΈΠΊΠ°Ρ†ΠΈΠΈ Ρ„Ρ€Π΅ΠΉΠΌΠΎΠ²Ρ‹Ρ… систСм с ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ ΠΌΠ΅Ρ‚ΠΎΠ΄ΠΎΠ»ΠΎΠ³ΠΈΠΈ Π²ΠΈΠ·ΡƒΠ°Π»ΡŒΠ½ΠΎΠ³ΠΎ поля Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎ эффСктивноС ΡƒΠΏΡ€Π°Π²Π»Π΅Π½ΠΈΠ΅ процСссами понимания тСкста.

Π’ ΠΏΠ΅Ρ€Π΅Ρ‡ΠΈΡΠ»ΠΈΠΌ Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ Π²Π°ΠΆΠ½Ρ‹Π΅ прСимущСства ΠΈ ΠΏΠ΅Ρ€ΡΠΏΠ΅ΠΊΡ‚ΠΈΠ²Ρ‹ развития Ρ„Ρ€Π΅ΠΉΠΌΠΎΠ²Ρ‹Ρ… ΠΌΠΎΠ΄Π΅Π»Π΅ΠΉ.

Π€Ρ€Π΅ΠΉΠΌΠΎΠ²Ρ‹Π΅ прСдставлСния ΠΎΠ±ΡŠΡΡΠ½ΡΡŽΡ‚ быстрый доступ ΠΊ ΠΏΠ°ΠΌΡΡ‚ΠΈ ΠΈ Π²Ρ‹Π²ΠΎΠ΄ΡΡ‚ ΠΏΠ°ΠΌΡΡ‚ΡŒ Π½Π° Π²Π΅Π΄ΡƒΡ‰Π΅Π΅ мСсто ΠΏΡ€ΠΈ обсуТдСнии ΠΏΡ€ΠΎΠ±Π»Π΅ΠΌ ΠΈΠ½Ρ‚Π΅Π»Π»Π΅ΠΊΡ‚Π°.

Π€Ρ€Π΅ΠΉΠΌΠΎΠ²Ρ‹Π΅ прСдставлСния ΠΈΠΌΠ΅ΡŽΡ‚ Π±ΠΎΠ»ΡŒΡˆΡƒΡŽ Π΄ΠΈΠ΄Π°ΠΊΡ‚ΠΈΡ‡Π΅ΡΠΊΡƒΡŽ Ρ†Π΅Π½Π½ΠΎΡΡ‚ΡŒ; ΠΈΡ… Ρ€Π°Π·Π²ΠΈΡ‚ΠΈΠ΅ Π² Π²ΠΈΠ΄Π΅ сСтСвых ΠΌΠΎΠ΄Π΅Π»Π΅ΠΉ Π΅Ρ‰Π΅ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ разрабатываСтся.

Π”Π°Π»ΡŒΠ½Π΅ΠΉΡˆΠΈΠΌ Ρ€Π°Π·Π²ΠΈΡ‚ΠΈΠ΅ΠΌ Ρ„Ρ€Π΅ΠΉΠΌΠΎΠ²ΠΎΠ³ΠΎ ΠΏΠΎΠ΄Ρ…ΠΎΠ΄Π° ΡΠ²Π»ΡΡŽΡ‚ΡΡ Ρ€Π°Π±ΠΎΡ‚Ρ‹, ΠΈΠ΄Π΅ΠΈ ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… Π±Π»ΠΈΠ·ΠΊΠΈ ΠΈ Π²Ρ…одят Π² Π°Ρ€ΡΠ΅Π½Π°Π» обоснования Π΄ΠΎΠΊΡ‚Ρ€ΠΈΠ½Ρ‹ Π²ΠΈΠ·ΡƒΠ°Π»ΡŒΠ½ΠΎΠ³ΠΎ поля.

На ΡƒΡ€ΠΎΠ²Π½Π΅ Π½Π΅ΠΉΡ€ΠΎΠ½Π½Ρ‹Ρ… ΠΌΠ΅Ρ…Π°Π½ΠΈΠ·ΠΌΠΎΠ² концСпция Ρ„Ρ€Π΅ΠΉΠΌΠΎΠ² подкрСпляСтся соврСмСнными Ρ€Π°Π±ΠΎΡ‚Π°ΠΌΠΈ ВСличковского Π‘. М., Π˜Π²Π°Π½ΠΈΡ†ΠΊΠΎΠ³ΠΎ А. М., Π›Π΅Π±Π΅Π΄Π΅Π²Π° А. Н., Магазанника Π’. Π”. ΠΈ Π΄Ρ€.

Π€Ρ€Π΅ΠΉΠΌΠΎΠ²Ρ‹ΠΉ ΠΏΠΎΠ΄Ρ…ΠΎΠ΄ ΠΈ Π΅Π³ΠΎ ΠΌΠΎΠ΄ΠΈΡ„ΠΈΠΊΠ°Ρ†ΠΈΠΈ ΠΏΠΎΠ·Π²ΠΎΠ»ΡΡŽΡ‚ Ρ„ΠΎΡ€ΠΌΡƒΠ»ΠΈΡ€ΠΎΠ²Π°Ρ‚ΡŒ Π½ΠΎΠ²Ρ‹Π΅ направлСния Π² Π»ΠΈΠ½Π³Π²ΠΈΡΡ‚ΠΈΠΊΠ΅.

2.3 БСмантичСская ΡΠ΅Ρ‚ΡŒ

ОсновноС прСимущСство этой ΠΌΠΎΠ΄Π΅Π»ΠΈ — Π² ΡΠΎΠΎΡ‚вСтствии соврСмСнным прСдставлСниям ΠΎΠ± ΠΎΡ€Π³Π°Π½ΠΈΠ·Π°Ρ†ΠΈΠΈ Π΄ΠΎΠ»Π³ΠΎΠ²Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎΠΉ памяти Ρ‡Π΅Π»ΠΎΠ²Π΅ΠΊΠ°. ОсновноС прСимущСство сСмантичСских сСтСй — Π½Π°Π³Π»ΡΠ΄Π½ΠΎΡΡ‚ΡŒ прСдставлСния Π·Π½Π°Π½ΠΈΠΉ. НСдостаток ΠΌΠΎΠ΄Π΅Π»ΠΈ — ΡΠ»ΠΎΠΆΠ½ΠΎΡΡ‚ΡŒ поиска Π²Ρ‹Π²ΠΎΠ΄Π° Π½Π° ΡΠ΅ΠΌΠ°Π½Ρ‚ичСской сСти.

3. Обоснования Π²Ρ‹Π±ΠΎΡ€Π° языка программирования

Для написания Π΄Π°Π½Π½ΠΎΠΉ ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΡ‹ Π±Ρ‹Π» Π²Ρ‹Π±Ρ€Π°Π½ язык Visual Prolog. Visual Prolog — интСгрированная срСда Ρ€Π°Π·Ρ€Π°Π±ΠΎΡ‚ΠΊΠΈ Π±Π°Π· Π·Π½Π°Π½ΠΈΠΉ, Π²Ρ‹ΠΏΠΎΠ»Π½Π΅Π½Π½ΠΎΠΉ Π² ΠΈΠ΄Π΅ΠΎΠ»ΠΎΠ³ΠΈΠΈ Visual, ΡƒΠΏΡ€ΠΎΡ‰Π°ΡŽΡ‰Π΅ΠΉ Ρ€Π°Π·Ρ€Π°Π±ΠΎΡ‚ΠΊΡƒ ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌ для ΠžΠ‘ Windows. Π’ΠΊΠ»ΡŽΡ‡Π°Π΅Ρ‚ Π² ΡΠ΅Π±Ρ ΡƒΠ΄ΠΎΠ±Π½Ρ‹ΠΉ тСкстовый Ρ€Π΅Π΄Π°ΠΊΡ‚ΠΎΡ€, Ρ€Π°Π·Π»ΠΈΡ‡Π½Ρ‹Π΅ Ρ€Π΅Π΄Π°ΠΊΡ‚ΠΎΡ€Ρ‹ рСсурсов, срСдства Ρ€Π°Π·Ρ€Π°Π±ΠΎΡ‚ΠΊΠΈ гипСртСкстовых Help_систСм, ΠΎΠΏΡ‚ΠΈΠΌΠΈΠ·ΠΈΡ€ΡƒΡŽΡ‰ΠΈΠΉ компилятор. Visual Prolog Π°Π²Ρ‚ΠΎΠΌΠ°Ρ‚ΠΈΠ·ΠΈΡ€ΡƒΠ΅Ρ‚ Ρ‚Ρ€ΡƒΠ΄ программиста ΠΏΠΎ ΠΏΠΎΡΡ‚Ρ€ΠΎΠ΅Π½ΠΈΡŽ слоТных ΠΏΡ€ΠΎΡ†Π΅Π΄ΡƒΡ€. Π‘ Π΅Π³ΠΎ ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ ΠΏΡ€ΠΎΠ΅ΠΊΡ‚ΠΈΡ€ΠΎΠ²Π°Π½ΠΈΠ΅ ΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΡΠΊΠΎΠ³ΠΎ интСрфСйса ΠΈ ΡΠ²ΡΠ·Π°Π½Π½Ρ‹Ρ… с Π½ΠΈΠΌ ΠΎΠΊΠΎΠ½, Π΄ΠΈΠ°Π»ΠΎΠ³ΠΎΠ², мСню, ΠΊΠ½ΠΎΠΏΠΎΠΊ, строк состояния производится Π² Π³Ρ€Π°Ρ„ичСской срСдС. Π‘ ΡΠΎΠ·Π΄Π°Π½Π½Ρ‹ΠΌΠΈ ΠΎΠ±ΡŠΠ΅ΠΊΡ‚Π°ΠΌΠΈ сразу ΠΆΠ΅ ΠΌΠΎΠ³ΡƒΡ‚ Ρ€Π°Π±ΠΎΡ‚Π°Ρ‚ΡŒ Ρ€Π°Π·Π»ΠΈΡ‡Π½Ρ‹Π΅ ΠšΠΎΠ΄ΠΎΠ²Ρ‹Π΅ ЭкспСрты, Π³Π΅Π½Π΅Ρ€ΠΈΡ€ΡƒΡŽΡ‰ΠΈΠ΅ ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΠ½Ρ‹Π΅ ΠΊΠΎΠ΄Ρ‹ Π½Π° ΡΠ·Ρ‹ΠΊΠ΅ ΠŸΡ€ΠΎΠ»ΠΎΠ³.

4. Π Π°Π·Ρ€Π°Π±ΠΎΡ‚ΠΊΠ° Π°Π»Π³ΠΎΡ€ΠΈΡ‚ΠΌΠ° ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΡ‹, созданиС ΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΡΠΊΠΎΠ³ΠΎ интСрфСйса ΠΈ ΠΈΡ… ΠΎΠΏΠΈΡΠ°Π½ΠΈΠ΅

Алгоритм ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΡ‹ ΠΈ ΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΡΠΊΠΈΠΉ интСрфСйс Ρ€Π°Π·Ρ€Π°Π±ΠΎΡ‚Π°Π½ Π² ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΠ½ΠΎΠΉ срСдС Visual Prolog v. 7.4.

4.1 Π‘ΠΎΠ·Π΄Π°Π½ΠΈΠ΅ ΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΡΠΊΠΎΠ³ΠΎ графичСского интСрфСйса (GUI)

ЗапускаСм Visual Prolog v. 7.4, создаСм Π½ΠΎΠ²Ρ‹ΠΉ ΠΏΡ€ΠΎΠ΅ΠΊΡ‚. Для этого Π²Ρ‹Π±ΠΈΡ€Π°Π΅ΠΌ Π² Π³Π»Π°Π²Π½ΠΎΠΌ мСню ΠΏΡƒΠ½ΠΊΡ‚ ProjectNew… ПослС Ρ‡Π΅Π³ΠΎ Π·Π°Π΄Π°Π΅ΠΌ имя ΠΏΡ€ΠΎΠ΅ΠΊΡ‚Π° ΠΈ Π²Ρ‹Π±ΠΈΡ€Π°Π΅ΠΌ Ρ‚ΠΈΠΏ ΠΏΡ€ΠΎΠ΅ΠΊΡ‚Π° GUI.

4.2 Π‘ΠΎΠ·Π΄Π°Π½ΠΈΠ΅ Ρ„ΠΎΡ€ΠΌΡ‹ sostavPC

Π§Ρ‚ΠΎΠ±Ρ‹ ΡΠΎΠ·Π΄Π°Ρ‚ΡŒ Ρ„ΠΎΡ€ΠΌΡƒ Π² ΠΏΠ°ΠΊΠ΅Ρ‚Π΅ Forms, Π½ΡƒΠΆΠ½ΠΎ Π²Ρ‹Π΄Π΅Π»ΠΈΡ‚ΡŒ Π² Π΄Π΅Ρ€Π΅Π²Π΅ ΠΏΡ€ΠΎΠ΅ΠΊΡ‚Π° этот ΠΏΠ°ΠΊΠ΅Ρ‚. Π”Π°Π»Π΅Π΅ Π²Ρ‹Π±Ρ€Π°Ρ‚ΡŒ ΠΏΡƒΠ½ΠΊΡ‚ мСню FileNew in Existing Package. ПослС Ρ‡Π΅Π³ΠΎ Π²Ρ‹Π±ΠΈΡ€Π°Π΅ΠΌ Π² ΠΎΡ‚ΠΊΡ€Ρ‹Π²ΡˆΠ΅ΠΌΡΡ мСню Form, ΡƒΠΊΠ°Π·Ρ‹Π²Π°Π΅ΠΌ имя Ρ„ΠΎΡ€ΠΌΡ‹ ΠΈ Π½Π°ΠΆΠΈΠΌΠ°Π΅ΠΌ Create.

4.3 ΠŸΠΎΠΌΠ΅Ρ‰Π΅Π½ΠΈΠ΅ Π½Π° Ρ„ΠΎΡ€ΠΌΡƒ надписСй, поля Π²Ρ‹Π²ΠΎΠ΄Π°, Π²Ρ‹ΠΏΠ°Π΄Π°ΡŽΡ‰ΠΈΡ… списков ΠΈ ΠΊΠ½ΠΎΠΏΠΎΠΊ

ПослС создания Ρ„ΠΎΡ€ΠΌΡ‹ sostavPC Π½Π°ΠΌ Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎ ΠΏΠΎΠΌΠ΅ΡΡ‚ΠΈΡ‚ΡŒ Π½Π° Π½Π΅Π΅ ΡƒΠΏΡ€Π°Π²Π»ΡΡŽΡ‰ΠΈΠ΅ элСмСнты (надписи, поля Π²Ρ‹Π²ΠΎΠ΄Π°, Π²Ρ‹ΠΏΠ°Π΄Π°ΡŽΡ‰ΠΈΠ΅ списки, ΠΊΠ½ΠΎΠΏΠΊΠΈ). Для этого Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎ ΠΈΠ· ΠΏΠ°Π»ΠΈΡ‚Ρ€Ρ‹ ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚ΠΎΠ² Π²Ρ‹Π±Ρ€Π°Ρ‚ΡŒ Π½ΡƒΠΆΠ½Ρ‹ΠΉ элСмСнт ΠΈ ΠΏΠΎΠΌΠ΅ΡΡ‚ΠΈΡ‚ΡŒ Π΅Π³ΠΎ Π½Π° Ρ„ΠΎΡ€ΠΌΡƒ. ПослС Ρ‡Π΅Π³ΠΎ ΡƒΠΊΠ°Π·Π°Ρ‚ΡŒ ΠΊΠ°ΠΆΠ΄ΠΎΠΌΡƒ элСмСнту ΡƒΠ΄ΠΎΠ±Π½ΠΎΠ΅ имя ΠΈ Π½Π°Π΄ΠΏΠΈΡΡŒ, ΠΎΡ‚ΠΎΠ±Ρ€Π°ΠΆΠ°ΡŽΡ‰ΡƒΡŽΡΡ Π½Π° Π½Π΅ΠΌ. ΠŸΡ€ΠΈ нСобходимости ΠΌΠΎΠΆΠ½ΠΎ ΠΈΠ·ΠΌΠ΅Π½ΠΈΡ‚ΡŒ свойства ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ элСмСнта с ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ ΠΏΠ°Π½Π΅Π»ΠΈ «Properties».

4.4 ΠšΠΎΠΌΠΏΠΈΠ»ΡΡ†ΠΈΡ ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΡ‹

ПослС помСщСния всСх Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΡ‹Ρ… элСмСнтов Π½ΡƒΠΆΠ½ΠΎ ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΡƒ ΠΎΡ‚ΠΊΠΎΠΌΠΏΠΈΠ»ΠΈΡ€ΠΎΠ²Π°Ρ‚ΡŒ. ΠšΠΎΠΌΠΏΠΈΠ»ΡΡ†ΠΈΡ сгСнСрируСт Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΡ‹ΠΉ ΠΊΠΎΠ΄ ΠΈ ΠΏΡ€ΠΎΠ²Π΅Ρ€ΠΈΡ‚ ΠΏΡ€Π°Π²ΠΈΠ»ΡŒΠ½ΠΎΡΡ‚ΡŒ Π΅Π³ΠΎ написания. ΠšΠΎΠΌΠΏΠΈΠ»ΡΡ†ΠΈΡŽ ΠΆΠ΅Π»Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎ ΠΏΡ€ΠΎΠ²ΠΎΠ΄ΠΈΡ‚ΡŒ послС ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ измСнСния ΠΊΠΎΠ΄Π° ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΡ‹. Π­Ρ‚ΠΎ ΠΏΠΎΠ·Π²ΠΎΠ»ΠΈΡ‚ воврСмя ΠΎΡ‚ΡΠ»Π΅Π΄ΠΈΡ‚ΡŒ ошибки ΠΈ ΠΈΡΠΏΡ€Π°Π²ΠΈΡ‚ΡŒ ΠΈΡ…. Π—Π° Ρ…ΠΎΠ΄ΠΎΠΌ компиляции ΠΌΠΎΠΆΠ½ΠΎ Π½Π°Π±Π»ΡŽΠ΄Π°Ρ‚ΡŒ Π² ΠΎΠΊΠΎΡˆΠΊΠ΅.

4.5 Π’ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠ΅ элСмСнта New Π² ΠΏΠ°Π½Π΅Π»ΠΈ Π·Π°Π΄Π°Ρ‡

Когда Π²Ρ‹ Π·Π°ΠΏΡƒΡΠΊΠ°Π»ΠΈ пустоС ΠΏΡ€ΠΈΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅, Π²Ρ‹, скорСС всСго, Π·Π°ΠΌΠ΅Ρ‚ΠΈΠ»ΠΈ Ρ‚ΠΎΡ‚ Ρ„Π°ΠΊΡ‚, Ρ‡Ρ‚ΠΎ ΠΏΡƒΠ½ΠΊΡ‚ мСню File/New ΠΎΡ‚ΠΊΠ»ΡŽΡ‡Π΅Π½. Π§Ρ‚ΠΎΠ±Ρ‹ Π²ΠΊΠ»ΡŽΡ‡ΠΈΡ‚ΡŒ Π΅Π³ΠΎ, Π΄Π²Π°ΠΆΠ΄Ρ‹ Ρ‰Π΅Π»ΠΊΠ½ΠΈΡ‚Π΅ ΠΏΠΎ Π²Π΅Ρ‚ΠΊΠ΅ Π΄Π΅Ρ€Π΅Π²Π° ΠΏΡ€ΠΎΠ΅ΠΊΡ‚Π° ΠΏΠΎΠ΄ Π½Π°Π·Π²Π°Π½ΠΈΠ΅ΠΌ TaskMenu.mnu. Π—Π°Ρ‚Π΅ΠΌ, Ρ€Π°Π·Π²Π΅Ρ€Π½ΠΈΡ‚Π΅ Π΄Π΅Ρ€Π΅Π²ΠΎ, находящССся Π² Π½ΠΈΠΆΠ½Π΅ΠΉ части Π΄ΠΈΠ°Π»ΠΎΠ³ΠΎΠ²ΠΎΠ³ΠΎ ΠΎΠΊΠ½Π° TaskMenu, ΠΈ ΡƒΠ±Π΅Ρ€ΠΈΡ‚Π΅ Π³Π°Π»ΠΎΡ‡ΠΊΡƒ Disabled, ΠΎΡ‚Π½ΠΎΡΡΡ‰ΡƒΡŽΡΡ ΠΊ ΠΏΡƒΠ½ΠΊΡ‚Ρƒ &New/tF7. Π‘ΠΎΡ…Ρ€Π°Π½ΠΈΡ‚Π΅ измСнСния.

4.6 Π”ΠΎΠ±Π°Π²Π»Π΅Π½ΠΈΠ΅ ΠΊΠΎΠ΄Π° ΠΊ New ΠΈΠ· Π΄Π΅Ρ€Π΅Π²Π° ΠΏΡ€ΠΎΠ΅ΠΊΡ‚Π°

Π§Ρ‚ΠΎΠ±Ρ‹ Π΄ΠΎΠ±Π°Π²ΠΈΡ‚ΡŒ ΠΊΠΎΠ΄ ΠΊ ΠΏΡƒΠ½ΠΊΡ‚Ρƒ File/New, Π½Π°ΠΆΠΌΠΈΡ‚Π΅ Π½Π° Π²Π΅Ρ‚ΠΊΠ΅ Π΄Π΅Ρ€Π΅Π²Π° ΠΏΡ€ΠΎΠ΅ΠΊΡ‚Π° TaskWindow. win ΠΏΡ€Π°Π²ΠΎΠΉ ΠΊΠ½ΠΎΠΏΠΊΠΎΠΉ ΠΌΡ‹ΡˆΠΈ, которая ΠΎΡ‚ΠΊΡ€ΠΎΠ΅Ρ‚ контСкстноС мСню. Π’Ρ‹Π±Π΅Ρ€ΠΈΡ‚Π΅ ΠΏΡƒΠ½ΠΊΡ‚ Code Expert. ΠŸΡ€ΠΎΠ΄Π²ΠΈΠ³Π°ΠΉΡ‚Π΅ΡΡŒ ΠΏΠΎ Π΄Π΅Ρ€Π΅Π²Ρƒ Π² Ρ‚ΠΎ ΠΌΠ΅ΡΡ‚ΠΎ, ΠΊΠ°ΠΊ ΠΏΠΎΠΊΠ°Π·Π°Π½ΠΎ Π½Π° Ρ€ΠΈΡΡƒΠ½ΠΊΠ΅ Π½ΠΈΠΆΠ΅. НаТмитС add, ΠΏΠΎΡ‚ΠΎΠΌ Π΄Π²Π° Ρ€Π°Π·Π° Ρ‰Π΅Π»ΠΊΠ½Π΅Ρ‚Π΅ ΠΏΠΎ ΠΏΡƒΠ½ΠΊΡ‚Ρƒ id_file_newonFileNew.

Π­Ρ‚ΠΎ ΠΎΡ‚ΠΊΡ€ΠΎΠ΅Ρ‚ тСкстовый Ρ€Π΅Π΄Π°ΠΊΡ‚ΠΎΡ€, со ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠΌ Ρ„Ρ€Π°Π³ΠΌΠ΅Π½Ρ‚ΠΎΠΌ:

clauses

onFileNew (_Source, _MenuTag).

ΠžΡ‚ΠΊΠΎΠΌΠΏΠΈΠ»ΠΈΡ€ΡƒΠΉΡ‚Π΅ ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΡƒ, Π·Π°Ρ‚Π΅ΠΌ ΠΈΠ·ΠΌΠ΅Π½ΠΈΡ‚Π΅ этот Ρ„Ρ€Π°Π³ΠΌΠ΅Π½Ρ‚ Ρ‚Π°ΠΊ:

clauses

onFileNew (W, _MenuTag):-

X:= query:new (W),

X:show ().

ΠžΡ‚ΠΊΠΎΠΌΠΏΠΈΠ»ΠΈΡ€ΡƒΠΉΡ‚Π΅ ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΡƒ снова, Π²Ρ‹Π±Ρ€Π°Π² ΠΏΡƒΠ½ΠΊΡ‚ Build/Build Π½Π° ΠΏΠ°Π½Π΅Π»ΠΈ Π·Π°Π΄Π°Ρ‡. ЗапуститС ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΡƒ, ΠΈ Π²Ρ‹ ΡƒΠ²ΠΈΠ΄ΠΈΡ‚Π΅, Ρ‡Ρ‚ΠΎ, ΠΊΠΎΠ³Π΄Π° Π²Ρ‹ Π½Π°ΠΆΠΈΠΌΠ°Π΅Ρ‚Π΅ File/New, создаСтся новая Ρ„ΠΎΡ€ΠΌΠ°.

4.7 Π—Π°ΠΏΠΎΠ»Π½Π΅Π½ΠΈΠ΅ Π²Ρ‹ΠΏΠ°Π΄Π°ΡŽΡ‰ΠΈΡ… списков

Π§Ρ‚ΠΎΠ±Ρ‹ Π·Π°ΠΏΠΎΠ»Π½ΠΈΡ‚ΡŒ Π²Ρ‹ΠΏΠ°Π΄Π°ΡŽΡ‰ΠΈΠ΅ списки Π΄Π°Π½Π½Ρ‹ΠΌΠΈ, Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎ Π² ΠΎΠΊΠ½Π΅ «Properties» ΠΏΠ΅Ρ€Π΅ΠΉΡ‚ΠΈ Π½Π° Π²ΠΊΠ»Π°Π΄ΠΊΡƒ «Events» ΠΈ Π΄ΠΎΠ±Π°Π²ΠΈΡ‚ΡŒ событиС «onShow» Π² ΠΌΠ΅ΡΡ‚Π΅, ΡƒΠΊΠ°Π·Π°Π½Π½ΠΎΠΌ Π½Π° Ρ€ΠΈΡΡƒΠ½ΠΊΠ΅ Π½ΠΈΠΆΠ΅.

ПослС Π΄Π²ΠΎΠΉΠ½Ρ‹ΠΌ Π½Π°ΠΆΠ°Ρ‚ΠΈΠ΅ΠΌ ΠΏΠΎ ΡΠΎΠ±Ρ‹Ρ‚ΠΈΡŽ ΠΏΠ΅Ρ€Π΅ΠΉΡ‚ΠΈ Π² ΠΎΠΊΠ½ΠΎ Π²Π²ΠΎΠ΄Π° ΠΊΠΎΠ΄Π° ΠΈ Π΄ΠΎΠ±Π°Π²ΠΈΡ‚ΡŒ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠΉ кусок ΠΊΠΎΠ΄Π°:

predicates

onShow: window: showListener.

clauses

onShow (_Source, _Data):;

Mainboard=listEdit_ctl:tryGetVpiWindow (),

Cpu=listEdit1_ctl:tryGetVpiWindow (),

Video=listEdit4_ctl:tryGetVpiWindow (),

Ram=listEdit2_ctl:tryGetVpiWindow (),

Rom=listEdit6_ctl:tryGetVpiWindow (),

Power=listEdit3_ctl:tryGetVpiWindow (),

Monitor=listEdit7_ctl:tryGetVpiWindow (),

Hdd=listEdit5_ctl:tryGetVpiWindow (),!,

vpi:lboxAdd (Mainboard, ["ASUSTeK DSBF-D/SAS/2GBL (RTL) Dual Socket771″, «GigaByte GA-P35_DS4 (RTL) Socket775», «INTEL S3000AHV (RTL) Socket775 «]),

vpi:lboxAdd (Cpu, ["Intel Xeon X5355 BOX Active or 1U Passive 2.66>", «Intel Pentium 4 3.4», «AMDATHLON64 X2 4600+"]),

vpi:lboxAdd (Video, ["Albatron NVidia GeForce4 Ti4200″, «512Mb DDR Gigabyte GV-NX86T512H (RTL)», «768Mb DDR MSI MS-V801 NX8800GTX-T2D768E-HD-OC (RTL)"]),

vpi:lboxAdd (Ram, ["HYUNDAI/HYNIX DDR-II DIMM 1Gb «, «Corsair DDR-III DIMM 2Gb «, «Kingmax DDR-II DIMM 2Gb KIT 2*1Gb «]),

vpi:lboxAdd (Rom, ["RAM&DVDR/RW&CDRW ASUS DRW_1814BL", «RAM & DVDR/RW & CDRW LG GSA-E50L», «RAM & DVDR/RW & CDRW TSST SH-S203D"]),

vpi:lboxAdd (Power, ["ZALMAN (RTL) Cooler for Socket775/754/939/940/AM2″, «HighPaq «, «Glacial Tech Cooler for Socket AM2/754/939/940/F"]),

vpi:lboxAdd (Monitor, ["19' MONITOR Acer AL1916Cs", «17' MONITOR 0.20 Samsung SyncMaster 793DF», «17' MONITOR ASUS VB171D BK"]),

vpi:lboxAdd (Hdd, ["750.0 Gb SATA-II 300 Hitachi 7200rpm", «250 Gb SATA-II 300 Seagate Barracuda 7200rpm», «500 Gb SATA-II 300 Western Digital 7200rpm"]).

onShow (_, _).

ПослС этого Π²Ρ‹ΠΏΠ°Π΄Π°ΡŽΡ‰ΠΈΠ΅ списки Π·Π°ΠΏΠΎΠ»Π½ΡΡŽΡ‚ΡΡ Π΄Π°Π½Π½Ρ‹ΠΌΠΈ, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ ΠΌΡ‹ ΡƒΠΊΠ°Π·Π°Π»ΠΈ.

4.8 Π‘ΠΎΠ·Π΄Π°Π½ΠΈΠ΅ Π±Π°Π·Ρ‹ Π·Π½Π°Π½ΠΈΠΉ

Для создания Π±Π°Π·Ρ‹ Π·Π½Π°Π½ΠΈΠΉ ΠΌΡ‹ ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅ΠΌ ΡΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΡƒΡŽΡ‰ΠΈΠ΅ ΠΏΡ€Π΅Π΄ΠΈΠΊΠ°Ρ‚Ρ‹, ΠΈΠΌΠ΅ΡŽΡ‰ΠΈΠ΅ Π΄Π²Π° ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€Π°. ΠŸΠ΅Ρ€Π²Ρ‹ΠΉ ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€ — Π½Π°ΠΈΠΌΠ΅Π½ΠΎΠ²Π°Π½ΠΈΠ΅ устройства (указываСтся Π² ΠΊΠ°Π²Ρ‹Ρ‡ΠΊΠ°Ρ…, Ρ‚.ΠΊ. строковый Ρ‚ΠΈΠΏ), Π²Ρ‚ΠΎΡ€ΠΎΠΉ — Π΅Π³ΠΎ Ρ†Π΅Π½Π° (Ρ†Π΅Π»Ρ‹ΠΉ Ρ‚ΠΈΠΏ). Π’ Ρ€Π°Π·Π΄Π΅Π»Π΅ ΠΏΡ€Π΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠΉ Π²Π²ΠΎΠ΄ΠΈΠΌ Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΡ‹Π΅ значСния.

predicates

mainboard: (string, integer) nondeterm (i, o).

cpu: (string, integer) nondeterm (i, o).

video: (string, integer) nondeterm (i, o).

ram: (string, integer) nondeterm (i, o).

rom: (string, integer) nondeterm (i, o).

power: (string, integer) nondeterm (i, o).

mon: (string, integer) nondeterm (i, o).

hdd: (string, integer) nondeterm (i, o).

clauses

mainboard («ASUSTeK DSBF-D/SAS/2GBL (RTL) Dual Socket771», 15 300).

mainboard («GigaByte GA-P35_DS4 (RTL) Socket775», 10 000).

mainboard («INTEL S3000AHV (RTL) Socket775 «, 5600).

cpu («Intel Xeon X5355 BOX Active or 1U Passive 2.66», 16 800).

cpu («Intel Pentium 4 3.4», 6200).

cpu («AMD ATHLON64 X2 4600+», 8500).

video («Albatron NVidia GeForce4 Ti4200», 1200).

video («512Mb DDR Gigabyte GV-NX86T512H (RTL)», 4000).

video («768Mb DDR MSI MS-V801 NX8800GTX-T2D768E-HD-OC (RTL)», 20 000).

ram («HYUNDAI/HYNIX DDR-II DIMM 1Gb «, 550).

ram («Corsair DDR-III DIMM 2Gb «, 15 500).

ram («Kingmax DDR-II DIMM 2Gb KIT 2*1Gb «, 7000).

rom («RAM&DVDR/RW&CDRW ASUS DRW_1814BL», 1000).

rom («RAM & DVDR/RW & CDRW LG GSA-E50L», 1300).

rom («RAM & DVDR/RW & CDRW TSST SH-S203D», 1500).

hdd («750.0 Gb SATA-II 300 Hitachi 7200rpm», 11 000).

hdd («250 Gb SATA-II 300 Seagate Barracuda 7200rpm», 1800).

hdd («500 Gb SATA-II 300 Western Digital 7200rpm», 5400).

power («ZALMAN (RTL) Cooler for Socket775/754/939/940/AM2», 1500).

power («HighPaq «, 1200).

power («Glacial Tech Cooler for Socket AM2/754/939/940/F», 3700).

mon («19' MONITOR Acer AL1916Cs», 7000).

mon («17' MONITOR 0.20 Samsung SyncMaster 793DF», 5000).

mon («17' MONITOR ASUS VB171D BK», 5600).

4.9 Π”ΠΎΠ±Π°Π²Π»Π΅Π½ΠΈΠ΅ ΠΎΠ±Ρ€Π°Π±ΠΎΡ‚Ρ‡ΠΈΠΊΠ° ΠΊΠ½ΠΎΠΏΠΊΠΈ

Π§Ρ‚ΠΎΠ±Ρ‹ Π΄ΠΎΠ±Π°Π²ΠΈΡ‚ΡŒ ΠΎΠ±Ρ€Π°Π±ΠΎΡ‚Ρ‡ΠΈΠΊ ΠΊΠ½ΠΎΠΏΠΊΠΈ «Π’ывСсти ΡΡ‚ΠΎΠΈΠΌΠΎΡΡ‚ΡŒ», Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎ Π² ΠΎΠΊΠ½Π΅ «Properties» ΠΏΠ΅Ρ€Π΅ΠΉΡ‚ΠΈ Π½Π° Π²ΠΊΠ»Π°Π΄ΠΊΡƒ «Events» ΠΈ Π΄ΠΎΠ±Π°Π²ΠΈΡ‚ΡŒ событиС «onCost_pushButtonClick» Π² ΠΌΠ΅ΡΡ‚Π΅, ΡƒΠΊΠ°Π·Π°Π½Π½ΠΎΠΌ Π½Π° Ρ€ΠΈΡΡƒΠ½ΠΊΠ΅ Π½ΠΈΠΆΠ΅.

ПослС Π΄Π²ΠΎΠΉΠ½Ρ‹ΠΌ Π½Π°ΠΆΠ°Ρ‚ΠΈΠ΅ΠΌ ΠΏΠΎ ΡΠΎΠ±Ρ‹Ρ‚ΠΈΡŽ ΠΏΠ΅Ρ€Π΅ΠΉΡ‚ΠΈ Π² ΠΎΠΊΠ½ΠΎ Π²Π²ΠΎΠ΄Π° ΠΊΠΎΠ΄Π° ΠΈ Π΄ΠΎΠ±Π°Π²ΠΈΡ‚ΡŒ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠΉ кусок ΠΊΠΎΠ΄Π°:

predicates

onPushButtonClick: button: clickResponder.

clauses

onPushButtonClick (_Source) = button: defaultAction:;

A = listEdit_ctl:getText (),

B = listEdit1_ctl:getText (),

C = listEdit2_ctl:getText (),

D=listEdit3_ctl:getText (),

E=listEdit4_ctl:getText (),

F=listEdit5_ctl:getText (),

G=listEdit6_ctl:getText (),

H=listEdit7_ctl:getText (),

mainboard (A, Stoimost1),

cpu (B, Stoimost2),

ram (C, Stoimost3),

power (D, Stoimost4),

video (E, Stoimost5),

hdd (F, Stoimost6),

rom (G, Stoimost7),

mon (H, Stoimost8),

Stoimost=Stoimost1+Stoimost2+Stoimost3+Stoimost4+Stoimost5+Stoimost6+Stoimost7+Stoimost8,

Summa=toString (Stoimost),

edit_ctl:setText (Summa),!.

onPushButtonClick (_Source) = button: defaultAction ().

Π’Π΅ΠΏΠ΅Ρ€ΡŒ ΠΏΡ€ΠΈ Π½Π°ΠΆΠ°Ρ‚ΠΈΠΈ ΠΊΠ½ΠΎΠΏΠΊΠΈ «Π’ывСсти ΡΡ‚ΠΎΠΈΠΌΠΎΡΡ‚ΡŒ» Π² ΠΏΠΎΠ»Π΅ Edit Π±ΡƒΠ΄Π΅Ρ‚ выводится ΡΡ‚ΠΎΠΈΠΌΠΎΡΡ‚ΡŒ ΠΊΠΎΠ½Ρ„ΠΈΠ³ΡƒΡ€Π°Ρ†ΠΈΠΈ ΠΊΠΎΠΌΠΏΡŒΡŽΡ‚Π΅Ρ€Π°.

5. ОписаниС Ρ€Π°Π±ΠΎΡ‚Ρ‹ ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΡ‹

ΠŸΡ€ΠΈ запускС ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΡ‹ BuildExecute (Ctrl+F5) появляСтся ΠΎΠΊΠ½ΠΎ. ΠŸΡ€ΠΈ Π½Π°ΠΆΠ°Ρ‚ΠΈΠΈ клавиши F7 (FileNew) появляСтся ΠΎΠΊΠ½ΠΎ Ρ„ΠΎΡ€ΠΌΡ‹ sostavPC.

Код ΠΊ ΠΏΡƒΠ½ΠΊΡ‚Ρƒ FileNew Π² TaskWindow.pro:

predicates

onFileNew: window: menuItemListener.

clauses

onFileNew (_Source, _MenuTag):;

Form=sostavPC:new (_Source),

Form:show ().

ΠŸΡ€ΠΈΠΌΠ΅Ρ‡Π°Π½ΠΈΠ΅: ΠΏΡ€ΠΈ Π²Ρ‹Π±ΠΎΡ€Π΅ ΠΏΡƒΠ½ΠΊΡ‚Π° FileNew ΠΎΡ‚ΠΎΠ±Ρ€Π°Π·ΠΈΡ‚ΡŒ содСрТимоС Ρ„ΠΎΡ€ΠΌΡ‹ sostavPC Π½Π° ΡΠΊΡ€Π°Π½.

Для Π²Ρ‹Π±ΠΎΡ€Π° устройств ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡŽΡ‚ΡΡ поля со ΡΠΏΠΈΡΠΊΠΎΠΌ — listEdit_ctl. Π§Ρ‚ΠΎΠ±Ρ‹ ΠΏΡ€ΠΈ Π·Π°Π³Ρ€ΡƒΠ·ΠΊΠ΅ Ρ„ΠΎΡ€ΠΌΡ‹ Π²Π°Ρ€ΠΈΠ°Π½Ρ‚Ρ‹ для Π²Ρ‹Π±ΠΎΡ€Π° устройства сразу появлялись Π² ΡΠΏΠΈΡΠΊΠ΅, ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅Ρ‚ΡΡ ΠΏΡ€Π΅Π΄ΠΈΠΊΠ°Ρ‚ onShow. Π•Π³ΠΎ ΠΊΠΎΠ΄:

predicates

onShow: window: showListener.

clauses

onShow (_Source, _Data):;

Mainboard=listEdit_ctl:tryGetVpiWindow (),

Cpu=listEdit1_ctl:tryGetVpiWindow (),

Video=listEdit4_ctl:tryGetVpiWindow (),

Ram=listEdit2_ctl:tryGetVpiWindow (),

Rom=listEdit6_ctl:tryGetVpiWindow (),

Power=listEdit3_ctl:tryGetVpiWindow (),

Monitor=listEdit7_ctl:tryGetVpiWindow (),

Hdd=listEdit5_ctl:tryGetVpiWindow (),!,

vpi:lboxAdd (Mainboard, ["ASUSTeK DSBF-D/SAS/2GBL (RTL) Dual Socket771″, «GigaByte GA-P35_DS4 (RTL) Socket775», «INTEL S3000AHV (RTL) Socket775 «]),

vpi:lboxAdd (Cpu, ["Intel Xeon X5355 BOX Active or 1U Passive 2.66>", «Intel Pentium 4 3.4», «AMDATHLON64 X2 4600+"]),

vpi:lboxAdd (Video, ["Albatron NVidia GeForce4 Ti4200″, «512Mb DDR Gigabyte GV-NX86T512H (RTL)», «768Mb DDR MSI MS-V801 NX8800GTX-T2D768E-HD-OC (RTL)"]),

vpi:lboxAdd (Ram, ["HYUNDAI/HYNIX DDR-II DIMM 1Gb «, «Corsair DDR-III DIMM 2Gb «, «Kingmax DDR-II DIMM 2Gb KIT 2*1Gb «]),

vpi:lboxAdd (Rom, ["RAM&DVDR/RW&CDRW ASUS DRW_1814BL", «RAM & DVDR/RW & CDRW LG GSA-E50L», «RAM & DVDR/RW & CDRW TSST SH-S203D"]),

vpi:lboxAdd (Power, ["ZALMAN (RTL) Cooler for Socket775/754/939/940/AM2″, «HighPaq «, «Glacial Tech Cooler for Socket AM2/754/939/940/F"]),

vpi:lboxAdd (Monitor, ["19' MONITOR Acer AL1916Cs", «17' MONITOR 0.20 Samsung SyncMaster 793DF», «17' MONITOR ASUS VB171D BK"]),

vpi:lboxAdd (Hdd, ["750.0 Gb SATA-II 300 Hitachi 7200rpm", «250 Gb SATA-II 300 Seagate Barracuda 7200rpm», «500 Gb SATA-II 300 Western Digital 7200rpm"]).

onShow (_, _).

ПослС Ρ‚ΠΎΠ³ΠΎ ΠΊΠ°ΠΊ Π²Ρ‹Π±Ρ€Π°Π½Ρ‹ всС устройства Π½Π°Π΄ΠΎ Π½Π°ΠΆΠ°Ρ‚ΡŒ Π½Π° ΠΊΠ½ΠΎΠΏΠΊΡƒ «Π’ывСсти ΡΡ‚ΠΎΠΈΠΌΠΎΡΡ‚ΡŒ», послС этого Π² ΠΏΠΎΠ»Π΅ cost_edit_ctl выводится ΡΡ‚ΠΎΠΈΠΌΠΎΡΡ‚ΡŒ ΠΊΠΎΠ½Ρ„ΠΈΠ³ΡƒΡ€Π°Ρ†ΠΈΠΈ.

ΠžΠ±Ρ€Π°Π±ΠΎΡ‚Ρ‡ΠΈΠΊ ΠΊΠ½ΠΎΠΏΠΊΠΈ «Π’ывСсти ΡΡ‚ΠΎΠΈΠΌΠΎΡΡ‚ΡŒ»:

predicates

onPushButtonClick: button: clickResponder.

clauses

onPushButtonClick (_Source) = button: defaultAction:;

A = listEdit_ctl:getText (),

B = listEdit1_ctl:getText (),

C = listEdit2_ctl:getText (),

D=listEdit3_ctl:getText (),

E=listEdit4_ctl:getText (),

F=listEdit5_ctl:getText (),

G=listEdit6_ctl:getText (),

H=listEdit7_ctl:getText (),

mainboard (A, Stoimost1),

cpu (B, Stoimost2),

ram (C, Stoimost3),

power (D, Stoimost4),

video (E, Stoimost5),

hdd (F, Stoimost6),

rom (G, Stoimost7),

mon (H, Stoimost8),

Stoimost=Stoimost1+Stoimost2+Stoimost3+Stoimost4+Stoimost5+Stoimost6+Stoimost7+Stoimost8,

Summa=toString (Stoimost),

edit_ctl:setText (Summa),!.

onPushButtonClick (_Source) = button: defaultAction ().

6. Руководство ΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚Π΅Π»Ρ

1) Для запуска ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΡ‹ Π²Ρ‹Π±Ρ€Π°Ρ‚ΡŒ Π½Π° ΠΏΠ°Π½Π΅Π»ΠΈ Π·Π°Π΄Π°Ρ‡ ΠΊΠΎΠΌΠ°Π½Π΄Ρƒ BuildExecute (запуск) ΠΈΠ»ΠΈ Π½Π°ΠΆΠ°Ρ‚ΡŒ сочСтаниС клавиш Ctrl+F5. На ΡΠΊΡ€Π°Π½Π΅ появится ΠΎΠΊΠ½ΠΎ:

2. НаТмитС FileNew ΠΈΠ»ΠΈ ΠΊΠ»Π°Π²ΠΈΡˆΡƒ F7 ΠΈ ΠΏΠΎΡΠ²ΠΈΡ‚ся Ρ„ΠΎΡ€ΠΌΠ°:

3) Π’Ρ‹Π±Π΅Ρ€ΠΈΡ‚Π΅ ΠΈΠ· Π²Ρ‹ΠΏΠ°Π΄Π°ΡŽΡ‰ΠΈΡ… списков Π½ΡƒΠΆΠ½Ρ‹Π΅ устройства:

4) НаТмитС ΠΊΠ½ΠΎΠΏΠΊΡƒ «Π’ывСсти ΡΡ‚ΠΎΠΈΠΌΠΎΡΡ‚ΡŒ», Ρ‡Ρ‚ΠΎΠ±Ρ‹ ΡƒΠ·Π½Π°Ρ‚ΡŒ ΡΡ‚ΠΎΠΈΠΌΠΎΡΡ‚ΡŒ ΠΊΠΎΠ½Ρ„ΠΈΠ³ΡƒΡ€Π°Ρ†ΠΈΠΈ ΠΊΠΎΠΌΠΏΡŒΡŽΡ‚Π΅Ρ€Π°:

Π—Π°ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠ΅

Π’ Π΄Π°Π½Π½ΠΎΠΉ курсовой Ρ€Π°Π±ΠΎΡ‚Π΅ Π±Ρ‹Π»ΠΈ ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Π½Ρ‹ ΠΈ ΠΏΡ€Π΅Π΄ΡΡ‚Π°Π²Π»Π΅Π½Ρ‹ основныС возмоТности языка программирования Visual Prolog v. 7.4 для написания ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΡ‹ ΠΏΠΎ Π²Ρ‹Π±ΠΎΡ€Ρƒ состава ΠŸΠš. Visual Prolog v. 7.4 прСдоставляСт Ρ€Π°Π·Ρ€Π°Π±ΠΎΡ‚Ρ‡ΠΈΠΊΡƒ Π±ΠΎΠ³Π°Ρ‚Ρ‹Π΅ возмоТности ΠΏΠΎ ΡΠΎΠ·Π΄Π°Π½ΠΈΡŽ ΠΏΠΎΠ΄ΠΎΠ±Π½Ρ‹Ρ… ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌ.

1) ΠšΠΎΡΡ‚Ρ€ΠΎΠ² Π‘. Π’., Π ΡƒΡ‡ΠΊΠΈΠ½ Π’. Н., Π€ΡƒΠ»ΠΈΠ½ Π’. А. ΠžΡΠ½ΠΎΠ²Ρ‹ искусствСнного ΠΈΠ½Ρ‚Π΅Π»Π»Π΅ΠΊΡ‚Π°. — Πœ., «Π”Ссс», 2012.

2) Costa Eduardo. Visual Prolog 7.0 for Typos.

3) ΠœΠΎΡ€ΠΎΠ·ΠΎΠ² М. Н., ΠšΡƒΡ€Ρ Π»Π΅ΠΊΡ†ΠΈΠΉ ΠΏΠΎ Π΄ΠΈΡΡ†ΠΈΠΏΠ»ΠΈΠ½Π΅ «Π‘истСмы искусствСнного ΠΈΠ½Ρ‚Π΅Π»Π»Π΅ΠΊΡ‚Π°», ΠœΠ°Ρ€ΠΈΠΉΡΠΊΠΈΠΉ государствСнный тСхничСский унивСрситСт, Π³. Π™ΠΎΡˆΠΊΠ°Ρ€-Ола, http://www.marstu.mari.ru:8101/mmlab/home/AI/index.html

4) Бурмистрова Н. А., ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡Π΅ΡΠΊΠΎΠ΅ ΠΌΠΎΠ΄Π΅Π»ΠΈΡ€ΠΎΠ²Π°Π½ΠΈΠ΅ ΠΈ Π²ΡΠ΅ΠΎΠ±Ρ‰Π°Ρ ΠΊΠΎΠΌΠΏΡŒΡŽΡ‚Π΅Ρ€ΠΈΠ·Π°Ρ†ΠΈΡ ΠΈΠ»ΠΈ ΠΈΠΌΠΈΡ‚Π°Ρ†ΠΈΠΎΠ½Π½Ρ‹Π΅ ΠΌΠΎΠ΄Π΅Π»ΠΈ. ΠšΠΎΠ½Ρ„Π΅Ρ€Π΅Π½Ρ†ΠΈΡ «Π˜Π½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΎΠ½Π½Ρ‹Π΅ Ρ‚Π΅Ρ…Π½ΠΎΠ»ΠΎΠ³ΠΈΠΈ Π² ΠΎΠ±Ρ€Π°Π·ΠΎΠ²Π°Π½ΠΈΠΈ, ИВО98/99»

5) Π”ΠΆΠΎΡ€Π΄ΠΆ Π€. Π›ΡŽΠ³Π³Π΅Ρ€, Π˜ΡΠΊΡƒΡΡΡ‚Π²Π΅Π½Π½Ρ‹ΠΉ ΠΈΠ½Ρ‚Π΅Π»Π»Π΅ΠΊΡ‚. Π‘Ρ‚Ρ€Π°Ρ‚Π΅Π³ΠΈΠΈ ΠΈ ΠΌΠ΅Ρ‚ΠΎΠ΄Ρ‹ Ρ€Π΅ΡˆΠ΅Π½ΠΈΡ слоТных ΠΏΡ€ΠΎΠ±Π»Π΅ΠΌ. Москва, «Π’ΠΈΠ»ΡŒΡΠΌΡ», 2003 Π³.

ΠŸΡ€ΠΈΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅

Код ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΡ‹

*****************************************************************************

Copyright © 2014 My Company

******************************************************************************/

implement sostavPC

inherits formWindow

open core, vpiDomains

clauses

display (Parent) = Form:;

Form = new (Parent),

Form:show ().

clauses

new (Parent):;

formWindow:new (Parent),

generatedInitialize ().

predicates

onShow: window: showListener.

clauses

onShow (_Source, _Data):;

Mainboard=listEdit_ctl:tryGetVpiWindow (),

Cpu=listEdit1_ctl:tryGetVpiWindow (),

Video=listEdit4_ctl:tryGetVpiWindow (),

Ram=listEdit2_ctl:tryGetVpiWindow (),

Rom=listEdit6_ctl:tryGetVpiWindow (),

Power=listEdit3_ctl:tryGetVpiWindow (),

Monitor=listEdit7_ctl:tryGetVpiWindow (),

Hdd=listEdit5_ctl:tryGetVpiWindow (),!,

vpi:lboxAdd (Mainboard, ["ASUSTeK DSBF-D/SAS/2GBL (RTL) Dual Socket771″, «GigaByte GA-P35_DS4 (RTL) Socket775», «INTEL S3000AHV (RTL) Socket775 «]),

vpi:lboxAdd (Cpu, ["Intel Xeon X5355 BOX Active or 1U Passive 2.66>", «Intel Pentium 4 3.4», «AMDATHLON64 X2 4600+"]),

vpi:lboxAdd (Video, ["Albatron NVidia GeForce4 Ti4200″, «512Mb DDR Gigabyte GV-NX86T512H (RTL)», «768Mb DDR MSI MS-V801 NX8800GTX-T2D768E-HD-OC (RTL)"]),

vpi:lboxAdd (Ram, ["HYUNDAI/HYNIX DDR-II DIMM 1Gb «, «Corsair DDR-III DIMM 2Gb «, «Kingmax DDR-II DIMM 2Gb KIT 2*1Gb «]),

vpi:lboxAdd (Rom, ["RAM&DVDR/RW&CDRW ASUS DRW_1814BL", «RAM & DVDR/RW & CDRW LG GSA-E50L», «RAM & DVDR/RW & CDRW TSST SH-S203D"]),

vpi:lboxAdd (Power, ["ZALMAN (RTL) Cooler for Socket775/754/939/940/AM2″, «HighPaq «, «Glacial Tech Cooler for Socket AM2/754/939/940/F"]),

vpi:lboxAdd (Monitor, ["19' MONITOR Acer AL1916Cs", «17' MONITOR 0.20 Samsung SyncMaster 793DF», «17' MONITOR ASUS VB171D BK"]),

vpi:lboxAdd (Hdd, ["750.0 Gb SATA-II 300 Hitachi 7200rpm", «250 Gb SATA-II 300 Seagate Barracuda 7200rpm», «500 Gb SATA-II 300 Western Digital 7200rpm"]).

onShow (_, _).

predicates

mainboard: (string, integer) nondeterm (i, o).

cpu: (string, integer) nondeterm (i, o).

video: (string, integer) nondeterm (i, o).

ram: (string, integer) nondeterm (i, o).

rom: (string, integer) nondeterm (i, o).

power: (string, integer) nondeterm (i, o).

mon: (string, integer) nondeterm (i, o).

hdd: (string, integer) nondeterm (i, o).

clauses

mainboard («ASUSTeK DSBF-D/SAS/2GBL (RTL) Dual Socket771», 15 300).

mainboard («GigaByte GA-P35_DS4 (RTL) Socket775», 10 000).

mainboard («INTEL S3000AHV (RTL) Socket775 «, 5600).

cpu («Intel Xeon X5355 BOX Active or 1U Passive 2.66», 16 800).

cpu («Intel Pentium 4 3.4», 6200).

cpu («AMD ATHLON64 X2 4600+», 8500).

video («Albatron NVidia GeForce4 Ti4200», 1200).

video («512Mb DDR Gigabyte GV-NX86T512H (RTL)», 4000).

video («768Mb DDR MSI MS-V801 NX8800GTX-T2D768E-HD-OC (RTL)», 20 000).

ram («HYUNDAI/HYNIX DDR-II DIMM 1Gb «, 550).

ram («Corsair DDR-III DIMM 2Gb «, 15 500).

ram («Kingmax DDR-II DIMM 2Gb KIT 2*1Gb «, 7000).

rom («RAM&DVDR/RW&CDRW ASUS DRW_1814BL», 1000).

rom («RAM & DVDR/RW & CDRW LG GSA-E50L», 1300).

rom («RAM & DVDR/RW & CDRW TSST SH-S203D», 1500).

hdd («750.0 Gb SATA-II 300 Hitachi 7200rpm», 11 000).

hdd («250 Gb SATA-II 300 Seagate Barracuda 7200rpm», 1800).

hdd («500 Gb SATA-II 300 Western Digital 7200rpm», 5400).

power («ZALMAN (RTL) Cooler for Socket775/754/939/940/AM2», 1500).

power («HighPaq «, 1200).

power («Glacial Tech Cooler for Socket AM2/754/939/940/F», 3700).

mon («19' MONITOR Acer AL1916Cs», 7000).

mon («17' MONITOR 0.20 Samsung SyncMaster 793DF», 5000).

mon («17' MONITOR ASUS VB171D BK», 5600).

predicates

onPushButtonClick: button: clickResponder.

clauses

onPushButtonClick (_Source) = button: defaultAction:;

A = listEdit_ctl:getText (),

B = listEdit1_ctl:getText (),

C = listEdit2_ctl:getText (),

D=listEdit3_ctl:getText (),

E=listEdit4_ctl:getText (),

F=listEdit5_ctl:getText (),

G=listEdit6_ctl:getText (),

H=listEdit7_ctl:getText (),

mainboard (A, Stoimost1),

cpu (B, Stoimost2),

ram (C, Stoimost3),

power (D, Stoimost4),

video (E, Stoimost5),

hdd (F, Stoimost6),

rom (G, Stoimost7),

mon (H, Stoimost8),

Stoimost=Stoimost1+Stoimost2+Stoimost3+Stoimost4+Stoimost5+Stoimost6+Stoimost7+Stoimost8,

Summa=toString (Stoimost),

edit_ctl:setText (Summa),!.

onPushButtonClick (_Source) = button: defaultAction ().

% This code is maintained automatically, do not update it manually. 14:00:47−16.6.2014

facts

listEdit_ctl: listEdit.

listEdit1_ctl: listEdit.

listEdit2_ctl: listEdit.

listEdit3_ctl: listEdit.

listEdit4_ctl: listEdit.

listEdit5_ctl: listEdit.

listEdit6_ctl: listEdit.

listEdit7_ctl: listEdit.

pushButton_ctl: button.

edit_ctl: editControl.

predicates

generatedInitialize: ().

clauses

generatedInitialize ():;

setFont (vpi:fontCreateByName («Tahoma», 8)),

setText («sostavPC»),

setRect (rct (50,40,394,243)),

setDecoration (titlebar ([closebutton (), maximizebutton (), minimizebutton ()])),

setBorder (sizeBorder ()),

setState ([wsf_ClipSiblings, wsf_ClipChildren]),

menuSet (noMenu),

addShowListener (onShow),

StaticText6_ctl = textControl: new (This),

StaticText6_ctl:setText («Π”исковод:»),

StaticText6_ctl:setPosition (16, 113),

StaticText6_ctl:setSize (80, 10),

StaticText7_ctl = textControl: new (This),

StaticText7_ctl:setText («ΠœΠΎΠ½ΠΈΡ‚ΠΎΡ€:»),

StaticText7_ctl:setPosition (16, 131),

StaticText7_ctl:setSize (80, 10),

StaticText_ctl = textControl: new (This),

StaticText_ctl:setText («ΠœΠ°Ρ‚Сринская ΠΏΠ»Π°Ρ‚Π°:»),

StaticText_ctl:setPosition (16, 15),

StaticText_ctl:setSize (80, 10),

StaticText1_ctl = textControl: new (This),

StaticText1_ctl:setText («ΠŸΡ€ΠΎΡ†Π΅ΡΡΠΎΡ€:»),

StaticText1_ctl:setPosition (16, 31),

StaticText1_ctl:setSize (80, 10),

StaticText2_ctl = textControl: new (This),

StaticText2_ctl:setText («ΠžΠΏΠ΅Ρ€Π°Ρ‚ивная ΠΏΠ°ΠΌΡΡ‚ΡŒ:»),

StaticText2_ctl:setPosition (16, 47),

StaticText2_ctl:setSize (80, 10),

StaticText3_ctl = textControl: new (This),

StaticText3_ctl:setText («Π‘Π»ΠΎΠΊ питания:»),

StaticText3_ctl:setPosition (16, 63),

StaticText3_ctl:setSize (80, 10),

StaticText4_ctl = textControl: new (This),

StaticText4_ctl:setText («Π’ΠΈΠ΄Π΅ΠΎΠΊΠ°Ρ€Ρ‚Π°:»),

StaticText4_ctl:setPosition (16, 80),

StaticText4_ctl:setSize (80, 10),

StaticText5_ctl = textControl: new (This),

StaticText5_ctl:setText («Π–ёсткий диск:»),

StaticText5_ctl:setPosition (16, 96),

StaticText5_ctl:setSize (80, 10),

listEdit_ctl:= listEdit: new (This),

listEdit_ctl:setText (««),

listEdit_ctl:setPosition (122, 14),

listEdit_ctl:setWidth (176),

listEdit1_ctl:= listEdit: new (This),

listEdit1_ctl:setText (««),

listEdit1_ctl:setPosition (122, 30),

listEdit1_ctl:setWidth (176),

listEdit2_ctl:= listEdit: new (This),

listEdit2_ctl:setText (««),

listEdit2_ctl:setPosition (122, 46),

listEdit2_ctl:setWidth (176),

listEdit3_ctl:= listEdit: new (This),

listEdit3_ctl:setText (««),

listEdit3_ctl:setPosition (122, 62),

listEdit3_ctl:setWidth (176),

listEdit4_ctl:= listEdit: new (This),

listEdit4_ctl:setText (««),

listEdit4_ctl:setPosition (122, 78),

listEdit4_ctl:setWidth (176),

listEdit5_ctl:= listEdit: new (This),

listEdit5_ctl:setText (««),

listEdit5_ctl:setPosition (122, 94),

listEdit5_ctl:setWidth (176),

listEdit6_ctl:= listEdit: new (This),

listEdit6_ctl:setText (««),

listEdit6_ctl:setPosition (122, 112),

listEdit6_ctl:setWidth (176),

listEdit7_ctl:= listEdit: new (This),

listEdit7_ctl:setText (««),

listEdit7_ctl:setPosition (122, 130),

listEdit7_ctl:setWidth (176),

pushButton_ctl:= button: new (This),

pushButton_ctl:setText («Π’ывСсти ΡΡ‚ΠΎΠΈΠΌΠΎΡΡ‚ΡŒ»),

pushButton_ctl:setPosition (16, 170),

pushButton_ctl:setWidth (72),

pushButton_ctl:defaultHeight:= true (),

pushButton_ctl:setClickResponder (onPushButtonClick),

edit_ctl:= editControl: new (This),

edit_ctl:setText (««),

edit_ctl:setPosition (124, 172).

% end of automatic code

end implement sostavPC

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