LI2011: La lógica proposicional como sistema de representación del conocimiento y su sintaxis
En la clase de hoy del curso Lógica Informática ha tenido tres 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.
En la tercera parte se ha presentado la sintaxis de la lógica proposicional. Concretamente,
- el lenguaje de la lógica proposicional,
- la definición recursiva de las fórmulas proposicionales,
- árboles de análisis de fórmulas,
- definiciones por recursión sobre fórmulas y
- demostraciones por inducción sobre fórmulas.
Las tareas pendientes son:
- registrarse en APLI2,
- resolver ejercicios de formalización proposicional con APLI2 y
- resolver los ejercicios 22, 23, 24 y 25 del capítulo 1 del libro de ejercicios.
Las transparencias de esta clase son las páginas 1-13 del tema 1
Read More “LI2011: La lógica proposicional como sistema de representación del conocimiento y su sintaxis”