Processing method in a rule-based expert system that begins by identifying a chain of true rules that lead to a conclusion. Compare backward chaining.