After successful completion of the course, students are able to use results from some central topics in knowledge representation and reasoning in theory and for practical application. They are prepared to analyze and solve theoretical problems in these areas, as well as to model and solve problems using tools from knowledge representation and reasoning.

Foundations of knowledge representation: models, algorithms, formalisms, and techniques.

Tentative subjects are: belief revision, non-monotonic reasoning, logic programming, reasoning abot actions and planning; abductive reasoning; expressiveness of knowledge representation formalisms.

Teaching of basic material in traditional frontal lecture  with interaction with the students. Small problems to think between units, and an exercise part in which problems of theoretic nature (analysis of properties) and practical problem solving (e.g. planning, combinatorial problems) is considered. Background literature will be used in that.

The course language is English.

Thursday, 9h -12:30 (tentative),  Seminarraum FAVEG  B (von Neumann)

First Lecture: October  15, 2020

ECTS breakdown: 3 ECTS = 75 Hours

• Lecture presentation 0.5h
• Lecture 17.5h
• Further reading 25h
• Discussion of the exercises 1.5h
• Solving the exercises 30h
• Oral exam (if applicable) 0.5h

Small problems and execises, an additional oral exam is optional

slides and further material

• solid basic knowledge in propositional and  predicate logic
• formal semantics