Última sesión sobre el análisis semántico sobre Tinto v0.1 “a mano”.
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.
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 28th, 2010
Beca de Doctorado para Creación de VideoJuegos
Se han convocado unas becas para la realización del Doctorado en la Universidad de Copenhague.
El doctorado estará enfocado a la creación de videojuegos, desde todas sus vertientes.
Mas información:
- http://www1.itu.dk/sw487.asp
- http://www1.itu.dk/graphics/ITU-library/Intranet/Personale/Stillingsopslag/VIP/Stillingsopslag%202010/PhD%20call_spring%202010_text.pdf
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.