3.1.6 Reglas de Inferencia.

•REGLAS DE INFERENCIA DEDUCTIVA

Inferir es concluir o decidir a partir de algo conocido o asumido; llegar a una conclusión. A su vez, razonar es pensar coherente y lógicamente; establecer inferencias o conclusiones a partir de hechos conocidos o asumidos.

•MODUS PONENS: Es la más importante, en los sistemas basados en conocimiento.

Establece que: Si las sentencias p y (p → q) se conocen que son verdaderas, entonces se puede inferir que q también es verdadera.

•MODUS TOLENS: Esta regla establece que: Si la sentencia (p→q) es verdadera y q es falsa, entonces se puede inferir que p también es falsa.

•RESOLUCIÓN: Utiliza refutación para comprobar una determinada sentencia. La refutación intenta crear una contradicción con la negación de la sentencia original, demostrando, por lo tanto, que la sentencia original es verdadera. La resolución es una técnica poderosa para probar teoremas en lógica y constituye la técnica básica de inferencia en PROLOG, un lenguaje que manipula en forma computacional la lógica de predicados. La regla de resolución, establece que: Si (A∨ B) es verdadero y (~B ∨ C) es verdadero, entonces (A ∨ C) también es verdadero.

ABDUCCION: Es un método de razonamiento comúnmente utilizado para generar explicaciones. A diferencia de la inducción, la abducción no garantiza que se puedan lograr conclusiones verdaderas, por lo tanto no es un método sólido de inferencia. La forma que tiene la abducción es la siguiente:
Si la sentencia (A → B) es verdadera y B es verdadera,
entonces A es posiblemente verdadera.

MPP Modus ponendo ponens
A → B
A
– – – – –      
B

MTT Modus tollendo tollens
A → B
¬B
– – – – –      
¬A

SD Silogismo Disyuntivo
A ∨ B
¬A
– – – – –      
¬B

SH Silogismo hipotético
A → B
B → C
– – – – –      
A → C

LS Ley de simplificación
A ∧ B
– – – – –      
A

LA Ley de adición
A
– – – – –      
A ∨ B

CONTRAPOSITIVA
A → B
– – – – –      
¬B → ¬A

Anuncios

Responder

Introduce tus datos o haz clic en un icono para iniciar sesión:

Logo de WordPress.com

Estás comentando usando tu cuenta de WordPress.com. Cerrar sesión / Cambiar )

Imagen de Twitter

Estás comentando usando tu cuenta de Twitter. Cerrar sesión / Cambiar )

Foto de Facebook

Estás comentando usando tu cuenta de Facebook. Cerrar sesión / Cambiar )

Google+ photo

Estás comentando usando tu cuenta de Google+. Cerrar sesión / Cambiar )

Conectando a %s

A %d blogueros les gusta esto: