Классификация ЭС

Статические ЭС (СЭС). Имеют дело с постоянными компонентами, не изменяющимися за время решения задачи. Статическая ЭС содержит три основных компонента: базу данных (БД) – факты, константы и переменные, базу знаний (БЗ, представляющая в основном процедурные знания) и аналитический центр (АЦ) или решатель (механизм или машина логических выводов):

(соединенных с одними и теми же узлами) узла, то можно удалить один из них со связанными с ним стрелками.

Правило копирования: граф есть 1.

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

Стандартная семантическая сеть является направленным графом с помеченными вершинами и дугами, в котором вершинам соответствуют конкретные объекты, а дугам – семантические отношения между ними.

Формальное определение сети следующее. Пусть заданы конечное множество атрибутов = { 1, …, } и конечное множество отношений = { 1, …, }. Схемой, или интенсионалом, отношения называется набор пар ( )= {…[ , ( )], …}, где - имя отношения, ( ) – домен , т. е. множество значений атрибутов отношения . Объединение всех доменов называют базовым множеством или множеством объектов, на которых задаются отношения . Экстенсионалом отношения называют множество ( )= { 1, …, }, где ( Î {1, …, }) – факт отношения . Факт задается именем отношения и совокупностью пар вида атрибут-значение, называемых атрибутивными парами. Под фактом понимают конкретное содержание отношения между объектами. Факт – это подграф семантической сети, имеющий звездообразную структуру. Корень подграфа – вершина предикатного типа, помеченная уникальной меткой, включающая имя соответствующего отношения.

Пример: пусть заданы совокупность чисел {0, 1} и отношение с именем “*” (произведение). Запишем интенсионал этого отношения: (*) = {[1-й сомножитель (1с), (0, 1)], [2-й сомножитель (2с), (0, 1)], [произведение (Пр), (0, 1)]}, где присутствуют пары атрибутов-сомножителей и доменов их возможных бинарных значений. Факты отношений запишем в следующем очевидном виде:

1=(*, 1-й сомножитель 0, 2-й сомножитель 0, произведение 0),

2=(*, 1-й сомножитель 0, 2-й сомножитель 1, произведение 0),

3=(*, 1-й сомножитель 1, 2-й сомножитель 0, произведение 0),

4=(*, 1-й сомножитель 1, 2-й сомножитель 1, произведение 1).

Нестандартную семантическая сеть (визуальное представление) для данного случая можно изобразить рисунком 4.2. Эту сеть легко представить в виде таблицы 4.1.

В семантических сетях используются четыре основных типа объектов: понятия, события (действия), свойства и значения. Рассмотрим их на следующем примере.

Свяжем семантической сетью объекты: птица, сокол, орел, самолет, боинг-747. Очевидно, что сокол и орел – птицы, а боинг-747 – самолет. Создадим сначала структуру “птица”, общую для орла и сокола:

имя структуры = птица,

число атрибутов = 5,

учетом сказанного виртуальные записи могут быть следующими: (а, CD-ROM, Acer, да), (а, CD-ROM, Mitsumi, нет), … (б, CD-Recorder, Philips, нет) и т.д.

Связь типа М: 1 имеет место, когда одной или нескольким записям основной таблицы ставится в соответствие одна запись дополнительной таблицы. Общий вид связи М: М возникает в случае, когда нескольким записям основной таблицы соответствует несколько записей

дополнительной таблицы.