| Detailinformationen |
| Quellcurriculum |
Masterstudium Artificial Intelligence 2023W |
| Ziele |
(*)The aim of this course is understand and use different kinds of formalisms to solve planning and reasoning tasks.
|
| Lehrinhalte |
(*)This lecture covers symbolic reasoning techniques that are used in various application domains like planning or formal verification. The underlying theory of the applied formalims is introduced and the power of the inference mechanisms offered by these formalisms is analyzed. Encodings of concrete application problems demonstrate strengths and limitations of the symbolic reasoning techniques.
|
| Beurteilungskriterien |
(*)The evaluation is together with the exercise class and is based on:
- Weekly online exercises
- Projects in teams and presentations of the solutions
- Short presentation of a recent topic related to the course
Alternatively, there is also an exam offered.
|
| Lehrmethoden |
(*)- Weekly lecture
- Weekly exercises
- Two encoding projects
- Literature study/tool evaluation
|
| Abhaltungssprache |
Englisch |
| Literatur |
(*)- Slides of the lecture
- Recordings of the lectures
- Links to recent literature
- Solutions to some of the exercises
|
| Lehrinhalte wechselnd? |
Nein |
| Äquivalenzen |
(*)201COMACALV18: VL Computer Algebra (3 ECTS)
|
| Frühere Varianten |
Decken ebenfalls die Anforderungen des Curriculums ab (von - bis)
993TARKPRAV20: VL Planning and Reasoning in Artificial Intelligence (2020W-2022S)
|
