Der deterministische Gatekeeper für ein LLM

Bei der Recherche zu dem letzten Beitrag bin ich auf Themen gestoßen, die mich nicht mehr losgelassen haben. Es fing mit meiner Zeitreise zu Cyc an. Ich wollte verstehen, was Lenat tatsächlich formalisiert hatte. Leider ist vieles davon verschwunden. Ich konnte aber die OpenCyc-Flatfiles finden, die sein Team in den 2000ern veröffentlicht hat. Und dort habe ich entdeckt, dass Cyc die deontische…