- •1. Основные исследования, которые ведутся в области искусственного интеллекта. Понятие и структура интеллектуальной системы
- •Подходы к исследованию ии
- •Логика рассуждения: теория силлогизмов Аристотеля
- •Основные исследования, ведущиеся в области ии
- •2. Понятие формальной и семиотической системы, основные определения Формальные системы
- •Схемы рассуждения
- •Позиционные шкалы
- •Семиотические системы
- •Семантический и синтаксический методы доказательства
- •3. Логические модели представления знаний. Семантический и синтаксический методы доказательства. Логические модели
- •4. Представление знаний с помощью фреймов Фреймы
- •Язык frl
- •5. Продукционные системы. Управление системами продукций Продукционные системы
- •Задачи управления и разрешение конфликтов
- •Стратегии управления
- •6. Семантические сети. Классификация семантических отношений Семантические сети
- •Классификация семантических отношений
- •7. Естественный язык (математическая модель): формальные грамматики
- •8. Естественный язык (математическая модель): трансформационная грамматика, понятие глубинной и поверхностной структуры.
- •9. Естественный язык (математическая модель): анализ трансформационных грамматик Сети с конечным числом состояний
- •Сети с расширенными числом состояний
- •10. Проблема машинного перевода
- •11. Этапы анализа естественного языка
- •12. Экспертные системы: технология, этапы создания, применение Экспертные системы
- •Классификация
- •Технологии проектирования и разработки промышленных экспертных систем
- •Технологии быстрого прототипирования
- •Развитие прототипа до промышленной экспертной системы
- •Оценка системы
- •Стыковка системы
- •Поддержка системы
- •13. Технологии инженерии знаний
- •Методы структурирования
- •14. Использование онтологий в интеллектуальных системах
6. Семантические сети. Классификация семантических отношений Семантические сети
Семантическая сеть – граф, узлы которого называют объектами, а дуги – связями. Узлы содержат информационную часть, а на дугах расположены отношения:
СС = <{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 , который задается совокупностью пар вида [атрибут, значение], конкатенация отношений между объектами.
<пример пропущен>
Экстенсиональная сеть описывает факты, т. е. экстенсиональное знание о моделируемых объектах, являясь как бы "фотографией" текущего состояния.
Интенсиональная семантическая сеть описывает общую структуру моделируемой предметной области на основе абстрактных объектов и отношений.
В семантической сети используют три основных типа объекта:
Понятие – сведения об абстрактных или физических объектах предметной области. Общие понятия интерпретируются как множество доменов.
Событие – действия, которые могут внести изменения в предметную область. Результатом события является некоторое новое состояние предметной области. Можно задать некоторое желаемое целевое состояние предметной области и поставить задачу отыскания на семантической сети последовательности событий, приводящих к целевому состоянию.
Свойство – используется для уточнения понятий, событий или самих свойств. Применительно к понятиям, свойства описывают их особенности или характеристики; применительно к событиям — продолжительность, место и т.п.
Классификация семантических отношений
Все семантические отношения условно делят на четыре класса:
Теоретико-множественные (часть-целое, род-вид, класс-подкласс). Используется для построения иерархий и таксономий.
Квантифицированные отношения (логические кванторы всеобщности и существования, используемые для представления знаний декларативного типа).
Логические (используются в вычислении высказываний).
Лингвистические отношения. Среди них наиболее популярны падежные отношения.
Падежные отношения:
Агент (датив) – отношение между событием и тем, кто или что его вызывает; инициатор действия, выражаемого глаголом.
Субъект (пассив) – отношение между событием и тем, над кем или чем производится действие.
Условие – отношение, указывающее логическую зависимость между событиями.
Инструмент – объект, с помощью которого совершается событие.
Место – место совершения события.
Характеризация глагола (время, число, залог)
Атрибутивные отношения (цвет, размер, форма, модификация)
Пример 1. Студент Сидоров мучил преподавателя с 2010 года по 2012 год (рис. 3).
Пример 2.
Объекты: {0,1,2}
Отношения: {<, +}
INT(<) = {[меньше, (0, 1)], [больше, (1, 2)]}
INT(+) = {[1 сл, (0, 1, 2)], [2 сл, (0, 1, 2)], [(0, 1, 2, 3, 4)]}
[+]
Метка факта |
Меньше |
Больше |
F1 |
0 |
1 |
F2 |
1 |
2 |
F3 |
0 |
2 |
