forward reasoning

Noun

 * 1)  In artificial intelligence, modus ponens.