Моделирование в теоретической лингвистике в своих существенных чертах соответствует идее моделирования в естественнонаучной сфере.
Метод моделирования используется в тех случаях, когда непосредственное изучение объекта моделирования в том или ином отношении затруднено — например, объект разрушается при непосредственном контакте или сам контакт затруднен. Типичным объектом такого рода является мышление человека и человеческий язык. Исходный пункт использования метода моделирования — представление о входной и выходной информации (в широком понимании), характеризующей функционирование объекта моделирования. Тем самым для создания модели чего-либо надо знать, как ведет себя объект моделирования в тех или иных условиях. Например, создание модели синтаксиса естественного языка опирается на факты возможности или невозможности осуществления тех или иных синтаксических трансформаций. Если созданная модель повторяет поведение объекта моделирования, то есть входная и выходная информация модели повторяет аналогичную информацию объекта моделирования, то считается, что модель функционирует хорошо, адекватно. Теория моделирования позволяет в этом случае перенести особенности устройства модели на сам объект. Это важное теоретическое положение, которое позволяет метод моделирования считать исследовательским методом.
Общие свойства моделей:
1) конечность: модель отображает оригинал лишь в конечном числе его отношений и, кроме того, сами ресурсы моделирования также конечны;
2) упрощенность: модель отображает только существенные стороны объекта;
3) приблизительность: действительность отображается моделью приблизительно;
4)·адекватность: степень успешности описания моделью объекта моделирования;
5) информативность: модель должна содержать достаточную информацию о системе – в рамках гипотез, принятых при построении модели.
Метод моделирования при всей его универсальности имеет определенные ограничения. Так, Апресяном отмечается, что моделировать можно только те свойства объекта, которые не определяются его физической природой. Иными словами, успешно моделируются только те характеристики, которые связаны со структурной организацией объекта. Моделирование неструктурных свойств в принципе возможно, однако затруднено перенесение особенностей организации модели на моделируемый объект. Обсуждая свойства лингвистических моделей, Ю. Д. Апресян обращает внимание на то, что модель всегда является идеализацией объекта моделирования, его огрублением. Одновременно она должна предсказывать поведение объекта и объяснять его.
В теоретической лингвистике часто используются следующие типы моделей:
- компонентные модели или модели структуры (из чего сделан X);
- предсказывающие модели (предсказать поведение X в тех или иных
обстоятельствах); - имитирующие модели (внешне вести себя как X);
- диахронические модели (как и почему меняется X с течением вре
мени).
Разумеется, основания выделения лингвистических моделей могут быть и другими. Например И. И. Ревзин, опираясь на структурную традицию, выделяет анализирующие и синтезирующие лингвистические модели. Последние, в свою очередь, разделяются на собственно синтезирующие (от смысла к форме) и порождающие (от базовой формы к разнообразию небазовых форм). Ю.Д.Апресян по характеру объекта моделирования различает модели речевой деятельности (объект моделирования — конкретный языковой процесс или явление), модели исследовательской деятельности лингвиста (модели исследования) и метамодели (в качестве объекта моделирования выступает уже существующее лингвистическое описание). Наиболее важными Ю. Д. Апресян считает модели, имитирующие речевую деятельность человека.
Существенно не многообразие моделей языка (было бы странно, если бы моделей было мало), а то, что и описательная, и теоретическая лингвистика в теоретическом моделировании исходят из эвристики «the God's truth» («Божественная Истина»). Иными словами, классификации языковых фактов и концептуальные модели теоретической лингвистики претендуют на описание того, как действительно устроен язык.
Моделирование необходимо предполагает использование абстракции и идеализации. Отображая релевантные существенные (с точки зрения исследования) свойства оригинала и отвлекаясь от несущественных, модель выступает как некоторый абстрактный идеализированный объект. Всякая модель строится на основе гипотезы о возможном устройстве оригинала и представляет собой функциональный аналог оригинала. что позволяет переносить знания с модели на оригинал. Критерием адекватности модели является эксперимент.
В идеале модель должна быть формальной (т.е. в ней должны быть в явном виде и однозначно заданы исходные объекты, связывающие их отношения и правила обращения с ними) и обладать объяснительной силой (т.е. не только объяснять факты или данные экспериментов, необъяснимые с точки зрения уже существующей теории, но и предсказывать неизвестное раньше, хотя и принципиально возможное поведение оригинала, которое позднее должно подтверждаться данными наблюдения или экспериментов).
Основные теоретические требования к модели:
1. полнота модели - способность отражать все факты, на которые она рассчитана, на охват которых она претендует
2. простота - удобство, использования как можно меньшего числа средств (символов, правил) для достижения поставленной научной цели
3. объяснительная сила - способность модели вскрывать причины наблюдаемых фактов и предсказывать новые факты (например. модели исторического изменения слова; системы машинного перевода в очень малой степени объяснительные)
4. адекватность - свойство максимальной похожести на моделируемый объект, на оригинал, можно свести к объяснительной силе или теоретико-множественному соответствию
5. экономность - экономичное использование энергетических и временных ресурсов при применении модели
6. точность - возможность выполнения операций представляемым моделью формальным аппаратом
7. эстетические свойства - красота модели
Прикладные критерий: главное - удобство модели. Для моделирования языка очень важны логические средства реализации модели (компьютерное воплощение модели