Моделирование как основной метод решения задач ИТ. Общие принципы решения лингвистических задач методом моделирования

Суть метода решения задач заключается в создании модели некоторого объекта, явления или процесса.

Модель – формализованное описание объекта, процесса или явления, выраженное конечным набором предложений какого-либо языка, математическими формулами, таблицами, графиками, специальными значками или схемами. Упрощенное представление реального устройства и\или протекающих  в нем процессов\явлений.

Свойства модели:

1. Модель выступает в качестве упрощённого аналога изучаемого объекта;
2. Модель не должна быть сложнее своего оригинала;
3. Способ моделирования должен быть самым экономичным методом изучения объекта;
4. Построенная модель должна быть предельно простой и не содержать противоречий;
5. Модель должна иметь общий (универсальный) характер, позволяющий использовать её для изучения других, сходных объектов;
6. Модель должны отражать наиболее существенные черты реального мира.

Виды моделей:

1. Структурные (служат для изучения и описания внутреннего строения некоторого объекта);
2. Функциональные (позволяют изучать поведение объекта в процессах);
3. Динамические (позволяют объяснить процесс в динамическом развитии).

В лингвистике чаще всего используются функциональные модели.

Общий принцип решения лингвистической задачи методом моделирования:

1. Постановка задачи:
   1. Описание решаемой задачи;
   2. Формулирование цели моделирования;
   3. Анализ оригинала модели объекта, т.е. выделение наиболее важных (формальных) свойств, которые мог бы легко опознать ПК.
2. Разработка модели: построение модели в виде алгоритма.
   Алгоритм – точное предписание по выполнению в определённом порядке некоторой последовательности действий (физических или умственных, приводящее к решению некоторой типовой задачи.
   Свойства алгоритма:

• Дискретность (алгоритма разбивается на конечное число шагов, причём только после выполнения предыдущего шага можно выполнить следующий);
• Результативность (при всех начальных условиях число шагов алгоритма конечно и он приводит к решению задачи);
• Массовость (по данному алгоритму может быть решён целый ряд типовых задач, которые отличаются лишь разными начальными условиями);
• Детерминированность (при многократном решении одной и той же задачи с одинаковыми начальными условиями получается всегда один и тот же результат);
• Формализованность (выполняющий алгоритм может не вникать в смысл того, что он делает, т.к. всё равно придёт к верному результату);

Способы записи алгоритма:

• Словесный;
• Графическое представление (шаги изображаются геометрическими фигурами, образующими блок-схему);
• Табличный;
• Словесно-графический (чаще всего используется при решении лингвистических задач);

3. Проведение компьютерного эксперимента: связано с созданием на основе алгоритма компьютерной программы на каком-либо алгоритмическом языке (каждый шаг алгоритма будет записан в виде команды алгоритмического языка);
4. Анализ результатов компьютерной модели: в процессе анализа результатов работы компьютерной модели выявляются логические ошибки в компьютерной программе и алгоритме.