Representação do Conhecimento é uma subárea de pesquisa em inteligência artificial.
A pesquisa na área de representação do conhecimento tenta responder diversas perguntas como:
Em tese, uma representação geral como a lógica de primeira ordem seria suficientemente expressiva para representar qualquer tipo de conhecimento. No entanto, problemas de eficiência, facilidade de uso e a necessidade de expressar conhecimento incerto e incompleto levaram ao desenvolvimento de diversos tipos de formalismos de representação de conhecimento, como lógica, sistemas de frames e redes semânticas.