Human Compatible -- Künstliche Intelligenz und wie der Mensch die Kontrolle über superintelligente Maschinen behält
by Stuart Russell
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 ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Read now
Unlock full access