Удаление, содержащее предшествующие события

От / / Оставьте комментарий

Предшествующее удаление Исключение, содержащее антецедент (ACD), представляет собой явление, при котором пропущенная глагольная фраза, по-видимому, содержится в своем собственном антецеденте.  […]

Formal semantics (natural language), Generative syntax, Linguistics, Semantics, Syntax–semantics interface, Генеративный синтаксис, Интерфейс синтаксиса и семантики, Лингвистика, Семантика, Формальная семантика (естественный язык)

Предшествующее удаление

  • Исключение, содержащее антецедент (ACD), представляет собой явление, при котором пропущенная глагольная фраза, по-видимому, содержится в своем собственном антецеденте. 
  • ACD является классической головоломкой для теорий взаимодействия синтаксиса и семантики, так как она грозит привести к бесконечному регрессу. 
  • ACD обычно используется в качестве мотивации для синтаксических преобразований, таких как повышение квантора. 
  • Анализ, основанный на перемещениях, необходим для понимания проблемы VP-многоточия. 
  • Проблема ACD впервые замечена Бутоном (Bouton, 1970) и связана с бесконечным регрессом, если удаленный VP должен быть по существу идентичен своему предшественнику. 
  • Саг (Sag, 1976) предложил повышение квантора (QR) для NP каждой книги, написанной Мэри, чтобы избежать бесконечного регресса. 

Полный текст статьи:

Удаление, содержащее предшествующие события — Википедия

Похожие статьи:

  1. Область применения (логика) Область применения (логика) Область применения квантора или связующего элемента определяет диапазон в формуле, к которой он...
  2. Теория множеств фон Неймана–Бернейса–Гёделя Теория множеств Фон Неймана–Бернейса–Геделя Основы теории множеств Теория множеств — это раздел математики, изучающий свойства множеств. ...
  3. Удаление скрытых линий Удаление скрытых линий Скрытые линии и скрытые поверхности являются важными понятиями в компьютерной графике.  Удаление скрытых...
  4. Реляционная алгебра Реляционная алгебра Основы реляционной алгебры Реляционная алгебра — это математическая основа для работы с реляционными базами...
  5. Совместные и несовместные уравнения Последовательные и непоследовательные уравнения Определение согласованности и несогласованности систем уравнений Система уравнений называется согласованной, если существует...
  6. Удаленный рабочий стол Chrome Удаленный рабочий стол Chrome Обзор Chrome Remote Desktop Chrome Remote Desktop — это программа для удаленного...
  7. Заметить и снять Заметьте и запишите Уведомление и удаление контента Уведомление и удаление контента являются ключевыми процедурами в контексте...
  8. Точное описание Определенное описание Проблема с определенными описаниями Определенные описания могут быть неоднозначными и вызывать логические парадоксы.  Рассел...
  9. Отрицание Отрицание Отрицание — логический оператор, противоположный утверждению.  В булевой алгебре отрицание является самодвойственным логическим оператором.  В...
  10. Универсальная количественная оценка Универсальная количественная оценка Кванторы используются в логике для количественной оценки истинности или существования высказываний.  Универсальные кванторы...
  11. Встроенный гипервизор Встроенный гипервизор Требования к гипервизору для встраиваемых систем Гипервизор должен быть быстрым, отзывчивым, детерминированным и энергоэффективным. ...
  12. Канадское воспитание Канадское воспитание Канадское повышение — аллофоническое правило фонологии в североамериканском английском.  Повышение затрагивает дифтонги с открытыми...
  13. Удаление квантификатора Устранение квантификатора Теория моделей включает изучение моделей и их свойств.  Устранение квантификатора — процесс исключения кванторов...
  14. Очистка сточных вод Очистка сточных вод Основы очистки сточных вод Сточные воды содержат органические и неорганические вещества, а также...

Оставьте комментарий

Прокрутить вверх