Forward-reasoning Definition

noun
(philosophy, logic) In artificial intelligence, modus ponens.
Wiktionary