Generative AI, hauptsächlich große Sprachmodelle (LLMs), erzeugt plausible, aber nicht immer korrekte Ausgaben und fehlt oft an logischem Denkvermögen, was ihre Ergebnisse unberechenbar und schwer interpretierbar macht.
Ein alternativer KI-Ansatz könnte diese Einschränkungen lösen, indem er kuratiertes Wissen und Regeln verwendet, um einen Inferenzmotor zu ermöglichen, logische Schlussfolgerungen zu ziehen. Dieser Ansatz kann jedoch langsam sein, daher wählen KI-Systeme normalerweise schnellere, aber weniger ausdrucksstarke Logik. Ein System namens Cyc hat einen Weg gefunden, diesen Kompromiss auszugleichen, und der Artikel legt nahe, dass zukünftige KI den LLM-Ansatz mit formelleren Ansätzen kombinieren muss.