Desarrollo hoy del tema 3 del bloque: Tableros Semánticose introducción a las formas normales.
Los tableros están terminados, a la espera de la publicación de algunos ejercicios, y las formas normales están casi terminadas, para el próximo día explicar Resolución y hacer algún ejemplo.
Diario de la clase de hoy…
Hemos explicado la incorporación del analizador semántico dentro del sintáctico y ya sobre el código fuente de Tinto.
Hemos trabajado sobre la construcción del árbol de sintaxis abstracta y finalmente hemos hecho un ejemplo con su traza.
En la clase de hoy se ha explicado la deducción natural y sus principales reglas y se han hecho ejemplos en la pizarra.
También se ha hecho una pequeña introducción al razonamiento mediante el método de los tableros(que será el tema del principio de la clase siguiente).
Primera práctica sobre Análisis Semántico. En ella se han descrito los nodos que compondrán el Árbol de Sintaxis Abstracta(ASA) generado por el compilador Tinto.
Hemos realizado al final un ejemplo de cómo quedaría, a mano(en la pizarra), el ASA del código Tinto de la práctica 1.
En la clase de hoy… segunda parte sobre Representación del conocimiento: Semántica de la Lógica Proposicional.
Tema terminado, el próximo día empezaremos con el Razonamiento, y más concretamente con la “Deducción natural”
Presentación del segundo cuatrimestre de la asignatura “Inteligencia Artificial e Ingeniería del Conocimiento”, la cual consta de 3 bloques:
Después de esto, hemos comenzado con el primer tema del primer bloque:
quedándonos en el concepto de Interpretación.
Hoy se ha explicado y mostrado en clase el funcionamiento de los analizadores SLR, mostrándose unas transparencias con las ideas básicas de la implementación y varios ejemplos de dicha implementación.
Asignaturas impartidas:
Datos para las tutorías del segundo cuatrimestre:
Campus del Carmen: Facultad Ciencias del Trabajo, Pabellón Derecho, planta 1ª, aula 1
Campus de la Rábida: Edificio Torreumbría, Despacho TUPB-11