Dieses Lehrbuch zeigt, wie man Probleme mit Methoden der symbolischen Künstlichen Intelligenz (KI) repräsentieren und lösen kann. Es richtet sich an Bachelor-Studierende im 5. Fachsemester mit einem Interesse an diesem Themengebiet.
Themen sind Suchprobleme, Constraint Satisfaction Problems, strategische Spiele, wissensbasierte Systeme und Planungsprobleme.