Интегрированная модель представления знаний

Для расширения области практического использования систем, основанных на знаниях, за счет совместного использования основных моделей, предлагается интегрированная модель, в основе которой заложены семантическое и продукционное представление сущностей реального мира. Описание модели проблемной области — PAR, как множества сущностей связанных между собой отношениями, имеет следующий вид:

PAR = {S, R, G},.

где, S ={Si} - множество сущностей проблемной области — PAR;

R = {Ri} - множество взвешенных связей между сущностями Si;

G — отображение, задающее между сущностями Si связи из заданного набора типов связей R.

Сущности проблемной области Si задаются атрибутами:

Si = (NSi, PRUSi, PSUSi, LNSLi, LNSHi, LNRi, WSi),.

где, NSi — имя сущности,.

PRUSi — условия существования/применения сущности — предусловия,.

PSUSi — условия контроля наличия/активации сущности,.

LNSIi — список имен сущностей, определяющих Si — связанных отношением «включает» ;

LNSHi — список имен сущностей, определяемых Si — связанных отношением «является частью» ;

LNRi — список имен отношений Si с другими сущностями,.

WSi — вес/сила сущности Si.

Отношения между сущностями проблемной области R = {Ri} представляются:

Ri = (NRi, PRURi, PSURi, LNRLi, LNRHi, WRi),.

где, NRi — имя связи,.

PRURi — условия возникновения/активации исходящей сущности — предусловия,.

PSURi — условия контроля /активации входящей сущности — постусловия,.

LNRIi — список имен связей, определяющих Ri — связанных отношением «включает» ;

LNROi — список имен связей, определяемых Ri — связанных отношением «является частью» ;

WRi — вес связи между сущностями.

Отображение G представляется:

G = (LNR, PRUR, PSUR, WS, WR).

LNR — множество списков имен отношений между сущностями,.

PRUR — множество условий возникновения/активации исходящих сущностей — предусловия,.

PSUR — множество условий контроля /активации входящих сущностей — постусловия,.

WS — множество весов сущностей,.

WR — множество весов связей/отношений.

В формате интегрированной модели представления знаний, где сущности представляются концептами определяют любые части реального мира — предметы, связи между ними, признаки и т. д., описание проблемной области PAR (1) с учетом представлений (2−3) представляется следующим образом:

PAR = {NK, PRU, PSU, LNI, LNO, WK},.

где NK — имя концепта,.

PRU — предусловия концепта,.

PSU — постусловия концепта,.

LNI — список имен определяющих концептов,.

LNO — список имен определяемых концептов,.

WK — вес/сила концепта.

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

Для представления реального мира с помощью интегрированной модели, необходимо задать ее основные синтаксические конструкции. Описание синтаксических конструкций производится с помощью нормальных форм Бэкуса-Наура:

СУЩНОСТЬ ИМЯ СУЩНОСТИ ЛОГИЧЕСКАЯ ЧАСТЬ СЕМАНТИЧЕСКАЯ ЧАСТЬ ИМЯ СУЩНОСТИ ПРИЗНАК СУЩНОСТИ ИМЯ ЛОГИЧЕСКАЯ ЧАСТЬ ПРЕДУСЛОВИЕ ПОСТУСЛОВИЕ СЕМАНТИЧЕСКАЯ ЧАСТЬ := СПИСОК ИМЕН СУШНОСТЕЙ нижнего уровня СПИСОК ИМЕН СУШНОСТЕЙ верхнего уровня СПИСОК ИМЕН СУЩНОСТЕЙ СВЯЗЕЙ-ОТНОШЕНИЙ.

ПРИЗНАК СУЩНОСТИ := (ПАРАМЕТР) (ДЕЙСТВИЕ) (ПОНЯТИЕ) (СВЯЗЬ-ОТНОШЕНИЕ).

ИМЯ := СИМВОЛ ИМЯ СИМВОЛ.

ПРЕДУСЛОВИЕ СПИСОК УСЛОВИЙ ПУСТО ПОСТУСЛОВИЕ := СПИСОК УСЛОВИЙ ПУСТО СПИСОК ИМЕН СУШНОСТЕЙ нижнего уровня := СПИСОК ИМЕН СУЩНОСТЕЙинтегрированный знание демо СПИСОК ИМЕН СУШНОСТЕЙ верхнего уровня := СПИСОК ИМЕН СУЩНОСТЕЙ СПИСОК ИМЕН СУЩНОСТЕЙ СВЯЗЕЙ-ОТНОШЕНИЙ := СПИСОК ИМЕН СУЩНОСТЕЙ СПИСОК УСЛОВИЙ := УСЛОВИЕ; СПИСОК УСЛОВИЙ; УСЛОВИЕ;

СПИСОК ИМЕН СУЩНОСТЕЙ: = ИМЯ СУЩНОСТИ; СПИСОК ИМЕН СУЩНОСТЕЙ, ИМЯ СУЩНОСТИ; ПУСТО;

УСЛОВИЕ: = ИМЯ ПАРАМЕТРА, ОДЗ;

ОДЗ: = (НГ), (ВГ) ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ ЗНАЧЕНИЕ ЛИНГВИСТИЧЕСКОЙ ПЕРЕМЕННОЙ.

ИМЯ ПАРАМЕТРА := СИМВОЛ ИМЯ СИМВОЛ ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ := true false ЛОГИЧЕСКОЕ ВЫРАЖЕНИЕ 0 1.

ЗНАЧЕНИЕ ЛИНГВИСТИЧЕСКОЙ ПЕРЕМЕННОЙ := СИМВОЛ НАБОР СИМВОЛОВ СИМВОЛ СИМВОЛ := АБ … ЮЯ ABCD … YZ01 … 9.

ПУСТО := (Пробел) ПУСТО (Пробел).

При использовании интегрированной модели возможна одновременная обработка всех элементов рассматриваемого состояния.