Модель

Моде́ль

(франц. modèle, от лат. modulus — мера) в языкознании — 1) искусственно созданное лингвистом реальное или мысленное устройство, воспроизводящее, имитирующее своим поведением (обычно в упрощённом виде) поведение какого-либо другого («настоящего») устройства (оригинала) в лингвистических целях.

Лингвистическое моделирование необходимо предполагает использование абстракции и идеализации. Отображая «релевантные», существенные (с точки зрения исследования) свойства оригинала и отвлекаясь от несущественных, модель выступает как некоторый абстрактный идеализированный объект. Всякая модель строится на основе гипотезы о возможном устройстве оригинала и представляет собой функциональный аналог оригинала, что позволяет переносить знания с модели на оригинал. Критерием адекватности модели служит практический эксперимент.

В идеале всякая модель должна быть формальной (т. е. в ней должны быть в явном виде и однозначно заданы исходные объекты, связывающие их отношения и правила обращения с ними) и обладать объяснительной силой (т. е. не только объяснять факты или данные экспериментов, необъяснимые с точки зрения уже существующей теории, но и предсказывать неизвестное раньше, хотя и принципиально возможное поведение оригинала, которое позднее должно подтверждаться данными наблюдения или новых экспериментов).

Понятие лингвистической модели возникло в структурной лингвистике (К. Л. Бюлер, З. З. Харрис, Ч. Хоккет), но входит в научный обиход в 60—70‑е гг. 20 в. с возникновением математической лингвистики и проникновением в языкознание идей и методов кибернетики. Различаются 3 типа моделей, отличающихся друг от друга по характеру рассматриваемого в них объекта (Ю. Д. Апресян): модели речевой деятельности человека, имитирующие конкретные языковые процессы и явления; модели лингвистического исследования, имитирующие те исследовательские процедуры, которые ведут лингвиста к обнаружению того или иного языкового явления; метамодели, имитирующие теоретическую и экспериментальную оценку готовых моделей речевой деятельности или лингвистического исследования.

В зависимости от того, какая сторона владения языком является предметом моделирования, модели речевой деятельности подразделяются на модели грамматической правильности, имитирующие умение отличать правильное от неправильного в языке, и функциональные, имитирующие умение соотносить содержание речи (план содержания) с её формой (планом выражения).

В зависимости от типа информации на «входе» и на «выходе» модели грамматической правильности подразделяются на распознающие и порождающие. Распознающая модель (например, «категориальная грамматика» К. Айдукевича) получает на «входе» некоторый отрезок текста на естественном языке или его абстрактное представление на искусственном языке и даёт на «выходе» ответ, является ли данный отрезок грамматически правильным или аномальным. Порождающая модель (например, «порождающая грамматика» Н. Хомского) является обратной по отношению к распознающей (см. Математическая лингвистика). Критическое преодоление первой версии «порождающей грамматики» Хомского привело к созданию модели порождающей семантики (Дж. Лакофф), имеющей много общего с моделями говорения, или синтеза.

В зависимости от того, какой аспект речевой деятельности моделируется — слушание или говорение, — функциональные модели подразделяются соответственно на аналитические и синтетические. Полная аналитическая модель некоторого языка получает на «входе» некоторый отрезок текста (обычно не меньше высказывания) и даёт на «выходе» его смысловую запись (семантическое представление) на специальном семантическом метаязыке (т. е. его толкование). Полная синтетическая модель некоторого языка, являясь обратной по отношению к полной аналитической модели, на «входе» получает семантическую запись (изображение некоторого фрагмента смысла), а на «выходе» даёт множество синонимичных текстов на данном языке, выражающих этот смысл. Модели анализа и синтеза составляют необходимую часть моделей перевода (в частности, моделей автоматического перевода) и различных систем «искусственного интеллекта» (в частности, вопросно-ответных). В многоуровневых функциональных моделях (например, в «стратификационной грамматике» С. Лэма, в модели «Смысл ⇔ Текст», в «функциональной порождающей грамматике» П. Сгалла) переход от плана выражения к плану содержания (анализ) и обратно (синтез) происходит поэтапно — через ряд промежуточных репрезентаций (уровней представления текста). Обычно выделяются фонетический (самый поверхностный), морфологический, синтаксический и семантический (самый глубинный) уровни. Модель анализа задаёт лингвистические знания, используемые в алгоритмах анализа. Алгоритмы анализа позволяют перейти от некоторого более поверхностного уровня к более глубинному. Лингвистические знания, задаваемые синтезирующими моделями, используются в алгоритмах синтеза, позволяющих перейти от некоторого более глубинного уровня к более поверхностному. Модель, сопряжённая с алгоритмом, даёт новый формальный объект, называемый лингвистическим процессором. Лингвистические процессоры стали энергично развиваться в связи с созданием систем искусственного интеллекта.

