In artificial intelligence, modus ponens is often called forward chaining.
Forward chaining starts with available data, iterates forward attempting to extract more (new) data until it reaches a goal.
El encadenamiento hacia adelante comienza con los datos disponibles, proyecta los intentos futuros para extraer más datos (nuevos) hasta que alcanza el objetivo.
An inference engine using forward chaining searches the inference rules until it finds one where the antecedent (If clause) is known to be true.
Un motor de razonamiento que usa encadenamiento delantero busca las reglas de razonamiento hasta que busca uno en que el antecedente (la cláusula 'si') está sabido como la verdad.
Forward chaining is a popular implementation strategy for expert systems, business and production rule systems.
Finally, it has predictive analysis that can be based on forward chaining reasoning and contextual awareness.
Rule interpreters generally execute a forward chaining algorithm for selecting productions to execute to meet current goals, which can include updating the system's data or beliefs.
Los interpretadores de reglas generalmente ejecutan un algoritmo encadenado hacia adelante para el seleccionamiento de producciones para ejecutar para llegar a los objetivos actuales, los cuales pueden incluir la actualización de la información del sistema o creencias.
The system stops processing either when the user interrupts the forward chaining loop; when a given number of cycles has been performed; when a "halt" RHS is executed, or when no rules have LHSs that are true.
El sistema para el procesamiento cuando el usuario interrumpe el círculo encadenado; cuando un número dado de ciclos ha sido ejecutado; cuando un "halt" RHS es ejecutado, o cuando ninguna regla tiene LHSs que sean reales.
In artificial intelligence, modus ponens is often called forward chaining.