Course details


Knowledge Representation and Reasoning

SS 2021 Dr. Marco Volpe
B.Sc modules:
CS-BWP-AI - Artificial Intelligence
KOGW-WPM-KI - Artificial Intelligence
M.Sc modules:
CC-MWP-AI - Artificial Intelligence
CS-MWP-AI - Artificial Intelligence
KOGW-MWPM-KI - Major subject Artificial Intelligence
Tue: 14-16

The course provides an introduction to the principles of logic-based knowledge representation and reasoning. To formalize knowledge, various formalisms from propositional logic and first-order logic to specialised description logics will be considered. The notion of ontology will also be introduced. Based on such formalisms, algorithms and techniques for automated reasoning will be described and analyzed. Prerequisites: Basic notions of artificial intelligence (AI) and logic. The course is more suitable for students that have already taken the courses Introduction to AI and Methods of AI.