Lamento no haber podido realizar la tutoría de hoy por la mañana, pero me ha sido técnicamente IMPOISIBLE!!
Primero un problema técnico con el coche, y luego gestión administrativa urgente!
La tutoría se recuperará hoy mismo por la tarde, ampliando el horario las dos horas correspondientes, por lo que el horario quedará:
Un saludo y disculpad las molestias.
Gonzalo.
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.
He publicado en la web de la asignarura IAIC una lista de ejercicios para cada uno de los temas que llevamos dados.
También recordaros que teneis que solicitar el trabajo adicional del segundo cuatrimestre(obligatorio).
Ú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.
Última sesión sobre el análisis semántico sobre Tinto v0.1 “a mano”.
Hola,
Me gustaría publicar un post con una relación de juegos de simulación donde se pueden experimentar de una manera útil las técnicas de Inteligencia Artificial más comunes, pero ando siempre muy pillado de tiempo y nunca lo hago.
Por esto mismo, voy a empezar a publicar pinceladas de cosas que me van llegando y que pueden ser interesantes: el resumen lo dejo para más adelante.
Hoy me ha llegado una nueva competición: “Simulated Car Racing Competition 2010: Demolition Derby”. Es una competición basada en el simulador Torcs y que premia al coche que más resista en la carrera.
Para más información:
http://www.coboslab.psychologie.uni-wuerzburg.de/competitions/
Cambio de las tutorías del Jueves, que pasan a impartirse en el Campus de la Rábida.
El horario queda de la siguiente manera:
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
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).