Фреймовая сеть

Человек
АКО	Млекопитающее
Умеет	Мыслить

Ребенок
АКО	человек
Возраст	0-16 лет
Рост	50-180 см
Любит	Сладкое

Ученик
АКО	Ребенок
учится	в школе
возраст	7-17 лет
носит	форму

Преимуществом фреймов является то, что они отражают концептуальную основу организации памяти человека. Специальные языки представления знаний в сетях фреймов это FRL (Frame Representation Language), фреймовая оболочка Карра (Стрельников, 1997г).

4. Формальные логические модели.

Традиционно в представлении знаний использовались эти модели, основанные на классическом исчислении предикатов 1-го порядка, когда предметная область или задача описывались в виде набора аксиом, в качестве логических связок использовались логические операции (и, или, исключительное или).

Таблица истинности

X	Y	И	ИЛИ	Исключ. ИЛИ

Исчисление предикатов 1-го порядка в промышленных экспертных системах практически не используется.

Эта логическая модель применяется в основном в исследовательских системах, т.к. предъявляет высокие требования и ограничения к предметной области. В промышленных экспертных системах используются различные модификации этих моделей, реализуемых с помощью таких программных средств, как Prolog.

Дата добавления: 2015-06-27