Модель речевой деятельности — важнейший тип собственно лингвистических моделей. По отношению к ним модели лингвистического исследования и метамодели выполняют вспомогательную роль. Модели исследования предназначены для объективного обоснования выбора понятий, которыми лингвисты пользуются при изложении модели речевой деятельности (например, грамматики того или иного языка). В идеале они сводят до минимума роль субъективного фактора в исследовании и являются в некотором смысле мерилом адекватности модели речевой деятельности. В зависимости от объёма исходной информации модели исследования подразделяются на дешифровочные и экспериментальные. При дешифровке в качестве исходной информации используется ограниченный корпус текстов, и все сведения о языке модель должна извлечь исключительно из текстовых данных. В экспериментальных же моделях считается заданным не просто корпус текстов, но и всё множество правильных текстов данного языка. При проведении эксперимента лингвист прибегает к помощи информанта (носителя языка). Информантом может быть и сам лингвист, если он в совершенстве владеет изучаемым языком.

Метамодели представляют систему критериев и теоретических доказательств (метаязык), с помощью которых из нескольких альтернативных моделей, моделирующих одно и то же явление, можно выбрать лучшую. Первые шаги в разработке аксиоматических систем формальных определений лингвистических понятий были сделаны Л. Блумфилдом («Ряд постулатов для науки о языке», 1926) и Л. Ельмслевом («Пролегомены к теории языка», 1940), хотя термин «модель» ещё не употреблялся. Метамодели, разрабатываемые математической лингвистикой, представляют собой математические теории, объектами которых являются не отдельные лингвистические понятия, а целостные модели языка.

Содержание термина «модель» в современной лингвистике в значительной мере охватывалось ранее (в особенности Ельмслевом) термином «теория». Считается, что наименования «модель» заслуживает лишь такая теория, которая достаточно эксплицитно изложена и в достаточной степени формализована (в идеале всякая модель должна допускать реализацию на ЭВМ).

Конструирование моделей — не только одно из средств отображения языковых явлений и процессов, но и объективный практический критерий проверки истинности наших знаний о языке. Применяясь в органическом единстве с другими методами изучения языка, моделирование выступает как средство углубления познания скрытых механизмов речевой деятельности, его движения от относительно примитивных моделей к более содержательным моделям, полнее раскрывающим сущность языка.

2) Образец, служащий стандартом (эталоном) для массового воспроизведения; то же, что «тип», «схема», «парадигма», «структура» и т. п. (ср., например, «модель спряжения или склонения», «словообразовательная модель», «модель предложения» и т. п.).

• Ревзин И. И., Модели языка, М., 1962;
• его же, Метод моделирования и типология славянских языков, М., 1967;
• его же, Современная структурная лингвистика, М., 1977;
• Чжао Юань-жень, Модели в лингвистике и модели вообще, в сб.: Математическая логика и её применения, пер. с англ., М., 1965;
• Апресян Ю. Д., Идеи и методы современной структурной лингвистики, М., 1966;
• Проблемы грамматического моделирования, М., 1973;
• Лингвистические проблемы функционального моделирования речевой деятельности, в. 1—5, Л., 1973—82;
• Падучева Е. В., Некоторые проблемы моделирования соответствия между текстом и смыслом в языке, Изв. АН СССР, сер. ЛиЯ, 1975, т. 34, № 6;
• Булыгина Т. В., Проблемы теории морфологических моделей, М., 1977;
• Представление знаний и моделирование процесса понимания, Новосиб., 1980;
• Цейтин Г. С., О соотношении естественного языка и формальной модели, в кн.: Вопросы кибернетики. Общение с ЭВМ на естественном языке, М., 1982;
• Семиотические аспекты формализации интеллектуальной деятельности. Школа-семинар «Телави-83», М., 1983;
• Гладкий А. В., Синтаксические структуры естественного языка в автоматизированных системах общения, М., 1985;
• Моделирование языковой деятельности в интеллектуальных системах, М., 1987;
• Les modèles en linguistique, éd. par M. Gross, P., 1968;
• Gross M., Mathematical models in linguistics, Englewood Cliffs, 1972;
• Weiss D., Sowjetische Sprachmodelle, в кн.: Handbuch des Russisten, Wiesbaden, 1984, S. 581—621.

Т. В. Булыгина, С. А. Крылов.