Representación del Conocimiento

Identificar las características del conocimiento, los modelos para su representación. Aplicar la Lógica de predicados en: Resolución de Problemas y Comprobación de Teoremas. Conocer los Principios de la Programación Lógica.