UHU - Gonzalo A. Aranda-Corral » diario

PL – 05/04/2010

admin — Mon, 05 Apr 2010 08:19:17 +0000

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.

IAIC – 25/03/2010

admin — Mon, 05 Apr 2010 08:13:35 +0000

Ú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.

IAIC – 18/03/2010

admin — Thu, 18 Mar 2010 17:18:38 +0000

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.

PL – 15/03/2010

admin — Thu, 18 Mar 2010 17:15:34 +0000

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.

IAIC – 11/03/2010

admin — Sat, 13 Mar 2010 18:28:37 +0000

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).

PL – 08/03/2010

admin — Wed, 10 Mar 2010 10:44:55 +0000

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.

IAIC – 04/03/2010

admin — Thu, 04 Mar 2010 17:05:26 +0000

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”

IAIC – 25/02/2010

admin — Thu, 25 Feb 2010 15:25:07 +0000

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.

PL – 22/02/2010

admin — Mon, 22 Feb 2010 18:50:20 +0000

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.

Transparencias

Ejemplo de código