3.2 Metodos de interferencia.pptx

3.2 Metodos de interferencia

1. Métodos de Inferencia en Reglas

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 24/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 24/04/2023

4. Ejemplo de las Reglas de inferencia lógicas más utilizadas: 4 24/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 24/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 24/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 24/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 24/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 24/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 24/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 24/04/2023