LI2011-12: Panorama de la lógica. La lógica proposicional como sistema de representación del conocimiento
La clase de hoy del curso Lógica Informática ha tenido dos partes.
En la primera parte se ha presentado un panorama de la Lógica Informática en la que se ha visto su concepto (Lógica Informática = Representación del conocimiento + Automatización del razonamiento), distintas lógicas y aplicaciones de la lógica en Informática.
En la segunda parte se ha presentado la lógica proposicional como sistema de representación del conocimiento. También se ha presentado el sistema APLI2 que sirve de tutor para el aprendizaje de la representación lógica del conocimiento.
Las tareas pendientes son:
- registrarse en APLI2 y
- resolver ejercicios de formalización proposicional con APLI2
Las transparencias de esta clase son las páginas 1-5 del tema 1