1. Пример
   1. База правил и фактов
      1. Цепочка вывода для факта Z
         1. ы
2. Теория
   1. Конфликтный набор
      1. Набор правил логического вывода, которые на некотором этапе вывода могут быть применены одновременно.
         1. Subtopic 1
   2. Разрешение конфликта
      1. Процедура выбора одного правила из конфликтного набора
3. Причины возникновения конфликтов
   1. Прямой вывод
      1. Пересечение условных частей нескольких правил
         1. D - общий элемент
      2. Условные части не пересекаются, но возникает ситуация, когда содержимое рабочей памяти в некоторый момент времени удовлетворяет нескольким правилам
         1. Конфликтный набор третьего опрядка
            1. Прямой вывод: проблема построения графа
            2. Обратный вывод: проблема поиска пути на графе (пунктирная линия)
   2. Обратный вывод
      1. Наличие продукций с одинаковыми правыми частями
         1. Topic
4. Управление выводом
   1. Установка ограничений на генерацию конфликтоного набора
      1. Метаправила с условиями, по которым конкретная категория правил не рассматривается
         1. Пример метаправил
            1. Для МР2 пример формирования конфликтного набора может иметь вид
            2. Subtopic 1
      2. Правила группируются по аттрибутам. Каждой группе назначается метаправило, по которому оно будет применяться в зависимости от состояния рабочей памяти.
         1. Группы
            1. Topic
            2. Topic
         2. Метаправила
            1. Topic
   2. Использование конкретного алгоритма разрешения конфликтов
      1. Правила применияются в порядке их следования в базе правил
      2. Первым применяется правило с более жесткой условной частью
      3. Применение правил в зависимости от их приоритета (обобщение прошлого варианта)
   3. Эффективность поиска
      1. Сопоставление фактов и правил потребует количество_конфликтных_правил * количество_фактов_в_РП
      2. Способы решения
         1. Упорядочить рабочую память в форме "объект - атрибут - значение"
         2. Алгоритм RETE
            1. При добавлении в РП нового образца проверяются правила, в которых он используется. Если этот образец удовлетворяет части правила, то он запоминается именно в этом качестве. Если образец позволяет удовлетворить левую часть всего правила, то это правило включается в конфликтный набор. Иными словами, при добавлении нового образца в РП все правила, которые содержат этот образец, упрощаются (т.е. из них удаляется, по крайней мере, одно условие).
            2. Topic
            3. В РП добавляется образец α 2, правило Pk+2 включается в конфликтный набор
            4. Topic