PROYECTOS

Desarrollo de un Teórico Lógico (programa TLOG). Se trata de un programa capaz de resolver teoremas de lógica proposicional de forma determinista y de seguir varias estrategias para la resolución de teoremas de lógica de primer orden.

Programado en lenguaje Lisp como proyecto final de la asignatura Inteligencia Artificial de 5º de Ingeniería Superior de Informática, mereció una Matricula de Honor en la calificación de dicha asignatura, distinción obtenida a la edad de 19 años.

Con posterioridad, fue mejorado y es capaz de leer problemas en lenguaje natural (se le ha de suministrar la gramática y el diccionario), traducirlo y resolverlo, aunque no de expresar la respuesta también en lenguaje natural.