собів формалізації. Різниця в тому, що спеціальні мови (мови формул, програмування і т. п.) - це строго формалізовані системи, а природні мови (розмовні, мови мистецтва, міміки і жестів і т. п.) - частково формалізовані системи.
Багато проблем подання та передачі знань пов'язані з проблемами їх формалізації. Знання - це сприйнята, усвідомлена і стала особистісно значущої інформація. У процесі пізнання в результаті безпосередніх спостережень, проведення експериментів ми отримуємо інформацію. Формалізація отриманої інформації є один з компонентів процесу її усвідомлення.
Мовна система, в рамках якої виробляється формалізація, має свої виразні можливості і тим самим накладає обмеження на вибір форми.
Так, словесний опис можна успішно застосовувати при моделюванні зовнішнього вигляду, менш ефективно воно при моделюванні структури. Моделювання ж поведінки допомогою словесного опису хоч і звично для нас, але менш наочно порівняно, скажімо, з відеофільмом.
Приклад.
Короткий виклад сюжету роману є моделлю тій же ситуації, що й сам роман. Але роман розкриває цю ситуацію повніше, глибше і образніше. Фільм, знятий за романом, - модель тієї ж ситуації. Але якщо образи, що виникають у вас при читанні роману - це створена вами модель, то фільм відображає моделювання ситуації режисером.
Мова малюнків використовується в основному для моделювання зовнішнього вигляду об'єкту. Змоделювати поведінку об'єкта в одному малюнку практично неможливо, для цього буде потрібно серія малюнків. Мови креслень, схем, таблиць найкраще підходять для моделювання структури об'єкта.
Найбільшу складність для інформаційного моделювання являє поведінку об'єкта, оскільки воно обов'язково включає такий параметр, як час, але аналіз таких моделей дає найбільшу інформацію про об'єкт. Саме тому моделювання динамічних процесів і імітаційне моделювання складних біологічних, технічних, соціальних систем представляє великий практичний інтерес.
Етапи моделювання
1. Постановка мети моделювання. p> 2. Аналіз моделювання об'єкта і виділення всіх його відомих властивостей.
3. Аналіз виділених властивостей з точки зору мети моделювання і визначення, які з них слід вважати суттєвими.
4. Вибір форми подання моделі. p> 5. Формалізація. p> 6. Аналіз отриманої моделі на несуперечливість.
7. Аналіз адекватності отриманої моделі об'єкту і мети моделювання.
Взаємозв'язок етапів моделювання відображена на рис.4
В
Рис. 4 Схема взаємозв'язку етапів моделювання
