Este documento presenta una unidad sobre representación del conocimiento y razonamiento en inteligencia artificial. Explica conceptos como sistemas basados en conocimiento, lenguajes para representar conocimiento como mapas conceptuales, redes semánticas y lógica de predicados. También cubre temas como razonamiento con incertidumbre y métodos de demostración.