En los años 80, surgieron lenguajes formales de programación y sistemas de representación del conocimiento.