TEMA 6: REPRESENTACIÓN DEL CONOCIMIENTO
CON LÓGICA DE PRIMER ORDEN

Alvaro Barreiro. Dept. Computación. Universidade da Coruña

• Ontología, sintaxis y semántica
• Extensiones
• Ejemplos de uso de la lógica de primer orden
• Un agente reflejo sencillo
• Cálculo situacional
• About this document ...