Hoy vamos a tener una sesión sobre Análisis Semántico con la herramienta automática JavaCC.
Fundamentalmente veremos como agregar verificaciones y acciones semánticas a un analizador generado automáticamente.
abril 5th, 2010
IAIC – 25/03/2010
Última clase sobre lógica proposicional donde se explicó la resolución proposicional, algoritmo y posibles extensiones o modificaciones.
Se puso en la página de la asignatura el pseudocódigo del algoritmo y un ejemplo de ejecución del mismo.
marzo 18th, 2010
IAIC – 18/03/2010
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.
marzo 18th, 2010
PL – 15/03/2010
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.
marzo 13th, 2010
IAIC – 11/03/2010
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).
marzo 10th, 2010
PL – 08/03/2010
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.
marzo 4th, 2010
IAIC – 04/03/2010
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”
febrero 25th, 2010
IAIC – 25/02/2010
Presentación del segundo cuatrimestre de la asignatura “Inteligencia Artificial e Ingeniería del Conocimiento”, la cual consta de 3 bloques:
- Representación del conocimiento: Lógica
- Sistemas Multiagentes
- Planificación
Después de esto, hemos comenzado con el primer tema del primer bloque:
- Sintaxis y Semántica de la Lógica Proposicional
quedándonos en el concepto de Interpretación.
febrero 22nd, 2010
PL – 22/02/2010
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.