41. Семантические сети. Виды отношений. Пример семантической сети.

Семантическая сеть - это ориентированный граф, вершины которого - понятия, а дуги - отношения между ними.

Характерной особенностью семантических сетей является обязательное наличие трех типов отношений:

-класс - элемент класса (цветок - роза);

-свойство - значение (цвет - желтый);

Виды отношений в семантических сетях:

-Логические (дизъюнкция; конъюнкция; отрицание; импликация.)

-теоретико-множественные (часть – целое (a part of);множество – подмножество (a kind of - AKO);класс – элемент класса; пример элемента класса.)

-функциональные (количественные (больше, меньше и т.п.); временные (в течение какого-либо времени); пространственные (выше, ниже и т.п.);характеристики: объект-свойство, свойство-значение, причина-следствие, сходства-различия и т.п;

-лингвистические

-атрибутивные (иметь значение)

-квантификационные(логические кванторы общности и существования;нелогические кванторы (например, много, несколько)).

42. Фреймы, их виды, структура. Сети фреймов. Примеры фреймов.

Фрейм – структура представления знаний, которая представляет собой абстрактное описание некоторого образа или ситуации.

ВИДЫ: фреймы-образцы, или прототипы, хранящиеся в базе знаний, и фреймы-экземпляры, которые создаются для отображения реальных ситуаций на основе поступающих данных.

Традиционно структура фрейма может быть представлена как список свойств:

(имя 1-го слота: значение 1-го слота)….

Ту же запись можно представить в виде таблицы, дополнив ее двумя столбцами.

Структура фрейма

Имя слота

Значение слота

Способ получения значения

Присоединенная процедура

Важнейшим свойством теории фреймов является заимствование из теории семантических сетей - так называемое наследование свойств. И во фреймах, и в семантических сетях наследование происходит по AKO-связям (A-Kind-Of = это). Слот АКО указывает на фрейм более высокого уровня иерархии, откуда неявно наследуются, то есть переносятся, значения аналогичных слотов.

Пример фрейма:

43. Формальные логические модели. Их примеры (исчисление высказываний и исчисление предикатов).

Формальная логическая модель предполагает унифицированное описание объектов и действий в виде предикатов первого порядка.

Отношения для объектов задаются явно в виде фактов, а действия описываются как правила, определяющие логическую формулу вывода фактов из других фактов. Механизм вывода осуществляет дедуктивный перебор фактов, относящихся к правилу по принципу сверху – вниз слева – направо или обратный вывод методом поиска в глубину.

Для логической модели характерна строгость формального аппарата получения решения. Однако полный последовательный перебор всех возможных решений может приводить к комбинаторным взрывам, в результате чего поставленные задачи могут решаться недопустимо большое время. Модель применима в небольших исследовательских системах, так как предъявляет высокие требования и ограничения к предметной области.