Fecha de publicación: 22-may-2018 9:40:51
¡Comenzamos con el paradigma lógico!
Introducimos que se trata de un paradigma declarativo que permite inferir verdades que se encuentran en la base de conocimiento (basado en el Principio de Universo Cerrado) en modo de predicados (poseen un valor de verdad) compuestos por cláusulas (hechos o reglas). Luego estuvimos haciendo consultas, tanto individuales como existenciales.
Si todos estos nombres los confunden, les dejamos este artículo que ordena un poco todo lo del párrafo anterior.
Luego vimos como escribir conjunciones y disyunciones. Y nos sorprendimos con la capacidad de otorgar múltiples respuestas para una consulta.
Todo esto lo pueden encontrar en el módulo 1 y módulo 2 de la sección de apuntes.
Finalmente, comenzamos a hacer las siguientes guías de Mumuki:
Y quedó de tarea comenzar (primeros 4 ejercicios)