Meses: febrero 2011

En la clase de hoy del curso Lógica Informática se ha comenzado el estudio de la semántica proposicional desde el punto de vista computacional; es decir, se ha ido definidendo los conceptos semánticos y comentando su posible implementación.

Los conceptos definidos son los valores de verdad, las funciones de verdad, las interprestaciones, el valor de verdad de las fórmulas respectos de las interpretaciones, los modelos de fórmulas, la clasificación semántica de fórmulas (satisfacibles, insatisfacibles, tautologías, contradictorias y contigentes), los problemas SAT y TAUT. Finalmente, se han visto dos algoritmos para la solución de los problemas SAT y TAUT: tablas de verdad y método de Quine.

Como tarea pendientes se propone la resolución de los ejercicios 11, 26, 32 y 33 del capítulo 1 del libro de ejercicios.

Las transparencias de esta clase son las páginas 14-25 del tema 1
Read More “LI2011: Semántica de la lógica proposicional (1)”

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”