34. Анализ ест-го языка с использованием контекстно-свободной грамматики. Подход к интерпретации знаний в естественно-языковом материале.

Задача понимания естественного языка явл-ся одной из основ­ных и наиболее ест-х задач ИИ, тк вполне естественно ожидать от интеллектуальной системы способности по­нимать ест-й язык и общаться с пользователем на привычном ему уровне деклара-тивности. Термин понимание сложно определить достаточно стро­го, обычно задачу формулируют след.образом: «Пусть имеется некот. текст на ест-м языке. Программа должна, обработав этот текст, отвечать на про­извольные вопросы отн-но содержа-щейся в тексте ин­формации.» Такого рода задача пока не решена. Несмотря на это, успешно решаются более частные задачи анализа текстов, например, естественно-языковые запросы к БД, или ма­шинный перевод. Df Языком над некоторым алфави-том А наз-ся некоторое мн-во цепочек L А* в этом алфавите. В завис-ти от мощно-сти мн-ва L различают конечные и беск.(счетные) языки. Конечные языки м.б. заданы перечислени­ем, для задания беск-х языков обычно исп-ют конечные наборы правил, называемые грамматиками. Df Грамматика G — (N, A, R, s) это кортеж, включающий в себя: 1.2 непересекающихся мн-ва нетерминальных N и терми­нальных А символов; 2.мн-во R правил вида α β, где α β (N А)* (при этом в α должен входить хотя бы 1 нетерминальный символ); 3.выделенный начальный символ s N. Т.о. определенная грамматика порождает некоторый (ко­нечный или беск.) язык L А* Df Грамматика наз-ся контекстно-свободной, если все правила имеют вида α β, где α N (т.е. в левой части правила допускается лишь один нетерминальный символ). Контекстно-свобод-ные грамматики и их модификации, благо­даря своим привлекательным св-вам, зачас-тую исп-ся в практи­ческих задачах. В частности, для них опреде­лено понятие дерева грамматического разбора, каждый узел кот-го (за исключением листьев) представляет из себя нетерминал, и соответству­ет применению некоторого правила грамматики. Поскольку дерево разбора обычно содержит содержательную информацию отн-но структуры предложения, то зачастую именно построение дерева разбора явл-ся целью алгоритма синтаксического разбора.

35. Учет контекстных усл. Работа со словарями. Глуб. И пов. Структуры в ест.Яз.

Для практических задач грамматического разбора необх. проверять правильность по-строения входных цепочек и опре­делять содержимое предложения в структурном ви-де. Для этого подходит дерево грамматического разбора предложения, которое удоб-но строить одновр-но с распознаванием. Дерево синтаксического разбора содержит определенным образом размеченное исходное пред­ложение. Для понимания текста важно перейти oт синтаксической структуры к более сложной, отражающей глубин-ную структуру содержа­щихся в тексте знаний. Например, один и тот же факт Smart students like, prolog можно сформулировать по-разному без изменения смысла: Smart students do not hate prolog. Smart students prefer prolog. Prolog is liked by smart students. Prolog is not hated by smart students. Всем этим предл-м будет соответствовать одна и та же струк­тура данных - фреймовая структура фра­зы. Синтаксич-й разбор и формир-е глубинной структуры можно совместить. Для обозначения св-в будем исп-ть стук-турный терм f/2 (от слова features свойства), содержащий информа­цию о числе (s или pl) и залоге (act или pass) разбираемой фразы. Основной предикат обрабатывает слу-чаи активного и пас­сивного залогов, в последнем случае делая подлежащее объектом, а дополнение субъектом фрейм-фразы. Обработка глагольной фразы отвечает за рас-познавание залога. Пассивный залог начинается с третьей формы глагола to be, для расп-ия которой необходим отдель­ный предикат. Также рассматрив-ся случаи отри-цания, при этом смысл глагола изменяется па противоположный при помощи преди-ката neg/2: Все глаголы приводятся к синонимичной форме с использованием 2х ба-зовых понятий like и dislike. Для этого в списке помимо глагола приводится его эквив-я форма. Так­же введем список для 3й формы глаголов – определяем словари. Депассивизация – преобраз-ие предложения из пассивною залога в базовую форму.