Un motor de inferencia es un programa que realiza inferencias a partir de una base preconstruida de hechos y reglas de acuerdo con las leyes de la lógica formal .
Los lenguajes formales se utilizan para construir una base de hechos y reglas, generalmente parecidos al lenguaje natural, pero mucho más rigurosos y limitados.
Un motor de inferencia normalmente puede realizar una o ambas de las siguientes operaciones:
En el primer caso, una pregunta como "¿Es A cierto?" el motor de inferencia da la respuesta "Sí" o "No", en el segundo, a una pregunta como "¿Para qué X es verdadera la regla A (X)?" la máquina calcula todos los valores posibles de X, que, al sustituirla en la regla A, convierte esta regla en un hecho verdadero.
En la teoría de la construcción de máquinas de inferencia, el llamado problema de la negación lógica , el problema de cómo determinar la no verdad de un hecho, no tiene una solución unívoca. En la mayoría de los casos, el motor de inferencia infiere que un hecho no es verdadero si la verdad del hecho no se infiere a partir de una base de hechos y reglas, pero esto puede conducir a una mala interpretación del conocimiento, ya que los resultados "A es falso" y " Un indemostrable" no difieren.
Un motor de inferencia es el componente básico de los sistemas expertos y los sistemas de ejecución de programas escritos en lenguajes de programación lógica como Prolog .
Un mecanismo de inferencia es un procedimiento generalizado para encontrar una solución a un problema, el cual, con base en la base de conocimiento y de acuerdo con la necesidad de información del usuario, construye una cadena de razonamiento (unidades de conocimiento lógicamente conectadas) que lleva a un resultado específico. .