Inhalt

[ 993TASMPRAU22 ] UE (*)Planning and Reasoning in Artificial Intelligence

Versionsauswahl
Es ist eine neuere Version 2023W dieser LV im Curriculum Masterstudium Computational Mathematics 2023W vorhanden.
(*) Leider ist diese Information in Deutsch nicht verfügbar.
Workload Ausbildungslevel Studienfachbereich VerantwortlicheR Semesterstunden Anbietende Uni
1,5 ECTS M1 - Master 1. Jahr Artificial Intelligence Martina Seidl 1 SSt Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum Masterstudium Artificial Intelligence 2022W
Ziele (*)The aim of this course is to practically apply different kinds of formalisms to solve planning and reasoning tasks.
Lehrinhalte (*)This exercise course covers symbolic reasoning techniques that are used in various application domains like planning or formal verification. Encodings of concrete application problems are realized to demonstrate strengths and limitations of the symbolic reasoning techniques.
Beurteilungskriterien (*)In these exercises, the students realize small projects exploiting different symbolic AI technology and will use modern reasoning tools to implement the concepts presented in the lecture. The exercise performance is used as basis to assess the lecture performance too. Additional make-up exams covering both lecture and exercises are offered as well.
Lehrmethoden (*)
  • Q&A sessions / tutorials
  • 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
Sonstige Informationen (*)Until term 2022S known as: 993TARKPRAU20 UE Planning and Reasoning in Artificial Intelligence
Äquivalenzen (*)201COMACALU18: UE Computer Algebra (1.5 ECTS)
Frühere Varianten Decken ebenfalls die Anforderungen des Curriculums ab (von - bis)
993TARKPRAU20: UE Planning and Reasoning in Artificial Intelligence (2020W-2022S)
Präsenzlehrveranstaltung
Teilungsziffer 35
Zuteilungsverfahren Direktzuteilung