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

•  analyse the applied techniques in a formal manner,
•  to select methods and techniques for a given task,
•  to analyse a task and to implement the solution in an applicable knowledge representation formalism (including the inference procedure), and
• to dicsuss and evaluate solutions critically.

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

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

There are additional slides on proof techniques (together with exercise sheets) available for tudents participating in the optional tutorial on proofs (in the frame of the master lecture on formal methods in CS).

ECTS breakdown: 5 ECTS = 125 Hours

• introduction 0.5h
• lecture part 19.5h
• entry test 0.5h
• exercise part 54h
• preparation for exam 49h
• exam 1.5h

More information is available in German version of this course page.

Verpflichtende Anmeldung via TISS im Zeitraum Sep 15 bis Oct 11 2020. Verspätete Anmeldungen können nicht berücksichtigt werden.