En inteligencia artificial, el "modus ponens" usualmente se lo denomina encadenamiento hacia adelante.