Лекция Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка Владимир Борщев, винити ран



Скачать 411.65 Kb.
страница4/6
Дата07.11.2012
Размер411.65 Kb.
ТипЛекция
1   2   3   4   5   6

3.2. Принцип композиционности (The Principle of Compositionality)


Бесконечное множество формул ИП строится из переменных, констант и предикатных символов в помощью рекурсивных синтаксическоих правил (правила R1 – R8 в Приложении). Семантика этих формул – их интерпретация в каждой данной модели – определяется семантическими правилами S1 – S8, которые прямо соответствуют синтаксическим правилам. Такое соответствие позволяет (при интерпретации выражений) определять семантику целого через семантику частей. между семантическими правилами интерпретации и синтаксическими правилами образования выражений семантика целого основывается на семантике частей. Это очень важная характеристика формального языка называется Принципом Композиционности. Естественно считать, что этот принцип соблюдается также (может быть, с некоторыми отклонениями и модификациями) и в естественном языке.

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

Центральный принцип формальной семантики состоит в том, что отношение между синтаксисом и семантикой композиционно.

Принцип Композиционности: Значение выражения есть функция значений его частей и способа их синтаксической комбинации.

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

В теоретико-модельной семантике (Фреге, Тарский, Карнап, Монтегю) определяются истинностные значения выражений в каждой модели (при данной оценке переменных). Значение каждого выражения определяется по значениям его частей.

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

4. Формальная семантика (грамматики Монтегю)

4.1. Предварительные замечания


Это наша вторая тема в этом курсе. Обычно, читая семестровый курс в РГГУ (лекция и семинар раз в неделю), Барбара тратит на эту тему большую часть времени. Здесь в нашем распоряжении чуть больше одной лекции.
Поэтому наше изложение будет более чем фрагментарным. В основном, опирающееся на отдельные примеры. Какие-то точные вещи в Приложениях. Наша цель – дать какое-то начальное впечатление о формальной семантике.

4.2. Еще раз об основных идеях формальной семантики и почему Исчисления Предикатов недостаточно для описания семантики естественного языка


Выше мы приводили основной тезис Монтегю “English as a formal language”. Он предлагал рассматривать естественный язык как формальный, описывая его синтаксис и теоретико-модельную семантику, т.е. так же, как это делается в логике. И, конечно, использовать Принцип композиционности.

Два подхода.


При этом возможны два подхода (и Монтегю в разных своих работах использовал оба):

  1. Прямой: непосредственно описывать синтаксис естественного языка и непосредственно интерпретировать выражения естественного языка в моделях.

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

Подходы эти, технически и методически разные. Разные работы и разные учебники выбирают тот или иной подход. Подчеркнем, что одна ключевая вещь одинаково важна в обоих походах – это представления о структуре моделей. На самом деле, это представления о том, как естественный язык структурирует мир.

Почему недостаточно Исчисления Предикатов?


Первые попытки использовать логику для описания семантики естественного языка были связаны с Исчислением Предикатов. Сразу же возникли трудности при представлении многих конструкций, причем не ясно было, как их можно преодолеть, «не выходя» за пределы этого языка.

Проиллюстрируем это на некоторых примерах
Союзы и кванторы

(1) (а) Джон поет и танцует (б) Джон поет и Джон танцует

Предложения (1а) и (1б), грубо говоря, эквивалентны. Предложение (1б) можно представить в виде формулы (1в):

(1) (в) dance(John) & sing(John)

Но формулу (1в) трудно получить композиционно по предложению (1а).

(2) (а) Каждый студент танцует

Стандартным переводом предложения (2а) считается формула (2б). Но ее трудно считать «композиционным переводом» предложения (2а):

(2) (б) x (student(x) dance(x))

Еще больше трудностей возникает при (композиционном) представлении формулами ИП предложений, сочетающих две упомянутые конструкции – кванторы и несентенциальную («групповую») конъюнкцию:

(3) Один студент поет и танцует

  1. Каждый студент поет и танцует

Прилагательные как определения к существительным


Разные подклассы прилагательных в сочетании с существительными, которые они определяют, ведут себя по-разному с семантической точки зрения. Например:

(5) красная книга в некотором приближении можно сказать, что это «нечто красное и, в то же время, являющееся книгой', red(x) & book(x)

  1. искусный хирург это, конечно, ‘некто, являющийся хирургом», но он уже искусен, как хирург, а вовсе не 'универсальный искусник', скажем, уже не обязательно искусный скрипач. И простой конъюнкцией тут не обойтись

(6) бывший учитель это уже некто, кто был когда-то учителем, но сейчас уже и не учитель

(7) предполагаемый убийца этот некто может быть, а может и не быть убийцей

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

Не менее серьезные трудности возникают при адекватном представлении глагольных времен, модальностей, «предикатов над предикатами» и в массе других случаев.

Чтобы суммировать некоторые из упомянутых трудностей, рассмотрим соотношение категорий конструкций исчисления предикатов и стандартных конструкций естественного языка. Мы увидим, что для большей части конструкций естественного языка, в исчислении предикатоа отсутствуют соответствующие категории:
1   2   3   4   5   6

Похожие:

Лекция Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка Владимир Борщев, винити ран iconЦентр научно-информационного обслуживания винити ран предоставляет копии первоисточников
Винити осуществляет обслуживание копиями первоисточников, хранящихся в фонде научно-технической литературы винити, в фондах других...
Лекция Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка Владимир Борщев, винити ран iconРегистрационная форма пользователя on-line
Данная регистрационная форма является официальным документом для регистрации Вас, как пользователя базы данных (БД) винити ран в...
Лекция Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка Владимир Борщев, винити ран iconЭлектронные ресурсы винити. Электронный Реферативный журнал итоги десятилетия Цветкова Валентина Алексеевна, д т. н., проф., зав отделением винити ран, Ген. Директор ООО «нти-компакт»
Цветкова Валентина Алексеевна, д т н., проф., зав отделением винити ран, Ген. Директор ООО «нти-компакт», Москва, Россия
Лекция Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка Владимир Борщев, винити ран iconУчастник: Идашкина Анастасия
Цель моего исследования: узнать, как развивались города в течение времени, какие бывают города, какие они выполняют функции, а также...
Лекция Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка Владимир Борщев, винити ран iconЛекция 3 Логика предикатов Понятие предиката
Такой логической системой является логика предикатов, содержащая всю логику высказываний в качестве своей части
Лекция Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка Владимир Борщев, винити ран iconИсчисление предикатов. Пропозициональная функция
Р(Х­1,Х2,…,Хn) есть атомарная (элементарная) формула. Эта формула трактуется как высказывание, гласящее, что объекты Х1,Х2,,…,Хn...
Лекция Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка Владимир Борщев, винити ран iconЛекция В. Б. Борщев и B. H. Partee. Казань, кгу, Апрель 2003 стр
Лекция Формальная семантика (продолжение). Интенсиональная логика. Типы. Лямбда и конструкции с лямбдой. Семантика Монтегю для именных...
Лекция Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка Владимир Борщев, винити ран iconНормальные формы формул логики предикатов
При этом, используя равносильности алгебры высказываний и логики предикатов, каждую формулу логики предикатов можно привести к нормальной...
Лекция Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка Владимир Борщев, винити ран iconИсчисление предикатов с равенством
Замечание. В формулах подформула называется областью действия квантора соответственно
Лекция Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка Владимир Борщев, винити ран iconВинити ран

Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org