Course details

8.3498

Knowledge Representation and Reasoning

 L
SS 2021 Dr. Marco Volpe ONLINE
2h/wk
4 ECTS 		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
 Thu: 10-12

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.