Este documento trata sobre diferentes temas relacionados con la representación del conocimiento. Explica cuatro tipos de conocimiento: procedimental, declarativo, heurístico y relacional. También describe tres formas de representar conocimiento: marcos, reglas y etiquetado de redes semánticas. Además, analiza la lógica como una herramienta para razonar formalmente sobre el conocimiento representado simbólicamente.