forward reasoning

== English == === Noun === forward reasoning (uncountable) (philosophy, logic) In artificial intelligence, modus ponens.