---
slug: "BackwardChain"
name: "BackwardChain"
type: "Reasoning"
layer: "Mind"
ref: "BackwardChain#92c0"
sema_id: "sema:BackwardChain#mh:SHA-256:92c0e4700ff6bc202bd16dc4c77fd0b826605462cdc30d8b4230c36f61df0bb3"
tags: ["Mind","Reasoning"]
updated: 2026-11-11
mindscape: "bootstrap"
index_url: https://mindscape.world/scapes/bootstrap.json
url: https://mindscape.world/bootstrap/BackwardChain/
related: ["Chain","ChainOfThought","Deduction","Plan"]
---

# BackwardChain

Goal-driven reasoning from target to preconditions

Layer: Mind · Category: Reasoning

## Mechanism

Goal-First Decomposition: Start from desired end-state, recursively identify prerequisites. For each prerequisite, ask "what must be true for this to hold?" until reaching known facts or actionable steps. Execution order is reverse of discovery order. A goal-directed form of [Deduction](https://mindscape.world/scapes/bootstrap/Deduction.md) — derives required antecedents from the desired consequent. Structures the [ChainOfThought](https://mindscape.world/scapes/bootstrap/ChainOfThought.md) in reverse chronological order, linking the desired future state to present preconditions.

## Invariants

- Causal Sufficiency: Step(T) must be sufficient condition for Step(T+1)
- Goal Anchoring: [Chain](https://mindscape.world/scapes/bootstrap/Chain.md) must start at DesiredEndState
- Leaf nodes must be actionable or known-true.

## Preconditions

- Goal state clearly defined.
- Domain has prerequisite structure.
- Knowledge base queryable.

## Postconditions

- Execution plan produced OR goal proven unachievable.
- [Plan](https://mindscape.world/scapes/bootstrap/Plan.md) steps in executable order.
- All prerequisites satisfied.

## Failure modes

- Infinite Regression: The precondition chain never terminates because base facts are missing.

## Builds on

- [Chain](https://mindscape.world/scapes/bootstrap/Chain.md) (Infrastructure; References)
- [ChainOfThought](https://mindscape.world/scapes/bootstrap/ChainOfThought.md) (Mind; References)
- [Deduction](https://mindscape.world/scapes/bootstrap/Deduction.md) (Mind; References)
- [Plan](https://mindscape.world/scapes/bootstrap/Plan.md) (Infrastructure; References)

## Used by

—

## Identity

- Sema ID: `sema:BackwardChain#mh:SHA-256:92c0e4700ff6bc202bd16dc4c77fd0b826605462cdc30d8b4230c36f61df0bb3`
- Ref: `BackwardChain#92c0`
- Supersedes:
  - `sema:BackwardChain#mh:SHA-256:04841f7ca3e84925caa3e0480d39467e3707e7fdf8eefe3650177c25fbd4c43b`
  - `sema:BackwardChain#mh:SHA-256:4f06546167f2ac9d04fadbbb0c8033f2638d91d8c319b346f4b3c735a819dfab`
  - `sema:BackwardChain#mh:SHA-256:9ff877cde5b5de2a850c5fade17d56a9da5fd5330cbba29f59953e6934de8cde`

## Links

- [Pattern page](https://mindscape.world/bootstrap/BackwardChain/)
- [View in the interactive graph](https://mindscape.world/bootstrap/#BackwardChain)
- [JSON](https://mindscape.world/scapes/bootstrap/BackwardChain.json)
- [Index of all patterns](https://mindscape.world/scapes/bootstrap.json)