The goal is to formalize what we know about the world in computational terms, to have computational ways to represent cities and chemicals and movies and humor and formulas and our knowledge about them.
El objetivo es formalizar lo que sabemos sobre el mundo en términos computacionales, tener formas computacionales de representar ciudades y productos químicos y películas, humor y fórmulas y nuestro conocimiento sobre ellas.