Представление знаний семантическими сетями

Определение правильно построенной формулы

Комбинируя логические связки и кванторы можно рекурсивно опреде­лить составную формулу логики предикатов, называемую правильно построен­ной формулой (ППФ) или логической формулой.

ППФ описыва­ет обычное предложение общего вида (по аналогии с русск. яз.)

1. Термом является либо константа, либо переменная, либо кортеж из n термов, перед которым стоит функтор.

2. Предикат - это кортеж из n термов, перед которым стоит предикатный сим­вол.

3. Атомарный предикат является логической формулой.

4. Если F и G - логические формулы, то (F); F v G; F ^ G; ¬F; F→G; F«G - также являются логическими формулами.

5. 5. Если F(X) - логическая формула, то оба выражения ("X) F(X), ($Х) F(X) являются логическими формулами.

6. Все результаты, получаемые повторением конечного числа логических формул, являются логическими формулами.

Множество всех предложений, построенных согласно данным правилам, образуют язык логики предикатов первого порядка.

Пример. С помощью языка логики предикатов записать: «все люди смертны».

Решение.

("X) [человек (X) → смертен]

Логический вывод - это процесс получения из множества правильно по­строенных формул (S) некоторой ППФ (s) путем применения одного или не­скольких правил вывода.

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

Отличие сетевой структуры от иерархической заключается в том, что каждый элемент в сетевой структуре может быть связан с любым другим элементом (рис. 5.1).

Рис. 5.1 – Графическое изображение сетевой структуры

Пример простой сетевой структуры показан на рис. 5.2.

Рис. 5.2 – Пример взаимосвязей между элементами сетевой структуры

Все сети можно рассматривать как сети, входящие в состав семантической сети (в том числе сетевые структуры моделей БД).

Семантическая сеть является моделью памяти и не раскрывает, каким образом осуществляется представление знаний.

Следовательно, семантические сети должны рассматриваться как метод представления знаний с возможностями их структурирования, процедурами использования и механизмом вывода.