LMF2012: Panorama de la lógica. La lógica proposicional como sistema de representación del conocimiento
La clase de hoy del curso Lógica matemática y fundamentos ha tenido tres partes.
En la primera parte se ha presentado un panorama de la lógica en la que se ha visto sus objetivos (representar el conocimiento y automatizar el razonamiento), distintas lógicas (proposicional, primer orden, orden superior y modales) y aplicaciones de la lógica en computación.
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.
En la tercera parte se ha iniciado el estudio de la sintaxis de la lógica proposicional mostrando cómo se definen las fórmulas por recursión, cómo se definen funciones sobre las fórmulas mediante recursión y cómo se demuestran propiedades de las fórmulas mediante inducción.
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-10 del tema 1