MOTOR DE INFERENCIA Y REGLAS

Motor de Inferencia.- es un programa que, mediante el empleo de los conocimientos puede resolver el problema que está especificado. Lo resuelve gracias a los datos que contiene la base de hechos del sistema experto. Por regla general, el tipo de reglas que forman la base de conocimientos es tal que, si A es válido, puede deducirse B como conclusión. En este caso, la tarea que lleva a cabo el motor de inferencias es la de seleccionar, validar y activar algunas reglas que permiten obtener finalmente la solución correspondiente al problema planteado.

El motor de inferencia usa ambos para obtener nuevas conclusiones o hechos. Por ejemplo, si la premisa de una regla es cierta, entonces la conclusión de la regla debe ser también cierta. Los datos iniciales se incrementan incorporando las nuevas conclusiones. Por ello, tanto los hechos iniciales o datos de partida como las conclusiones derivadas de ellos forman parte de los hechos o datos de que se dispone en un instante dado.

  • Modus Ponendo Ponens

p → q             “Si llueve, entonces las calles se mojan”        (premisa)

p                   “Llueve”                                                    (premisa)

___________________________________________________

q                      “Luego, las calles se mojan”                         (conclusión)

El condicional o implicación es aquella operación que establece entre dos enunciados una relación de causa-efecto. La regla ‘ponendo ponens’ significa, “afirmando afirmo” y en un condicional establece, que si el antecedente (primer término, en este caso p) se afirma, necesariamente se afirma el consecuente (segundo término, en este caso q).

  • Modus Ponendo Tollens

Es una forma válida de argumento que dice:

O bien A, o bien B

A      Por lo tanto, no B

Por ejemplo, un razonamiento que sigue la forma del modus ponendo tollens podría ser:

O bien es de día, o bien es de noche.

Es de día.

Por lo tanto, no es de noche.

Otra manera de presentar el modus ponendo tollens es:

 

Y aún otra manera es a través de la notación del cálculo de secuentes:

  • Modus Tollendo Tollens

También llamado modus tollens y generalmente abreviado MTT o MT, es una regla de inferencia que tiene la siguiente forma:

si A entonces B

No B

Por lo tanto, no A

Por ejemplo, un razonamiento que sigue la forma del modus tollens podría ser:

si está soleado entonces es de día.

No es de día.

Por lo tanto, no está soleado.

Es importante evitar caer en el razonamiento incorrecto de:

Si tiene permiso de conducir entonces es mayor de edad

No tiene permiso de conducir

Por lo tanto, no es mayor de edad.

Es incorrecto puesto que podría ser mayor de edad y no tener permiso de conducir, de ahí la importancia de no confundir el condicional (si p, entonces q) con el bicondicional (p si y solo si q).

Otra manera de presentar el modus tollens es:

  • Modus Ponendo Tollens

Está estrechamente relacionado con el modus Ponens y modus Tollens. Por lo general se describe como que tiene la forma:

  1. No es tanto A como B
  2. Un
  3. Por lo tanto, no B

Por ejemplo:

  1. Ann y Bill no puede tanto ganar la carrera.
  2. Ann va a ganar la carrera.
  3. Por lo tanto, Bill no puede ganar la carrera.

EJ Lemmon como lo describe: ” ponendo tollens Modus el principio de que, si la negación de una conjunción y también tiene uno de sus conjunción, entonces la negación de la otra sostiene su conjunto.

En la notación de la lógica de esto se puede representar como:



 

Fuentes: Motor de Inferencia

Reglas de Inferencia