Backward Chaining
A technique of reasoning utilized by an expert system in which the system tries to verify a hypothesis by verifying all statements that imply or lead to that hypothesis.
Articles on KurzweilAI.net that refer to Backward Chaining
The Age of Intelligent Machines: Knowledge Processing--From File Servers to Knowledge Servers By Edward FeigenbaumThe Age of Intelligent Machines: An Expert System for Automotive Diagnosis By