Provides an introduction to general problem solving methods used in artificial intelligence and knowledge-based systems. The course presents a variety of search approaches as well as modern knowledge representation and reasoning systems implementing them.

Classroom instructions mixed with practical exercises. The teaching language is English or German depending on the preferences of the audience. The slides are in English.

Covered topics include:Uninformed and informed search methodsOverview of incomplete (local) approaches to solving hard problemsKnowledge representation and reasoning with constraints programmingMiniZinc programming language   Game playing          

Algorithms and data structures

Nothing 

Stefan Edelkamp and Stefan Schrödl: Heuristic search: theory and applications. Elsevier, 2011Rina Dechter: Constraint Processing. Morgan Kaufmann Publishers, 2003Stefan Edelkamp and Stefan Schrödl: Heuristic search: theory and applications. Elsevier, 2012

Mini tests, written and oral examinations

Uninformed and informed search methodsOverview of incomplete (local) approaches to solving hard problemsKnowledge representation and reasoning with constraints programmingMiniZinc programming language   Game playing  

The final grade is positive if and only if:>= 50% of all mini test points are reached.>= 40 % in the written exam are reached.The oral examination is positive. Based on the oral examination, the final grading is set.