bakåtföring
Bakåtföring is a term used in Swedish to describe a reasoning or inference method known in English as backward chaining. It is a goal-driven approach in logic, knowledge representation and artificial intelligence, where the reasoning process starts from a desired conclusion and works backward to identify the facts or rules needed to support that conclusion. This contrasts with forward chaining, which moves from known data toward conclusions.
The concept originates in logic and expert-system literature and is commonly discussed in texts about rule-based
Applications of bakåtföring include diagnostic reasoning, theorem proving, and other knowledge-based tasks where the objective is
Limitations include potential computational cost and the risk of exploring irrelevant branches if the knowledge base
See also: backward chaining, forward chaining, rule-based reasoning, knowledge representation.