La representación del conocimiento declarativo