Forward Chaining Inference
From AGIRI.org
Logical inference that begins with a set of premises and tries to figure out what interesting conclusions follow from it (via an iterated series of inference steps).
[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: Forward Synthesis
Supercategory: Logic
Supercategory: Inference Control
Associated: Backward Chaining Inference
