Forward Reasoning
Updated 2026-08-13
INTRODUCTION
English translation pending.
CORE DEFINITION
Forward reasoning, also called forward chaining, begins with the facts already established and repeatedly applies inference rules to derive new facts, continuing until no further conclusions can be drawn or a goal is reached. The core proposition is that this data-driven direction is useful when the goal is not yet known, because it maps out the space of what follows from what is known. The key qualification is that without a target to constrain it, forward chaining can generate a large volume of irrelevant conclusions.
SCAFFOLDING EFFECT
Reduce cognitive load
- Fact listing: write down everything currently established before applying any rule. - Rule matching: apply only the rules whose conditions the known facts already satisfy. - Termination check: decide in advance whether to stop at saturation or at a specified target conclusion.
Anchor fast decisions
Each application of a rule adds conclusions that were implicit in the existing facts, and those conclusions then enable further rules. Because the process is driven by what is known rather than by what is wanted, it explores consequences systematically instead of only the path toward a preselected answer. The cost is that the derived set grows quickly when no target narrows the search.
MINIMUM ACTION
In progress 0/1Practice this model in one real situation:
account_treeGenealogyexpand_more
menu_bookReferencesexpand_more
Source support: Explicit
- en.wikipedia.orghttps://en.wikipedia.org/wiki/Forward_chainingverified
PRIVATE NOTES · Only visible to you
SAVED Q&A
ENTRY Q&A · Private saving available
Ask with a clear boundary
thinkingmodels answers from published entry context only.
Your question is sent to thinkingmodels. The answer uses public entry context only.
RELATED MODELS