June 2020
Intermediate to advanced
376 pages
10h 12m
German
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 ...