Wiktionary
forward reasoning
n. (context philosophy logic English) In artificial intelligence, modus ponens.