RA2011: Introducción a la lógica de primer orden
En la clase de hoy del curso de Razonamiento automático se ha comenzado el estudio de la lógica de primer orden.
En primer lugar hemos visto cómo se puede usar la lógica de primer orden para la representación de conocimiento. Como ejemplo hemos visto la representación del mundo de los bloques y su uso en problemas de planificación.
Basándonos en los ejemplos anteriores hemos introducido la sintaxis de la lógica de primer orden, resaltando la naturaleza recursiva de las definiciones.
Las transparencias de la clase son las 23 primeras del tema 1.