Archive for marzo, 2010

marzo 19th, 2010

Simulated Car Racing Competition 2010: Demolition Derby

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/

marzo 18th, 2010

Cambio de tutorías

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

  • Lunes de 10:00 a 12:00h

Campus de la Rábida: Edificio Torreumbría, Despacho TUPB-11

  • Lunes de 16:00 a 18:00h
  • Jueves de 16:00 a 18:00h
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.

Tags: , ,
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.

Tags: , , ,
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”