Интеллектуальные робототехнические системы


Поиск решений в системах продукций


Поиск решений в системах продукций наталкивается на проблемы выбора правил из конфликтного множества, как это указывалось в предыдущей лекции. Различные варианты решения этой проблемы рассмотрим на примере ЭСО CLIPS, на которой нам предстоит в 7 лекции разработать исследовательский прототип ЭС. Правила в ЭС, кроме фактора уверенности эксперта, имеют приоритет выполнения (salience). Конфликтное множество (КМ) - это список всех правил, имеющих удовлетворенные условия при некотором, текущем состоянии списка фактов и объектов и которые еще не были выполнены. Как отмечалось ранее, конфликтное множество это простейшая база целей. Когда активизируется новое правило с определенным приоритетом, оно помещается в список правил КМ ниже всех правил с большим приоритетом и выше всех правил с меньшим приоритетом. Правила с высшим приоритетом выполняются в первую очередь. Среди правил с одинаковым приоритетом используется определенная стратегия.

CLIPS поддерживает семь стратегий разрешения конфликтов.

Стратегияглубины (depth strategy) является стратегией по умолчанию (default strategy) в CLIPS. Только что активизированное правило помещается поверх всех правил с таким же приоритетом. Это позволяет реализовать поиск в глубину.

Стратегияширины (breadth strategy) - только что активизированное правило помещается ниже всех правил с таким же приоритетом. Это, в свою очередь, реализует поиск в ширину.

LEX стратегия - активация правила, выполненная более новыми образцами (фактами), располагается перед активацией, осуществленной более поздними образцами. Например, как это указано в таблица 3.3

ниже.

MEA стратегия - сортировка образцов не производится, а осуществляется только упорядочение правил по первым образцам, как это показано в столбце 3 таблица 3.3.

Таблица 3.3. Результаты применения LEX и MEA стратегий

Исходный набор правилПравила, отсортированные LEXПравила, отсортированные MEA
rule-6: f-1,f-4rule-6: f-4,f-1rule-2: f-3,f-1
rule-5: f-1,f-2,f-3rule-5: f-3,f-2,f-1rule-3: f-2,f-1
rule-1: f-1,f-2,f-3rule-1: f-3,f-2,f-1rule-6: f-1,f-4
rule-2: f-3,f-1rule-2: f-3,f-1rule-5: f-1,f-2,f-3
rule-4: f-1,f-2rule-4: f-2,f-1rule-1: f-1,f-2,f-3
rule-3: f-2,f-1rule-3: f-2,f-1rule-4: f-1,f-2




Начало  Назад  Вперед



Книжный магазин