Inteligencia artificial II (1998-99)

El curso está estructurado en cuatro partes. En la primera, se aborda el estudio e implementación en Lisp de la sintaxis y semántica de la lógica proposicional, así como los algoritmos para transformar expresiones en formas normales y cláusulas, junto con los procedimientos de resolución. En la segunda parte, se desarrolla en Lisp un sistema de programación lógica. La tercera parte se centra en la construcción de metaintérpretes utilizando Prolog. Por último, en la cuarta parte, se explora el funcionamiento de los sistemas de producción progresivos mediante CLIPS, analizando su aplicación a problemas de planificación y juegos.