Definition, synonyms and related words
To perform inferences, starting with a list of goals (or a hypothesis) and working backwards from the consequent to the antecedent.