Backward chaining is an inference method that starts with a goal or hypothesis and works backward to determine whether known facts or rules support it. It is used in expert systems, theorem provers, logic programming, proof assistants, and other AI reasoning applications.
(Also backward reasoning.) An inference method described colloquially as working backward from the goal. It is used in automated theorem provers, inference engines, proof assistants, and other artificial intelligence applications.