Прямая цепочка - Forward chaining

Эта статья посвящена механизмам вывода с прямой цепью. Для прямой цепочки как инструкции см. Цепочка.

Прямая цепочка (или же прямое рассуждение) является одним из двух основных методов рассуждения при использовании Механизм логического вывода и можно описать логически как повторное применение modus ponens. Прямая цепочка - популярная стратегия реализации для экспертные системы, бизнес и системы производственных правил. Противоположностью прямой цепочки является обратная цепочка.

Прямая цепочка начинается с доступного данные и использует правила вывода для извлечения дополнительных данных (например, от конечного пользователя) до тех пор, пока Цель достигнуто. An Механизм логического вывода использование прямой цепочки ищет правила вывода, пока не найдет то, в котором предшествующий (Если пункт), как известно, верно. Когда такое правило найдено, двигатель может сделать вывод или сделать вывод о последующий (потом пункт), в результате чего добавляется новый Информация своим данным.[1]

Механизмы вывода будут повторять через этот процесс, пока цель не будет достигнута.

Пример

Предположим, что цель состоит в том, чтобы определить цвет домашнего животного по имени Фриц, учитывая, что он квакает и ест мух, и что база правил содержит следующие четыре правила:

  1. Если X каркает, а X ест мух - потом X - лягушка
  2. Если Х щебечет и Х поет - потом X - канарейка
  3. Если Х - лягушка - потом X зеленый
  4. Если Х - канарейка - потом X желтый

Давайте проиллюстрируем прямую цепочку, следуя образцу компьютера, когда он оценивает правила. Предположим следующие факты:

  • Фриц каркает
  • Фриц ест мух

Используя прямое рассуждение, машина вывода может вывести, что Фриц зеленый, выполнив ряд шагов:

1. Поскольку базовые факты указывают на то, что «Фриц каркает» и «Фриц ест мух», антецедент правила № 1 удовлетворяется заменой Фрица на X, и машина вывода делает вывод:

 Фриц - лягушка

2. Затем выполняется антецедент правила № 3 путем замены X Фрицем, и машина вывода делает вывод:

 Фриц зеленый

Название «прямая цепочка» происходит от того факта, что механизм вывода начинается с данных и обдумывает свой путь к ответу, а не обратная цепочка, который работает наоборот. При выводе правила используются в обратном порядке по сравнению с обратная цепочка В этом примере правила №2 и №4 не использовались при определении того, что Фриц зеленый.

Поскольку данные определяют, какие правила выбираются и используются, этот метод называется управляемый данными, в отличие от целеустремленный обратная цепочка вывод. Подход прямой цепочки часто используется экспертные системы, Такие как КЛИПЫ.

Одним из преимуществ прямой цепочки перед обратной цепочкой является то, что прием новых данных может запускать новые выводы, что делает механизм лучше приспособленным к динамическим ситуациям, в которых условия могут измениться.[2][3]

Смотрите также

Рекомендации

  1. ^ Фейгенбаум, Эдвард (1988). Расцвет экспертной компании. Times Books. п.318. ISBN  0-8129-1731-6.
  2. ^ Хейс-Рот, Фредерик; Дональд Уотерман; Дуглас Ленат (1983). Создание экспертных систем. Эддисон-Уэсли. ISBN  0-201-10686-8.
  3. ^ Качор, Кшиштоф; Шимон Бобек; Гжегож Й. Налепа (05.12.2010). «Обзор оболочек экспертных систем» (PDF). geist.agh.edu.pl/. Краков, Польша: Институт автоматики: AGH University of Science and Technology, Польша. Получено 5 декабря 2013.

внешняя ссылка