Universidad Católica Boliviana “San Pablo” Departamento de Ingenierías

1. Universidad Católica Boliviana “San Pablo” Departamento de Ingenierías Lógica Natural de Razonamiento www.ucbscz.edu.bo Santa Cruz, Bolivia.

2. Lógica Natural de Razonamiento Lenguajes de Programación. • Lenguaje C, C++. • Lenguaje Pascal. • Lenguaje Java. • Lenguaje ProLog. • Otros Lenguajes.......

3. Lógica Natural de Razonamiento Arbol de Conocimiento sobre Familias. (Arbol Genealógico)

4. Lógica Natural de Razonamiento Conjunto de Personas. Personas = { juan, juana, claudio, claudia, silvio, silvia, julio, julia, jose, sandro, sandra, carlos, carla, jorge }

5. Lógica Natural de Razonamiento SubConjunto de Personas. Hombres = { juan, claudio, silvio, julio, jose, sandro, carlos, jorge } Mujeres = { juana, claudia, silvia, julia, sandra, carla }

6. Hombres Mujeres Lógica Natural de Razonamiento Personas Personas = Hombres U Mujeres

7. Lógica Natural de Razonamiento Programar en ProLog. Hechos: Enunciados que son siempre verdaderos (True) Reglas: Enunciados que pueden ser verdaderos o Falsos (True or False)

8. Lógica Natural de Razonamiento Ejemplo: Hechos: : Los seres humanos son inteligentes : Sócrates es humano Regla :Sílos seres humanos son inteligentes y Sócrates es un ser humano Entonces Sócrates es inteligente

9. Lógica Natural de Razonamiento En Prolog Hecho : humano( socrates ). Regla : inteligente(X) : - humano(X).

10. Lógica Natural de Razonamiento Para el caso de las familias: Hechos: hombre( juan ). hombre( claudio ). hombre( silvio ). hombre( julio ). hombre( jose ). hombre( sandro ). hombre( jorge ). hombre( carlos ).

11. Lógica Natural de Razonamiento Razonamiento Lógico Mas Hechos: mujer( juana ). mujer( claudia ). mujer( silvia ). mujer( julia ). mujer( sandra ). mujer( carla ).

12. Lógica Natural de Razonamiento Mas Hechos: • Escribir como Hecho: • matr( juan, juana ). • hombre mujer • Significado: • juan y juana forman una pareja de matrimonio. • juan es el esposo de juana.

13. Lógica Natural de Razonamiento Más Hechos: matr( juan, juana ). matr( claudio, claudia ). matr( silvio, silvia ). matr( julio, julia ). matr( sandro, sandra ). matr( carlos, carla ).

14. Lógica Natural de Razonamiento Más Hechos: Escribir como Hecho: madre( juana, silvia ). madre( juana, julio ). mujer persona • Significa: • juana es madre de silvia

15. Lógica Natural de Razonamiento Más Hechos: madre( juana, silvia ). madre( juana, julio ). madre( claudia, julia ). madre( claudia, jose ). madre( julia, sandro ). madre( sandra, jorge ). madre( sandra, carlos ).

16. Lógica Natural de Razonamiento Es TRUE, si ambas proposiciones son True. Es FALSE, si alguna de las proposiciones es FALSE. En ProLog el AND se representa con una coma: p, q

17. Lógica Natural de Razonamiento Es FALSE, si ambas proposiciones son FALSE. Es TRUE, si alguna de las proposiciones es TRUE. En ProLog el OR se representa con un punto y coma: p; q

18. Lógica Natural de Razonamiento Reglas de Inferencia: padre ( X, Y ) :- ? padre ( X, Y ) :- madre(Z, Y), matr(X, Z).

19. Lógica Natural de Razonamiento Reglas de Inferencia: abuela (X, Y) :- ? Abuela( X,Y ) :- madre( Z, Y ), madre( X, Z ); padre( Z, Y ), madre( X, Z ).

20. Lógica Natural de Razonamiento Otras Reglas de Inferencia. persona( X ) :- hombre( X ); mujer( X ). abuelo( X, Y ) :- abuela( Z, Y ), matr( X, Z ). soltero( X ) :- hombre( X ), not( matr(X, Y) ). madre( Z, X ), madre( Z, Y ). hermanos( X, Y ) :-