- •1. Основные определения теории формальных грамматик (продолжение)
- •2. Виды формальных грамматик
- •3. Пример грамматики, описывающей часть естественного языка (ея)
- •3. Пример грамматики, описывающей часть ея (продолжение)
- •4. Семантические сети. Ассоциативная сеть
- •5. Семантические сети. Определения
- •6. Семантические сети. Пример падежного фрейма
- •7. Семантические сети. Классификация семантических отношений
- •8. Семантические сети. Пример
- •9. Фреймовые структуры. Основные понятия. Описание объекта/некоторой ситуации во фреймовых представлениях
- •10. Фреймовые структуры. Пример сети фреймов
- •10. Фреймовые структуры. Пример сети фреймов (продолжение)
- •11. Фреймовые структуры. Атрибуты структуры данных фрейма
- •11. Фреймовые структуры. Атрибуты структуры данных фрейма (продолжение)
- •12. Фреймовые структуры. Типы фреймов. Преимущества, недостатки фреймов как модели представления знаний
3. Пример грамматики, описывающей часть ея (продолжение)
Грамматика порождает некоторые предложения русского языка, имеющие сходную синтаксическую структуру. Нетерминальные символы – части речи и синтаксические типы.
Пример допустимого предложения «быстрый компьютер умножает большие числа»
В формальных грамматиках для описания структуры ЕЯ нетерминальные символы обозначают общие понятия, устойчивые словосочетания, парадигмы слов (как обобщения словоформ) и т.д.
4. Семантические сети. Ассоциативная сеть
Пример фрагмента ассоциативной сети
Недостаток простой ассоциативной связи – невыразительна для фиксации всевозможных отношений, необходимо маркировать не только узлы в сети, но и дуги, поскольку отношения между узлами могут быть самыми разнообразными.
5. Семантические сети. Определения
Семантическая сеть – ориентированный граф, узлы которого называют объектами, а дуги – связями. Узлы содержат информационную часть, а на дугах расположены отношения:
СС = <{X1, …, Xm}, {R1, …, Rk}>,
где {X1, …, Xm}, – объекты, {R1, …, Rk} – отношения.
Пусть задано некоторое конечное множество символов (атрибутов) A={A1, …, Am} и конечное множество отношений R={R1,, …, Rn}.
Интенсионал отношения Ri (схема) – множество пар
Int (Ri) = {…, [Aj, Dom(Aj)],...},
где Ri — некоторое отношение, Dom (Aj) – домен (множество значений атрибута Aj отношения Ri).
Базовое множество модели — объединение всех доменов.
Экстенсионал отношения Ri – множество фактов
Ext(Ri) = {F1, …, Fk},
где F – факт отношения Ri, который задается совокупностью пар вида [атрибут, значение], конкатенация отношений между объектами.
Основные типы объектов в семантической сети:
Понятие – сведения об абстрактных или физических объектах предметной области. Общие понятия интерпретируются как множество доменов.
Событие – действия, которые могут внести изменения в предметную область. Результатом события является некоторое новое состояние предметной области. Можно задать некоторое желаемое целевое состояние предметной области и поставить задачу отыскания на семантической сети последовательности событий, приводящих к целевому состоянию.
Свойство – используется для уточнения понятий, событий или самих свойств. Применительно к понятиям, свойства описывают их особенности или характеристики; применительно к событиям — продолжительность, место и т.п.
6. Семантические сети. Пример падежного фрейма
Падежный фрейм – семантическая сеть для описания структуры единичных высказываний.
Одинаковая структура будет характерна и для предложений: «Молотком Иван гвоздь забьет» или «Гвоздь будет забит Иваном с помощью молотка».
7. Семантические сети. Классификация семантических отношений
Все семантические отношения условно делят на четыре класса:
Теоретико-множественные (is – элемент класса, часть-целое, род-вид, класс-подкласс – A-Kind-Of (АКО)). Используется для построения иерархий и таксономий.
Квантифицированные отношения (логические кванторы всеобщности и существования, используемые для представления знаний декларативного типа).
Логические (используются в вычислении высказываний).
Лингвистические отношения:
Среди лингвистических наиболее популярны падежные отношения:
агент (субъект) – отношение между событием и тем, кто или что его вызывает; инициатор действия, выражаемого глаголом.
объект (пассив) – отношение между событием и тем, над кем/чем производится действие;
условие – отношение, указывающее логическую зависимость между событиями;
инструмент – объект, с помощью которого совершается событие;
место – место совершения события;
характеризация глагола (время, число, залог);
атрибутивные отношения/иметь свойство (цвет, размер, форма, модификация).
Также к лингвистическим отношениям относятся:
функциональные связи (определяемые обычно глаголами «производит», «влияет»).
значение свойства;
количественные (больше, меньше, равно...);
пространственные (далеко от, близко от, за, под, над...);
временные (раньше, позже, в течение...).
