Основы построения и функционирования интеллектуальных информационных систем. Былкин В.Д - 42 стр.

      Чтобы повысить эффективность вывода, необходимо решить проблему управления
последовательностью применения правил.
   Для управления прямым выводом используются два метода:
   1) установка ограничений на генерацию конфликтного набора;
   2) определение алгоритма разрешения конфликта.
Согласно способу 1 в зависимости от содержания правил либо используется метод, по которому
поиск условной части правил определенной категории не осуществляется, либо используется
метод, по которому правила предварительно разбиваются на отдельные категории и в
определенных ситуациях исследуется возможность применения правил, принадлежащих только к
некоторой категории. Если при прямом выводе все заключения, которые можно определить,
обнаруживаются, то алгоритм разрешения конфликтов сравнительно прост, например, в "этом
случае правила можно применять в соответствии с последовательностью их определения. В
других случаях, например, когда задано условие останова, ускорить процесс вывода можно путем
приоритетного применения правил со ссылкой на последнюю информацию, которой была
дополнена рабочая память. Кроме того, если существует множество правил со ссылкой на
последнее содержимое рабочей области, то возможно приоритетное использование правил с
жесткой условной частью, например, имеющей несколько условий. Проблема ограничения кон-
фликтного набора и выбора алгоритма разрешения конфликта, характерна и для продукционных
ИС с обратными выводами.
      Фреймовая модель представляет собой систематизированную в виде единой теории
психологическую модель памяти человека и его сознания. Важным моментом в этой теории
является понятие фрейма-структуры данных для представления некоторого концептуального
объекта. Фрейм является Формой представления некоторой ситуации, которую целесообразно
описывать некоторой совокупностью понятий и сущностей. Фрейм имеет имя и определенную
внутреннюю структуру, состоящую из множества элементов-слотов, которым также присва-
иваются имена. В значение слота подставляется конкретная информация, относящаяся к объекту,
описываемому этим фреймом.
      В качестве значения слота можно использовать программу процедурного типа,
называемую служебной, а также указатель (имя) другого фрейма. В описании слота может
присутствовать специфическая функция-демон, которая задает процедуру, автоматически
запускаемую при выполнении некоторого условия, например, в случае, если в момент обращения
к слоту его значение не было установлено.




                                            42