Das Buch "Logische Grundlagen der Künstlichen Intelligenz" von Michael R. Genesereth und Nils J. Nilsson vermittelt die wesentlichen mathematischen und logischen Grundlagen für das Verständnis und die Entwicklung von KI-Systemen. Es diskutiert die Bedeutung der symbolischen Logik für die Wissensrepräsentation und das Schließen, definiert zentrale Konzepte der KI und bietet Beispiele sowie Übungen zur Vertiefung. Dabei wird betont, dass ein fundiertes mathematisches Wissen unerlässlich für den Fortschritt in der KI-Forschung ist.