Backward Chaining Inference
From AGIRI.org
Logical inference that begins with a set of hypothetical conclusions and tries to figure out high-confidence ways to prove these conclusions based on available knowledge.
[edit]
Inference Control
The tricky aspect of forward chaining inference is "pruning," i.e. figuring out which among the many possible steps to take.
[edit]
Mind Ontology Links
Mind Ontology
Supercategory: Backward Synthesis
Supercategory: Logic
Supercategory: Inference Control
Associated: Forward Chaining Inference
