Sistemas expertos

El encadenamiento hacia atrás es un método de razonamiento en IA que comienza con el objetivo y trabaja hacia atrás para encontrar evidencia que lo respalde.

La encadenación hacia adelante es un método de inferencia basado en datos utilizado en IA para deducir conclusiones a partir de hechos y reglas dadas.

Un motor de inferencia es un componente central de los sistemas de IA que aplica reglas lógicas a una base de conocimientos para derivar conclusiones.

Un sistema basado en reglas utiliza reglas predefinidas para tomar decisiones o resolver problemas en aplicaciones de IA.

La IA Simbólica es una rama de la inteligencia artificial centrada en el uso de símbolos y reglas para el razonamiento y la resolución de problemas.