17.Управляющий механизм системы mycin.
Поиск решений в MYCIN осуществляется в направлении от цели (искомого диагноза) к данным. Базовой стратегией является стратегия "поиска в глубину".
Сначала выбираются все правила X, в заключении которых устанавливается какой-либо диагноз. Затем предпринимается попытка вычислить предпосылки правил из множества X. Каждая предикатная функция в предложении предпосылки возвращает в качестве значения число от -1 до 1. Затем вычисляется итоговое значение для предпосылки. Если оно больше 0.2, то считается, что предпосылка удовлетворена, если < -0.2, -- то ложна. Для правил, предпосылки которых удовлетворены, выполняется заключение, содержащееся в действии правила.
КО<заключение>=<КО посылки>x<КО правила>.
Если значение некоторого предложения в предпосылке не может быть вычислено из-за того, что неизвестны значения входящих в это предложение атрибутов, то значение этих атрибутов объявляются новыми подцелями и процесс поиска рекурсивно продолжается. В ходе поиска решений строится дерево, называемое деревом целей (историческим деревом). Каждая вершина Xl в дереве соответствует некоторой цели Gl и содержит кроме описания цели следующую информацию:
- как система пыталась достичь эту цель (спрашивая пользователя или с помощью правила);
- для каждого правила, примененного к данной цели, запоминается, успешно оно применено или имела место неудача (причина неудачи).
Пример:
Если применяя некоторое правило У, система устанавливает новую подцель, то в дереве целей создаётся новая вершина, связанная ребром Z c с вершиной Х. На ребре Z делается пометка, что оно возникло при применении правила Y(рис12).
Рис.12.Дерево цели
Была рассмотрена базовая стратегия. В целях эффективности, в MYCIN введен ряд отклонений от стандартной стратегии "поиска в глуби-
ну":
1.Подцели устанавливаются не в той форме, в которой они появились, а в некоторой обобщенной форме. (Например, вместо вопросов "Значение атрибута X равно значению Y1,...,YN?" задан вопрос:"Чему равно значение X?").
2. Бывают случаи, когда система, применив все воз-
можные правила, не смогла определить искомое значение. В этом случае значение атрибута запрашивается у пользователя (при этом система может показать допустимые значения атрибута);
3. Есть атрибуты (помеченные LABDATA - лабораторные данные), ко-. торые запрашиваются только у пользователя.
4. Используется более эффективная процедура поиска по дереву. Эффективность достигается за счет следующих приемов: вначале ищется
правило с KO=1; используется механизм, запоминающий правила, условия
которых ложны; запоминается ложные предложения в посылке.
Интерпретацию (чтение) правил осуществляет управляющая компонента MYCIN. Способ интерпретации правила определяется его видом. Управляющая компонента (УК) состоит из отдельных программ, называемых "специалистами". Каждый "специалист" обрабатывает сообщение только одного вида. В УК имеются знания о структуре правила, благодаря чему она разбивает правило на составные части. Каждой составной части соответствует ее описание, называемое "шаблоном". Шаблон во многом подобен описанию процедур в языках программирования, он позволяет определить способ интерпретации обрабатываемого правила.
Пример:
Компонента правила Шаблон указывает на наличие у функции
3 параметров РАВЕН (РАВЕН КОНТ АРГ ЗНАЧ)
Кроме правил о проблемной области, есть метаправила, которые определяют стратегию поиска. Они задаются в таком же формате, как и обычные и определяют порядок применения последних. Метаправила позволяют задавать вопросы пользователю в естественном порядке.