Lehrinhalte
* Problemlösen durch Suche: Suchbäume, Suchbaumverfahren, lokale Suche, Constraintpropagierung, Alpha-Beta-Suche
* Planung: STRIPS, Vorwärts- und Rückwärtsplanung, Partial Order Planning, Graphplan
* Wissensbasierte Systeme: Wissensrepräsentation, maschinelle Beweisverfahren, nichtmonotones Schließen
* Einführung in maschinelles Lernen (kein Schwerpunkt dieses Moduls): vom Perzeptron zum Deep Learning