After successful completion of the course, students are able to name the fundamental concepts required to understand and to build knowledge-based systems, to explain them in detail and to argue the theoretical context formally.
Moreover, students will then be able to
Foundations of knowledged based systems (logic, nonmonotonic reasoning, answer-set programming, probabilistic methods, development of knowledge-based systems)
More information is available in German version of this course page.
Lecture part.
Preparation of solutions to exercises (including the presentation of the solution and the required theoretical concepts)
Implementation of given tasks in the course of a project with personal or computer-generated feedback.
The overall grade results from an end exam plus the evaluation of the exercises.