Ein Zweig der künstlichen Intelligenz und der theoretischen Informatik, der sich mit dem Design und der Analyse von Algorithmen des maschinellen Lernens befasst. Sie untersucht Fragen zur Leistungsfähigkeit, Komplexität und den Grenzen des Lernens aus Daten.