Рассел С., Норвиг П. Искусственный интеллект. Современный подход (2-е изд., 2006) (1245267), страница 291
Текст из файла (страница 291)
Остальная часть семантики непосредственно следует из соглашений, принятых нами до сих пор. Поскольку словосочетания (гр представлены как предикаты, желательно придерживаться единообразия и представить глаголы так же, как предикаты. Глагол "!очез'* будет представлен в виде Лу Лх ьот еа (х, у), т.е. в виде предиката, который после подстановки параметра Магу возвращает предикат Лх Ьот еа ( х, Магу) . В правиле рр — > регЬ М. предикат, представляющий собой семантическую интерпретацию глагола, применяется к обьекту, который является семантической интерпретацией словосочетания МР, для получения семантической интерпретации всего словосочетания (гР.
В конечном итоге будет получена грамматика, которая показана в листинге 22.7, и дерево синтаксического анализа, приведенное на рис. 22.7. Часть Ч!1. Общение, восприятие и осуществление действий 1074 Листинг 22.7. Грамматика, которая позволяет вывести дерево синтаксического анализа и семан- тическую интерпретацию для предложения "Лойп )очез Магу" (и трех других предложений). Квтк- дая категория дополняется единственным параметром, представляющим семантику я(те1(оьз')) -т иР(оьз') уР(те1) РР(те1(ойу)) а уетй(ге1) ИР(о?у') ИР(ойу) -~ Мате(оЬу) Мате( тайп) а лойп иа е(ма у) †> и и уегй()тх лу сочен(х,у) ) -т 1очеп 5(?лает(уа)тл,инту)) дх,Магу)) гетеру!х ?аттт(х,у)) ! )ачю Рис.
22 7. Дерево синтаксического анализа с семантически- миинтсрлретацинмидлл строки Кдойп ?счев нату" Время события и времена глаголов Теперь предположим, что необходимо учесть различие между предложениями н)ойп !очез Магу" (Джон любит Мэри) и ")ойп !очес) Магу" (Джон любил Мэри). В английском языке для обозначения относительного времени события используются времена глаголов (прошедшее, настоящее и будущее).
Один из удобных вариантов состоит в применении для представления времени событий системы обозначений исчисления событий, описанной в разделе 10.3. В исчислении событий эти два предложения имеют следующие интерпретации: В соответствии с таким подходом два грамматических правила для слов "1оъ ее" и "1оуес)" должны быть такими: уегй()тх )чу е е сочен(уойп, магу) л Рпгхпя(ипат, е) ) — т 1очев (ЕГЬ()ЧХ Ху Е Е ЬОЧЕа(Х, у) Л АЕСЕт(Ипат, Е) ) -т 1ОЧЕЕ Не считая этого изменения, все остальные способы представления грамматики остаются теми же самыми, и это — обнадеживающий факт; он говорит о том, что мы на правильном пути, поскольку смогли так легко справиться со сложностями, подобными временам глаголов (хотя фактически мы лишь коснулись поверхности проблемы создания полной грамматики для представления времени событий и вре- УР(увал) ! Иаав(уаьл) ! за)м е е ъочеа (,уойп, мату) л 1)пх зпя(ипат, е) е е ьочеа (.тайп, мату) л лгсег(иота, е) ИР(Мау) ! Иаае(Мату) ! Мату )075 Глава 22.
Общение мен глаголов). Используя этот успех в качестве стимулятора, приступим к изучению гораздо более сложной проблемы представления. Введение кванторов 'е'а а е ддепсв Лы и е иитриаеа л Зе е е дле11(а,ы) л рип1пд(ыоы,е) Згт гг е вгитриаев хга а е Адепса => Ле е е яте11(а, ы) л ригхпд(ьгатг, е) На время отложим анализ этой проблемы неоднозначности и рассмотрим только первую интерпретацию. Попытаемся проанализировать ее композиционно, подразделяя все предложение на компоненты чр и )ур следующим образом: ыр(ма а е ддепсл =ь Р) )гр(3ы ы е иитриаеа л Ле (е е дта11(а, ы) л питхпд(вговг,е) ) Риеку адепс вте11в а митрия При этом сразу же возникают две сложности.
Первая проблема состоит в том, что семантика всего предложения кажется определяемой семантикой словосочетания д)р, притом что семантика словосочетания р р заполняет только часть р. Это означает, что семантику всего предложения невозможно сформировать с помощью конструкции пе1 ( оЬ1 ) . Но это можно сделать с помощью конструкции оЬ7 ( хе1), которая выглядит немного странно (по крайней мере на первый взгляд).
Вторая проблема состоит в том, что необходимо получить переменную а как параметр отношения Яте11. Иными словами, семантика предложения формируется путем вставки семантики словосочетания ( Р в правильный слот параметра словосочетания ДГР, и наряду с этим вставки переменной а из словосочетания ир в правильный слот параметра семантики словосочетания (гр.
Создается такое впечатление, что требуются две функциональные композиции, поэтому вся эта задача обещает стать довольно сложной. Но вся сложность обусловлена тем фактом, что семантическая структура этого предложения значительно отличается от синтаксической структуры. Для предотвращения подобной путаницы во многих современных грамматиках принят другой подход. В них определена некоторая ок промежуточная форма, которая служит в качестве посредника между синтаксисом и семантикой. Эта промежуточная форма имеет два ключевых свойства. Во-первых, она структурно аналогична синтаксису предложения и поэтому может быть легко сконструирована с помощью композиционных средств.
Во-вторых, она содержит достаточно информации для того, чтобы ее можно было перевести в обычное высказывание логики первого порядка. Поскольку эта форма занимает положение между синтаксической и логиче- 'а Если последняя интерпретация кажется маловероятной, рассмотрите следуюшее утверждение: "Каждый протестант верит только в Бога". Рассмотрим предложение: "Ечегу аяеп( зшейз а ъчппрца" (Каждый агент чувствует запах вампуса). Это предложение фактически неоднозначно; основной его смысл состоит в том, что даже если вампусы будут встречаться разным агентам, все они сумеют почувствовать их запах, а еще один вариант смысловой трактовки этого предложения состоит в том, что существует единственный вампус, запах которого чувствует каждый агент".
Эти две интерпретации могут быть представлены следующим образом: Часть |Ч1. Общение, восприятие и осуществление действий 1076 ской формами, ее называют '~. квазилогической формой". В данном разделе будет использоваться квазилогическая форма, которая включает все средства логики первого порядка и дополнена лямбда-выражениями и одной новой конструкцией, которую мы будем называть 'в.квантифицированиым термом.
Квантифицированный терм, имеющий семантическую интерпретацию словосочетания "ечегу айеп(" (каждый агент), записывается следующим образом: [)Га а и лдепся] Эта конструкция выглядит как логическое высказывание, но используется таким же образом, как и логический терм. Интерпретация предложения "Ечегу айеп( зп)е!15 а )чцщрцз" в квазилогнческой форме выглядит следующим образом: Ве (е и 5те11( [ча а и лдепся], [Вм и и иитрияея) ) л Риг1пд(ысьг, е) ) При создании грамматики, позволяющей производить квазилогическую форму, можно оставить неизменными многие полученные ранее правила. Правило для ь все еще создает семантику предложения Я со значением ге1 ( РЬ1') . Но некоторые правила действительно изменяются; например, грамматическое правило для артикля "а" выглядит таким образом: лгсзс1е(В) — ~ а а правило применения артикля в сочетании с существительным является таковым: )чр( [стх яет (х) ) ) — > Агсзс1е (д) г)сип (яет) Это правило говорит о том, что семантика именного словосочетания д)р выражается термом с квантором су, где квантор обозначен артиклем, включает новую переменную х и выражается высказыванием, сформированным путем применения семантики данного имени к переменной х.
Другие правила для словосочетания ]чр являются аналогичными. В табл. 22.5 приведены семантические типы и примеры форм для каждой синтаксической категории при использовании подхода на основе квази- логической формы. На рис. 22.8 показано дерево синтаксического анализа предложения "ечегу айеп( зп)е]!з а тчцгпрцз" с использованием этого подхода, а в листинге 22.8 показана полная грамматика.
Пример Квазилогичсская форма Семантический тип Категория яепеепсе 1з1сср. Зе е я я1еер(яреа)гег) л Ригтпд(псе, е) сЬзесс РЬуесс -+ яепсепсе аг)оа [Зг( Род(с)) ] гп (2,21 )[х гп (х, [2, 2! ) (йагзссзщс )(х Зе е одеев(х,яреа)гет) л Ригтпд ()гон, е) ке151аияе РЬ1есс -Ф яепсепсе " Некоторые квазилогнчсскис формы имеют третье свойство, с помощью которого они приобретают возможность кратко представлять неоднозначности, представимые в логической форме только с помощью длинной дизъюнкции.
Таблица 22тй Таблица, а которой показан тип выражения в квазилогичсской форме лля каждой синтаксической категории. Запись с -) г обозначает функцию, которая принимает параметр типа с н возврацмст резУльтат типа г. Например, семантическим типом для категории РгерсяХ Сзоп является оьуесе' ~ аепсепсе, а зто означает, что семантика предлога прсдставласт собой функцию, которая после сс применения к двум логическим объектам позволяет получить.тогичсскос вмсказыванис ] 077 Глава 22. Общение Окончание табл.
22.5 Категория Семантический тня Пример Квазилогическая форма Лх ие е «яеея(х, яреа)сея) л рикупд(Иов, е) оьдесс' -э яепсепсе геез те ядуессйие оьзесс -г яепсепсе Лх Ятеууу(х) Ле рикйпд(е,тодау) шпе11у ядиекЬ яз.сусуе юбау 11ш ет епс -г яепсепсе <уиаис111ек соприпссуоп яепсепсе» -+ яепсепсе апд ).р, су (р л су) 7 руд1 с Иоип оьресс оЬЗеск г яепгепсе нитриь Лх х « Иитрияея Ргероя1С1оп оЬуесеа -ч яепоепсе Лх Лу уп (х,у) яреа)сок й оЪ)есС оЬЗесг» -ч яепсепсе Ргопоип декЬ Лу Лх де е « вася(х,у) л Риг1пд(Иов, е) сам 5(йе се бте!!([та Ауеиг(о)], [Зв Игитркг(в)])) , [Зв Вйтрицв)])) л УГигслг(Иов,с) тркг(в))) Фр(['ч'о Листинг 22.8. Грамматика с семантикой в квазияогической форме я(ке1(оЬ)')) -э ир(оЬ1') (гр(ке1) Я(соп1'(яетс,яеяь)) -Ф Я(яетг) соприпсс1оп(сопз) Я(яеяь) ИР(яет) ч Ркопоип(яет) ИР(яет) Ч Иате(яет) ир([сух яет(х)]) -э Аксдс1е(су) иоип(яет) ИР([СУХ ОЬЗ' Л КЕ1(Х)]) -Г ИР([СУХ ОЪ1'1) РР(КЕ1) ИР([сух оЬ1' л з.еу(х)]) -+ ИР([сух оЬ1']) Яе1С1аияе(ке1) Уегб(Лу )х йе с«бтеб(к,у) л ]Г»плл(Ф»в,е) Аи(с)е('Ч) Иоил(ляенг) Анк)е(й) №ии(игиирт) 1 ! 1 ! Етегу айеяг вшей а ччшрш рис.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
