Что такое Entailment в семантике?

Доктор Ричард Нордквист — почетный профессор риторики и английского языка в Южном университете Джорджии и автор нескольких университетских учебников по грамматике и сочинению.

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

Два типа следования, которые «наиболее часто встречаются в языке», говорит Даниэль Вандервекен, — это условная правда а также иллокутивные последствия. «Например, — говорит он, — перформативное предложение «Прошу вас помочь мне» иллокутивно влечет за собой императивное предложение «Пожалуйста, помогите мне!» а истина условно влечет за собой повествовательное предложение «Ты можешь мне помочь»» (Значение и речевые акты: принципы использования языка, 1990).

Комментарий

«[O] одно заявление влечет за собой другой, когда второе является логически необходимым следствием первого, как Алан живет в Торонто. влечет за собой Алан живет в Канаде.. Обратите внимание, что отношение следствия, в отличие от перефразирования, одностороннее: это не тот случай, когда Алан живет в Канаде. влечет за собой Алан живет в Торонто..» (Лорел Дж. Бринтон, Структура современного английского языка: лингвистическое введение. Джон Бенджаминс, 2000 г.)

«[Многие] любые, если не все, утвердительные предложения (утверждения, пропозиции) языка позволяют делать выводы исключительно на основе их значений. Например, когда я говорю Бен был убит, то всякий, кто понял это высказывание и принял его истинность, примет и истинность высказывания Бен мертв.» (Питер А. М. Серен, Западная лингвистика: историческое введение. Уайли-Блэквелл, 1998 г.)

Отношения наследования

Ан логическое следствие можно рассматривать как отношения между одним предложением или набором предложений, вытекающими выражениями, и другим предложением, что вытекает из него. Мы можем найти бесчисленное множество примеров, когда между предложениями выполняются отношения следования, и бесчисленное количество случаев, когда они этого не делают. Английское предложение (14) обычно интерпретируется так, что оно влечет за собой предложения в (15), но не влечет за собой предложения (16).

(14) Ли страстно поцеловал Ким.

(15)
а. Ли поцеловал Ким.
б. Ким поцеловал Ли.
в. Ким поцеловали.
д. Ли коснулась Ким губами.

(16)
а. Ли женился на Ким.
б. Ким поцеловала Ли.
в. Ли целовал Ким много раз.
д. Ли не целовал Ким.

(Дженнаро Чиерчиа и Салли МакКоннелл-Гине, Значение и грамматика: введение в семантику. Массачусетский технологический институт, 2000 г.)

Проблема определения смысла

«Семантическое следствие задача состоит в том, чтобы определить, например, что предложение: 'Сегодня Wal-Mart защитила себя в суде от обвинений в том, что его сотрудницы были лишены работы в управлении, потому что они женщины.' влечет за собой 'На Wal-Mart подали в суд за дискриминацию по половому признаку.’

«Определение того, имеет ли значение данный фрагмент текста влечет за собой что другого или имеют ли они то же самое значение, является фундаментальной проблемой в понимании естественного языка, которая требует способности извлечь из присущей естественному языку синтаксической и семантической изменчивости. Эта проблема лежит в основе многих задач обработки естественного языка высокого уровня, включая ответы на вопросы, поиск и извлечение информации, машинный перевод и другие, которые пытаются рассуждать и улавливать значение лингвистических выражений.
«Исследования в области обработки естественного языка в последние несколько лет были сосредоточены на разработке ресурсов, которые обеспечивают несколько уровней синтаксического и семантического анализа, устраняют контекстно-зависимые неоднозначности и определяют реляционные структуры и абстракции». (Родриго де Сальво Браз и др., «Модель логического вывода для семантического вывода в естественных языках». Задачи машинного обучения: оценка прогнозной неопределенности, классификация визуальных объектов и распознавание текстовых дополнений, изд. Хоакин Киньонеро Кандела и др. Спрингер, 2006 г.)