(так звані правила виводу). p align="justify">. Залежно від характеру і цілей створюваної моделі можуть формулюватися (але можуть і не формулюватися) пропозиції, що вважаються вихідними (аксіоми або постулати). Як правило, формулюються не власними аксіоми даної знакової системи, а схеми аксіом з відповідними правилами підстановки. p align="justify"> Знакові моделі мають деякою самостійністю. У їх межах і їх засобами часто ставляться і вирішуються завдання, реальний зміст яких може бути спочатку не ясний. У знакових моделях теорія подібності абсолютно не може бути застосована. p align="justify"> Сьогодні більша частина досліджень з знаковим моделям ведеться в руслі логіко-математичних. У цих моделях природа прототипу і моделі вже не грає ніякої ролі. У цих моделях важливі чисто логічні і математичні властивості. Опис моделі в цьому випадку не віддільна від самої моделі. Можливість експериментування відсутній і замінюється висновком. Нові знання виходять шляхом логічного та математичного висновків з початкового опису моделі. Математичне моделювання в соціальній психології не обмежується операціями кількісними, воно може мати справу також і з якісними характеристиками. Деякі соціально-психологічні процеси - такі, як прийняття рішень на виборах або розподіл голосів виборців, можуть бути визначені повністю в математичних термінах. У подібних випадках математичні моделі є засобом вивчення логічних наслідків з спостережуваних правил. p align="justify"> У разі складних систем, коли неясно кількісне вираження множини цільових функцій, використовуються імітаційні моделі. Імітаційне моделювання застосовується для аналізу поведінки системи, тут не досліджуються фундаментальні закони динаміки системи. При цьому функціонування складної системи представляється у вигляді певного алгоритму, який реалізується на ЕОМ. p align="justify"> Можливий варіант побудови моделі, при якому формальна структура вибирається на інтуїтивних підставах. Прийнята формальна модель може підказати нам загальне структурне уявлення про досліджуваної системі. У цьому випадку усвідомлення і вербалізація концепції слідують за вже готовою її математичної формою. Безліч можливих абстрактних структур свідомо менше безлічі їх конкретних інтерпретацій. p align="justify"> Математичні та комп'ютерні моделі. Прикладом математичної моделі соціальної поведінки може служити модель Льюїса Ф.Річардсона, або модель гонки озброєнь. Розглянемо її для ілюстрації компактності, трансформованим та ефективності математичних моделей. Ця модель враховує дію всього лише трьох факторів: а) держава Х відчуває наявність військової загрози з боку держави Y, точно така ж логіка діє з боку держави Y, б) тягар витрат; в) минулі образи. br/>
Хt +1 = kYt - aXt + g+ 1 = mXt - bYt + h
і Yt - величини рівнів озброєння в момент часу t
Коефіцієнти k, m, a, b - є позитивними величинами, а g і h - позитивними чи негативними залежно від т...