Un ejemplo de una representación del conocimiento poco expresiva es la lógica proposicional.