Human Compatible -- Künstliche Intelligenz und wie der Mensch die Kontrolle über superintelligente Maschinen behält

Anhang B: Wissen und Logik

‌‌Logik befasst sich mit der Schlussfolgerung auf Basis sicheren Wissens.‌ Dabei kommt es nicht auf das Thema an: Das Wissen kann sich auf jedes beliebige Gebiet beziehen. Somit ist Logik ein unverzichtbarer Teil unseres Verständnisses einer allgemeinen Intelligenz.‌

Logik braucht vor allem eine formale Sprache mit präzisen Bedeutungen für die Aussagen in dieser Sprache, damit eindeutig festgestellt werden kann, ob eine Aussage für einen bestimmten Fall wahr oder falsch ist. So einfach ist das. Auf dieser Grundlage können wir schlüssige Algorithmen verfassen, die neue Aussagen aus bereits bekannten Aussagen ableiten. Diese neuen Aussagen ergeben sich sicher aus den bereits bekannten Aussagen; das heißt, dass die neuen ...