Оглавление:
Определение - Что означает обратная цепочка?
Обратная цепочка - это метод вывода, широко используемый в искусственном интеллекте, автоматизированных средствах доказательства теорем и помощниках по доказательству. Методология обратного связывания может быть описана как возврат к цели. Многие языки программирования поддерживают обратное связывание в своих механизмах вывода.
Обратная цепочка также называется обратной рассуждением.
Техопедия объясняет обратную цепочку
Обратная логическая цепочка используется в логическом программировании посредством выборочного линейного разрешения определенных предложений. Это один из наиболее часто используемых методов рассуждения с правилами помех и логическим подтекстом. Обратная цепочка работает в обратном направлении от списка целей, чтобы определить, есть ли какие-либо данные для их поддержки. Механизм логического вывода, который использует обратную цепочку, ищет правила логического вывода, пока не найдет правило со следствием, которое соответствует желаемой цели. Если предшествующий элемент этого правила не известен как истинный, правило добавляется в список целей, чтобы можно было найти данные для его подтверждения.
