Динамический синтаксис - Dynamic syntax

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

DS возникла в конце 1990-х - начале 2000-х годов благодаря работе таких выдающихся деятелей, как Рут Кемпсон, Ронни Канн, Уилфрид Мейер-Виол и Дов Габбей. Первая работа в рамках монографии в рамках была выпущена в 2001 году под названием Динамический синтаксис: поток понимания. Он был встроен в более широкие тенденции лингвистического мышления 20-го века, особенно в синтаксис, семантику, прагматику и фонологию. Ронни Канн, Рут Кемпсон и Лутц Мартен «Динамика языка» продолжили обсуждение и расширили обсуждение и эмпирический охват структуры.

В последующие годы эмпирический охват модели расширился до моделирования структур в Японский, Корейский, диалекты Современный греческий, Средневековый испанский и множество Языки банту включая суахили, Ранги и СиСвати. В более поздних работах также исследовался способ, которым структура может быть естественным образом расширена для моделирования диалога.

Теоретические предположения

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

Фреймворк предполагает единый уровень представления. Это контрастирует с такими фреймворками, как Лексическая функциональная грамматика в котором размещены несколько структур. Аналогичным образом, операции перемещения считаются необходимыми, в отличие от Минимализм или другой Генеративный подходы.

Части формализма

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

Семантические формулы и композиционное исчисление

Семантические формулы, которые генерирует классический динамический синтаксис, представляют собой комбинацию Эпсилон исчисление формулы и Лямбда-исчисление термины (в последние годы DS-TTR был разработан вместе с DS, где используются типы записей из формализма теории типов с записями (TTR)) - см. Purver et al. (2011).^[1]

Формулы представляют собой простые логические константы первого порядка, такие как ${ displaystyle john '}$ , предикатные термины, такие как ${ displaystyle run '(john')}$ или функции, такие как ${ displaystyle lambda x.run '(x)}$ . Подстановка нормального лямбда-исчисления ( ${ displaystyle beta}$ -reduction) означает, что функция может быть применена к простому термину для возврата предиката, такого что ${ displaystyle ( lambda x.run '(x)) ~ john' = run '(john')}$ . Расширение исчисления Epsilon до логики первого порядка реализовано в кванторах, где ${ Displaystyle ( существует х) А (х) эквив А ( эпсилон х А)}$ , например строка «мальчик» может привести к формуле ${ displaystyle boy '( epsilon x boy')}$ генерируется.

Рост дерева

Одно из основных предположений, лежащих в основе DS, заключается в том, что синтаксис естественного языка можно рассматривать как прогрессивное накопление прозрачных семантических представлений с высшей целью - построение логической пропозициональной формулы (формулы типа т). Этот процесс управляется посредством монотонного роста дерева, представляющего собой попытку смоделировать способ обработки информации линейным по времени, поэтапным, пословным способом. Рост деревьев обусловлен требованиями (обозначенными знаком вопроса (?)).^[2]

Рост дерева может происходить тремя способами: посредством вычислительных правил, лексического ввода и прагматического обогащения.

Вычислительные правила включают ввод и вывод. Они считаются общедоступными для разных языков. При правильном вводе соответствующее вычислительное правило может - хотя и не обязательно - применяться. Это контрастирует с лексическим вводом, который предоставляется лексически и, следовательно, зависит от языка.

Язык деревьев

Язык представления в динамическом синтаксисе состоит из двоичных деревьев. Эти деревья поддерживаются Логикой конечных деревьев (LOFT, Blackburn & Meyer-Viol 1994). LOFT - это выразительный модальный язык, который позволяет делать утверждения о любом treenode с точки зрения любого treenode. В LOFT используются два основных древовидных метода: стрелки вверх и вниз. Они соответствуют отношениям дочери и матери. Левые узлы адресуются как 0 узлов, а правые узлы - как 1 узел. По соглашению, узлы слева соответствуют узлам аргументов, то есть узлам, в которых представлены аргументы, тогда как правые узлы соответствуют узлам функтора, то есть узлам, в которых представлены все различные типы предикатов. Корневому узлу дается адрес treenode 0, и он определяется как единственный узел, у которого нет материнского узла.^[2]

Серия конференций

В Первая конференция по динамическому синтаксису был проведен в Лондонском университете SOAS в апреле 2017 года. До этого в Гентском университете в Бельгии проходила встреча, в основном практикующих динамический синтаксис. В Вторая конференция по динамическому синтаксису прошел в Эдинбургском университете в 2018 году. 3-я конференция по динамическому синтаксису прошла в Мальтийском университете в мае 2019 года. Четвертая конференция по динамическому синтаксису состоится в Оксфордском университете в мае 2020 года.

Курс динамического синтаксиса проходил в ESSLLI в 2019 году. В мае 2020 года в Бергенском университете пройдет курс Phd. Динамический синтаксис преподается в учебных заведениях по всему миру, включая ТАКИМ ОБРАЗОМ, Королевский колледж Лондона, то Университет Эссекса в Великобритании, а также в учреждениях Китая.

Источники

Блэкберн, Патрик и Уилфрид Мейер-Виол. 1994 г. Лингвистика, логика и конечные деревья. Логический журнал IGPL. 2(1): 3–29.
Канн Р., Р. Кемпсон, Л. Мартен (2005) Динамика языка. Оксфорд: Эльзевир.
Кемпсон Р., В. Мейер-Виол, Д. Габбей (2001) Динамический синтаксис. Оксфорд: Блэквелл.
Кемпсон, Рут М., Элени Грегоромичелаки и Кристин Хоуз, редакторы (2011). Динамика лексических интерфейсов. CSLI Publications / Центр изучения языка и информации.

[purveretal2011-1] Purver, M., Eshghi, A., & Hough, J. (2011, январь). Инкрементное семантическое построение в диалоговой системе. В материалах Девятой Международной конференции по вычислительной семантике (стр. 365-369). Ассоциация компьютерной лингвистики.

[Chatzikyriakidis_Gibson_2017-2] а ^б Chatzikyriakidis, Stergios; Гибсон, Ханна (3 февраля 2017 г.). «Пересмотр связи банту, романтики и греков: ограничения обработки во вспомогательных и клитических позициях с кросс-лингвистической точки зрения». Glossa: журнал общего языкознания. 2 (1): 4. Дои:10.5334 / gjgl.135. Материал был скопирован из этого источника, который доступен под Международная лицензия Creative Commons Attribution 4.0.

[1]

[2]