El documento presenta una introducción a diferentes formalismos de representación del conocimiento, incluyendo mapas conceptuales, redes semánticas, lógica de predicados y razonamiento probabilístico. Describe brevemente cada uno de estos temas y su aplicación en inteligencia artificial.