Anmerkungen
Kapitel 1
Erste Auflage des Lehrbuchs zur KI, das Peter Norvig (jetzt Forschungsleiter bei Google) und ich gemeinsam verfasst haben: Russell, Stuart und Norvig, Peter, Künstliche Intelligenz: Ein moderner Ansatz, Pearson Studium; 3., aktualisierte Auflage (2012). [Zum Text]
Robinson entwickelte den Resolution-Algorithmus, der bei genügend Zeit jede logische Konsequenz einer Menge logischer Aussagen erster Ordnung beweisen kann. Im Gegensatz zu vorherigen Algorithmen müssen die Behauptungen nicht in Aussagenlogik umgewandelt werden. Robinson, J. Alan, »A machine-oriented logic based on the resolution principle«, Journal of the ACM 12 (1965): 23–41. [Zum Text]
Arthur Samuel, ein amerikanischer Wegbereiter des Computerzeitalters, begann ...
Get Human Compatible -- Künstliche Intelligenz und wie der Mensch die Kontrolle über superintelligente Maschinen behält now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.