The course covers foundational concepts and methods in Knowledge Representation and Reasoning (KR), addressing both theoretical foundations and practical applications. It focuses on symbolic and sub-symbolic approaches to representing, structuring, and reasoning over knowledge in intelligent systems.
Core topics include:
- First-Order Logic (FOL)
- Logic Programming and Automated Reasoning (Prolog programming, Rule-based reasoning)
- Structured Knowledge Representation (Frames, slots, and inheritance hierarchies)
- Semantic networks
- Knowledge graphs
- Resource Description Framework (RDF)
- Querying Knowledge Graphs (SPARQL, large-scale public knowledge graphs (e.g., Wikidata))
- Ontologies and Description Logics
The second part of the course focuses on Knowledge Graph Reasoning and Learning, including:
- Knowledge acquisition from structured and unstructured data
- Distributional semantics and word embeddings
- Knowledge graph embeddings
- Graph Neural Networks (GNNs) for knowledge representation
Advanced application topics include:
- Knowledge tracing
- Parametric knowledge in large language models
- Knowledge-graph-enhanced recommender systems
Useful prior knowledge: Discrete Mathematics, Formal Logic, Introduction to Machine Learning
| Frequency | Weekday | Time | Format / Place | Period | |
|---|---|---|---|---|---|
| weekly | Di | 14-16 | X-E0-205 | 13.04.-24.07.2026 |
| Module | Course | Requirements | |
|---|---|---|---|
| 39-Inf-WP-DS Data Science (Basis) Data Science (Basis) | Einführendes Seminar | Student information | |
| - | Graded examination | Student information | |
| 39-Inf-WP-DS-x Data Science (Focus) Data Science (Schwerpunkt) | Einführende Veranstaltung Seminar o. Vorlesung | Student information | |
| - | Graded examination | Student information | |
| 39-Inf-WP-KI Artificial Intelligence (Basis) Künstliche Intelligenz (Basis) | Einführendes Seminar | Student information | |
| - | Graded examination | Student information | |
| 39-Inf-WP-KI-x Artificial Intelligence (Focus) Künstliche Intelligenz (Schwerpunkt) | Einführende Veranstaltung Seminar o. Vorlesung | Student information | |
| - | Graded examination | Student information | |
| 39-M-Inf-AI-bas Basics of Artificial Intelligence Basics of Artificial Intelligence | Basics of Artificial Intelligence: Seminar | Student information | |
| - | Ungraded examination | Student information |
The binding module descriptions contain further information, including specifications on the "types of assignments" students need to complete. In cases where a module description mentions more than one kind of assignment, the respective member of the teaching staff will decide which task(s) they assign the students.