Un motor de inferencia interpreta y evalúa los hechos en la base de conocimientos para proveer una respuesta. Este debe ser independiente del conocimiento y de los hechos. Se puede caracterizar por:
- El lenguaje en que ha sido escrito.
- La velocidad de trabajo: Inferencias / segundo.
Las estrategias de búsqueda de soluciones:
- No Ordenada: aleatoria, heurística.
- Ordenada: Encadenamiento hacia adelante (guiado por los datos, deductivo), encadenamiento hacia atrás (guiado por los objetivos, inductivo).
- La forma en que elige el conocimiento.
- La posibilidad de incorporar metaconocimiento.
El tipo de lógica que emplea en el razonamiento:
- Booleana, trivalente, multivalente, difusa.
- Monotónica o no monotónica.
- Atemporal o temporal.
- Lógica de orden 0, orden 0+, orden 1.
El método que utiliza para la evaluación del conocimiento incompleto o incierto:
- Determinístico.
- Probabilístico.
- Aproximado.
- Difuso.
Reglas de inferencia
Las reglas de inferencia son esquemas básicos de inferencia deductiva que se suelen escribir poniendo cada premisa en una línea y la conclusión en otra línea al final. Toda regla, como toda inferencia deductiva, tiene que estar basada en la implicación de la conclusión a partir de las premisas.
Modus ponendo ponens
En lógica, el modus ponendo ponens (en latín, modo que afirmando afirma), también llamado modus ponens y generalmente abreviado MPP o MP, es una regla de inferencia que tiene la siguiente forma:
Si A, entonces B
A
Por lo tanto, B
Por ejemplo, un razonamiento que sigue la forma del modus ponens podría ser:
Si está soleado, entonces es de día.
Está soleado.
Por lo tanto, es de día.
Otro ejemplo sería
Si Javier tiene rabia, es una nube.
Javier tiene rabia.
Por lo tanto, Javier es una nube.
Otra manera de presentar el modus ponens con el condicional es:
---------
B
Y aún otra manera es a través de la notación del cálculo de secuentes: Con condicional:
(A-->B), A |- B
Mas en: http://es.wikipedia.org/wiki/Modus_ponendo_ponens
Modus tollendo tollens
En lógica, el modus tollendo tollens (en latín, modo que negando niega), 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:
A<-->B
~A
-----------
~B
Y aún otra manera es a través de la notación del cálculo de secuentes:
(A<-->B), ~A|- ~B
En lógica proposicional su representación sería la siguiente :[(pﬤ[q&)~qﬤ~p
Mas en:
No hay comentarios:
Publicar un comentario