20. Прямой логический вывод. Иллюстрация прямого вывода на деревьях и- или. Конфликтное множество. Связь с поиском в пространстве состояний. Применение различных алгоритмов поиска.
Порядок срабатывания правил называется стратегией вывода. Существует два классических и наиболее распространенных алгоритма вывода: прямой и обратный. Прямой вывод (вывод, управляемый данными). Стратегия этого метода состоит в отыскании по известным фактам заключения, которое следует из этих фактов. Если такое заключение удается найти, то оно заносится в рабочую память.
цель Если
вывод
идёт
от
данных
к
цели
(от
листьев
к
корню),
то
он
называется прямым.
Деревья
могут
быть
разной
формы,
вытянутые
вширь,
вытянутые
в
глубину,
других
форм.
Т.е.
в
разных
случаях
могут
оказаться
эффективными
разные
алгоритмы
обхода
дерева.
Существует
два
принципа
обхода: в
глубину
и
в
ширину.
данные
f(X,
Y)
Для исключения категоричности решений вводятся коэффициенты уверенности:
X Y Продукционная система (или система, основанная на правилах) работает циклически, цикл имеет 4 фазы.
1. Сопоставление. Информация из рабочей памяти последовательно сопоставляется с посылками правил для выявление совпадения.
2. Выбор (разрешение конфликта). Совокупность отработанных правил (тех правил, для которых сопоставление привело к успеху) называют конфликтным множеством правил.
3. Срабатывание. Для разрешения конфликта интерпретатор имеет критерий, с помощью которого он выбирает единственное правило, после чего срабатывает.
4. Выполнение действий (изменение состояния рабочей памяти). Это выражается в занесении фактов, образующих заключение правила, в рабочую память и, возможно, в изменении критерия выбора конфликтующих правил.
ЭС, как правило, не располагают процедурами, которые могли бы построить в пространстве состояний сразу весь путь решения задачи. Более того, зачастую даже не удается определить, имеется ли вообще какое-нибудь решение задачи. Тем не менее, поиск решения выполняется, поскольку движением в пространстве состояний управляют виртуальные (скрытые) процедуры.
21. Обратный логический вывод. Иллюстрация обратного логического вывода на деревьях И-ИЛИ. Конфликтное множество. Связь с поиском в пространстве состояний. Применение различных алгоритмов поиска.
Порядок срабатывания правил называется стратегией вывода. Существует два классических и наиболее распространенных алгоритма вывода: прямой и обратный. Обратный вывод (вывод, управляемый целями). Данный метод основан на следующем: вначале вывода выдвигается некоторая гипотеза, затем алгоритм пытается доказать эту гипотезу обращаясь к фактам, которые могут подтвердить гипотезу. Если гипотеза оказалось верной, то генерируется новая гипотеза, так называемая подчиненная гипотеза, являющаяся подцелью к первой. Далее процесс повторяется. Для обратных выводов характерна тенденция исключения из рассмотрения правил, не имеющих прямого отношения к заданной цели, что позволяет повысить эффективность вывода
цель
Если вывод идёт от цели к данным (от корня к листьям), то он называется обратным.
Деревья могут быть разной формы, вытянутые вширь, вытянутые в глубину, других форм. То есть в разных случаях могут оказаться эффективными разные алгоритмы обхода дерева. Существует два принципа обхода: в глубину и в ширину.
данные
f(X,
Y)
X Y
Для исключения категоричности решений вводятся
коэффициенты уверенности:
жар
грипп
или простуда и
Пример И-ИЛИ дерева. То есть выдвигается гипотеза
«Грипп». Чтобы её доказать, нам надо либо наличие
«жар», либо «простуда». Допустим «жар» отсутствует, тогда выдвигается новая гипотеза «простуда», подчинённая, являющаяся подцелью гипотезы «грипп». Когда все подцели будут доказаны, система сделает заключение «грипп». В противном случае будут рассматриваться другие диагнозы.
насморк t
Продукционная система (или система, основанная на правилах) работает циклически, цикл имеет 4 фазы.
1. Сопоставление. Информация из рабочей памяти последовательно сопоставляется с посылками правил для выявление совпадения.
2. Выбор (разрешение конфликта). Совокупность отработанных правил (тех правил, для которых сопоставление привело к успеху) называют конфликтным множеством правил.
3. Срабатывание. Для разрешения конфликта интерпретатор имеет критерий, с помощью которого он выбирает единственное правило, после чего срабатывает.
4. Выполнение действий (изменение состояния рабочей памяти). Это выражается в
занесении фактов, образующих заключение правила, в рабочую память и, возможно, в изменении критерия выбора конфликтующих правил.
ЭС, как правило, не располагают процедурами, которые могли бы построить в пространстве состояний сразу весь путь решения задачи. Более того, зачастую даже не удается определить, имеется ли вообще какое-нибудь решение задачи. Тем не менее, поиск решения выполняется, поскольку движением в пространстве состояний управляют виртуальные (скрытые) процедуры.