backward chaining
Unreviewed
an inference method used in automated theorem provers, proof assistants and other artificial intelligence applications. Backward chaining starts with a list of goals (or a hypothesis) and works backwards from the consequent to the antecedent to see if there is data available that will support any of these consequents.
Definition contributed by Anonymous
Definition contributed by Anonymous
Asserted relationships to other concepts
backward chaining
is a kind of
is a kind of
No associations
backward chaining
is a part of
is a part of
No associations
are a kind of
backward chaining
backward chaining
No associations
are a part of
backward chaining
backward chaining
No associations
Tasks that are asserted to measure backward chaining
| Task | Contrast Measure |
