Теория репрезентации дискурса

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

История возникновения

Теория была предложена нидерландским лингвистом и логиком Хансом Кампом в 1981 году в статье «A Theory of Truth and Semantic Representation» (рус. «Теория истины и семантической репрезентации»). Параллельно, независимо от Кампа, сходные идеи развивал американский логик Ирен Хейм в своей докторской диссертации «The Semantics of Definite and Indefinite Noun Phrases» (1982). Оба исследователя стремились решить проблему, связанную с анафорическими местоимениями, которая не поддавалась адекватному описанию в рамках традиционной семантики Монтегю.

Проблема анафоры

Ключевым стимулом для создания ТРД стала так называемая «проблема донательных анафор» (donkey anaphora) — примеров, впервые проанализированных британским философом Питером Гичем. Классический пример: «Если у крестьянина есть осёл, он бьёт его». В этом предложении местоимение «он» отсылает к крестьянину, а «его» — к ослу. В классической логике предикатов это предложение формализуется как ∀x∀y((крестьянин(x) ∧ осёл(y) ∧ владеет(x,y)) → бьёт(x,y)). Однако такая формализация не объясняет, почему местоимения могут анафорически связываться с неопределёнными существительными, не входящими в область квантора. ТРД предложила механизм, при котором неопределённые дескрипции (например, «осёл») вводят новые референты в дискурс, которые затем становятся доступными для анафорического отсыла.

Основные принципы

ТРД оперирует двумя ключевыми понятиями: дискурсивная репрезентационная структура (ДРС) и контекстная обновляемость.

Дискурсивная репрезентационная структура (ДРС)

ДРС — это ментальная модель, которая строится по мере обработки текста. Она состоит из двух компонентов:

1. Вселенная ДРС — множество референтов (обозначений объектов, лиц, событий), которые вводятся в дискурс.
2. Условия ДРС — набор предикатов и отношений, которые накладываются на этих референтов.

Например, для предложения «Мужчина вошёл в магазин» строится ДРС с референтами x (мужчина) и y (магазин) и условиями: мужчина(x), магазин(y), вошёл(x, y). Последующее предложение «Он купил хлеб» добавляет новый референт z (хлеб) и условие: купил(x, z). Местоимение «он» разрешается через отсылку к уже существующему референту x.

Принцип доступности

Референты, введённые в ДРС, обладают разной степенью доступности для анафорического отсыла. Доступность определяется структурой ДРС:

• Референты из главной ДРС (введённые в главном предложении) доступны для всех последующих местоимений.
• Референты из подчинённых ДРС (например, внутри условных или относительных придаточных) доступны только при определённых условиях. В частности, референт, введённый в условии импликации (например, «осёл» в антецеденте условного предложения), становится доступным для анафоры в консеквенте, что и объясняет пример Гича.

Применение в лингвистике и компьютерных науках

Теория репрезентации дискурса нашла широкое применение в нескольких областях.

Обработка естественного языка (NLP)

ТРД используется для построения систем автоматического понимания текста, разрешения анафоры и извлечения информации. Современные нейросетевые модели, такие как BERT и GPT, хотя и не основаны напрямую на ТРД, решают сходные задачи семантического анализа, но ТРД предоставляет формальную, логически прозрачную альтернативу.

Формальная семантика

В лингвистической семантике ТРД применяется для анализа широкого круга явлений:

• Временные отношения: моделирование последовательности событий (например, «Пётр вошёл. Он сел» — временная последовательность).
• Предикаты пропозициональной установки: анализ предложений типа «Мария считает, что её муж — шпион», где возникает проблема «de re» и «de dicto» интерпретаций.
• Плюральные и массовые термины: обработка множественных референтов (например, «Все студенты сдали экзамен. Они довольны»).

Семантика диалога

ТРД адаптирована для моделирования диалогов, где дискурсивный контекст динамически обновляется не только монологическими высказываниями, но и вопросами, ответами и исправлениями. Это привело к созданию диалоговых ДРС (DDRT).

Критика и альтернативы

Теория репрезентации дискурса не лишена недостатков.

Проблема композициональности

Одним из главных упрёков в адрес ТРД является то, что она не является полностью композициональной — значение сложного выражения не всегда можно вывести строго из значений его частей. Это затрудняет её интеграцию в синтаксические теории. В ответ на эту критику были разработаны композициональные версии ТРД, такие как Динамическая семантика (Dynamic Semantics) и Логика динамики предикатов (Dynamic Predicate Logic) Яна ван Эйка.

Альтернативные подходы

• Теория дискурсивных деревьев (D-LTAG) — синтаксически-ориентированный подход, основанный на грамматике деревьев.
• Сегментированная теория репрезентации дискурса (SDRT) — расширение ТРД, предложенное Николасом Ашером, которое добавляет риторические отношения (например, «объяснение», «контраст») между сегментами дискурса.
• Теория центрирования (Centering Theory) — модель, фокусирующаяся на выборе наиболее «центрального» референта в дискурсе.

Влияние на другие области

ТРД оказала влияние не только на лингвистику и логику, но и на философию языка, когнитивную науку и теорию искусственного интеллекта. В философии она используется для анализа референции, истинности и пропозициональных установок. В когнитивной науке ДРС рассматриваются как формальная модель ментальных репрезентаций, которые человек строит при понимании речи.

Интересные факты

• Название «донательная анафора» происходит от средневековых логических упражнений, где фигурировали крестьяне и ослы (лат. asinus).
• Ханс Камп первоначально разрабатывал ТРД для анализа французских текстов, но примеры на английском языке стали более известными.
• В 2010-х годах появились нейросетевые модели, которые обучались генерировать ДРС напрямую из текста, что позволило автоматизировать семантический анализ на основе ТРД.

Источники

• Kamp, H. (1981). A Theory of Truth and Semantic Representation. In: Groenendijk, J., Janssen, T., Stokhof, M. (eds.) Formal Methods in the Study of Language.
• Heim, I. (1982). The Semantics of Definite and Indefinite Noun Phrases. Doctoral dissertation, University of Massachusetts.
• Geach, P. T. (1962). Reference and Generality. Cornell University Press.
• Asher, N., & Lascarides, A. (2003). Logics of Conversation. Cambridge University Press.
• van Eijck, J., & Kamp, H. (1997). Representing Discourse in Context. In: van Benthem, J., ter Meulen, A. (eds.) Handbook of Logic and Language.
• Muskens, R. (1996). Combining Montague Semantics and Discourse Representation. Linguistics and Philosophy, 19(2), 143-186.