Explore relationships

Backward chaining

Backward chaining (or backward reasoning) is 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.

Use + to expand a branch. Click a topic name to open its summary.