2. La inferencia es la forma en que obtenemos conclusiones en
base de datos y declaraciones establecidas, es el proceso por el
cual se realiza el mapeo para asignar entradas y salidas
utilizando la lógica difusa. El método utiliza reglas tipo: si
entonces (if then else)
2
25/04/2023
3. Las reglas de inferencia son mecanismos sintácticos que
permiten deducir, si: a.b.c a partir de otras a.b.c, existen las
reglas Modus Ponens, Modus Tollens, Dilema Constructivo,
Silogismo Disyuntivo, Silogismo Hipotético, Absorción, Adición,
De Morgan, Simplificación, Conjunción, Conmutación, Asociación,
Distribución, Doble negación, Transposición, Implicación Material,
Equivalencia Material, Exportación, Tantología.
3
25/04/2023
4. Ejemplo de las Reglas de
inferencia lógicas más utilizadas:
4
25/04/2023
5. Modus Ponens Ponens
Establece si una implicación es cierta y su antecedente, su
consecuente también es cierto o verdadera, de manera simbólica
se representa:
(M.P) p=>q
P
por lo tanto, q
5
25/04/2023
6. Ejemplo
P-> El sol brilla, q->Claudia está en la playa
p-> El sol brilla,
Por lo tanto, q-> Claudia está en la playa
6
25/04/2023
7. Modus Tollendo Ponens
Esta regla dice si una disyunción es verdadera y una de sus
proposiciones simples es falsa entonces por consecuencia la otra
proposición será verdadera, de forma simbólica se representa:
(M.T.P) p=>q
~ p
por lo tanto p
7
25/04/2023
8. Ejemplo
p-> Si el sol brilla, q-> Claudia está en la playa
~ q-> Claudia no está en la playa
Por lo tanto ~p-> el sol brilla
8
25/04/2023
9. Modus Tollendo Tollens
Dice si una implicación es verdadera y es falso su consecuente,
entonces su antecedente será necesariamente falso, de forma
simbólica se representa:
(M.T.T) p=>q
~ q
Por lo tanto q
9
25/04/2023
10. Otra regla de inferencia es la Resolución, técnica que se utiliza
para probar teoremas en la lógica y constituye la base en prolog,
lenguaje que manipula en forma computacional la lógica de
predicados.
10
25/04/2023
11. Entonces se dice:
Si (A v B) es verdadero y (~B v C) es verdadero, entonces (A v C)
son verdaderos.
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.
11
25/04/2023