Inteligencia Artificial - Opt ITIG-ITIS

Prácticas de cursos anteriores

• Búsqueda heurística.
• Implementación de una solución al problema de 8-puzzle

Solución con los algoritmos A*, IDA* (Iterative-Deepening A*), SMA*(Simplified Memory-Bounded A*) y DFID (Depth-First Iterative-Deepening). Implementación en C con interfaces en curses y Tcl/Tk. Código fuente y documentación disponibles (actualizado 05/Nov/1998) Autores: Juan Carlos Vidal Aguiar.
• Adaptación al dominio SOKOBAN (2000-2001).

Autores: Mirianm Parada Robles, Juan Monroy Camafreita.
• Representación del conocimiento e inferencia. Implementación de un sistema lógico de razonamiento. El lenguaje de representación del conocimiento seá una versión restringida de FOL y los mecanismos de encadenamiento hacia delante y encadenamiento hacia atrás están basados en Modus Ponens Generalizado
• Práctica 2-96 (especificaciones) 
• SOLUCIÓN en CAML. Código fuente y documentación disponibles. Autores: David Losada Carril, Eduardo López Seijo, Oscar Fontenla Romero

• Práctica 1 - 1997 (especificaciones)(postcript gzipped),(html)
• Práctica 2 - 1997 (especificaciones)(postcript gzipped),(html)
• Práctica 1 - 1998 (especificaciones)(postcript gzipped),(html)
• Práctica 1 - 2000 (especificaciones)(html)
• Práctica 2 - 2000 (especificaciones)(html)
• Práctica 1 - 2002 (especificaciones)(html)
• Práctica 2 - 2002 (especificaciones)(html)
• Práctica 1 - 2003 (especificaciones)(html)
• Práctica 2 - 2003 (especificaciones)(html)