KI-Projekt seit 1984 am MIT von Doug Lenat zur Speicherung von menschlichem Wissen zur Generierung einer allgemein problemlösenden künstlichen Intelligenz