Главная »Оболочка ДИЭКС »Сеть продукционных правил

Сеть продукционных правил

В основе модели представления знаний системы ДИЭКС лежит сеть продукционных правил.

Узлами такой сети являются правила продукции. Связь между узлами – это связь посылка – заключение соответствующих правил продукций. Правило продукции – это основной тип узлов модели. Для обеспечения адекватного представления реальных знаний в возможно более широком диапазоне задач необходимо ввести в модель ряд узлов других типов. Все типы узлов применяемой модели представления знаний можно характеризовать по их отношению к системе логического вывода, структурным признакам, типу порождаемых отношений (связей).

По отношению к системе логического вывода различают три вида узлов:

  • узлы-запросы (G) – узлы, которые могут инициировать начало процесса логического вывода;
  • узлы-вопросы (Q) – узлы, инициирующие ввод фактов и диалог с пользователем;
  • узлы-метацели (M) – узлы, определяющие динамическую конфигурацию сети и, следовательно, влияющие на процесс логического вывода.

По структурным признакам можно выделить два вида узлов:

  • узлы, не имеющие потомков. Это узлы вопросов (Q) и констант (C);
  • узлы, не имеющие родителей. Это узлы, безусловно инициирующие запрос (т.е. узлы, с которых начинается обработка запросов, если не было других указаний пользователя. Они составляют верхний уровень в иерархии запросов модели).

По виду порождаемых отношений (связей) выделяют:

  • узлы правил продукции (P) – узлы, порождающие отношения причина – следствие, часть – целое, род – вид и т.п.;
  • узлы арифметических выражений (A) – узлы, порождающие арифметические отношения – быть суммой, быть частным и т.д.;
  • узлы метацели (M) – узлы, порождающие отношения управления – быть управляемым узлом M.

С каждым узлом модели связывается некоторое значение pi, определяемое типом узла (i=1, ..., N; N – общее число узлов сети).

Этим значением является: вероятность, если узел – продукционное правило либо вопрос, выясняющий вероятность; число, если узел – арифметическое выражение либо вопрос, выясняющий числовое значение.

В общем виде сеть системы ДИЭКС может быть представлена в виде множества узлов вида:

 {f(pi), di, {s(pj)}, {m(pk)}},     i + j, i != k

при следующих ограничениях, накладываемых на возможные сочетания типов узлов:

 F = A, C, G, P, Q
 M, G ( P
 f(pi), s(pj) ( F; m(pk) ( P
 V C, {s(pj)}, {m(pk)} = (0)
 V Q, {s(pj)} = {0}

 где F – множество всех типов узлов;
 f(pi) – определяет тип i-ro узла;
 di – диалоговая информация данного узла, представленная по некоторой структуре;
 {m(pk)} – множество узлов модели, связанных с данным отношением управления;
 {s(pj)} – множество узлов модели, связанных с данным прочими отношениями.