Inhalt

[ 993TASMPRAV22 ] VL (*)Planning and Reasoning in Artificial Intelligence

Versionsauswahl
(*) Leider ist diese Information in Deutsch nicht verfügbar.
Workload Ausbildungslevel Studienfachbereich VerantwortlicheR Semesterstunden Anbietende Uni
3 ECTS M1 - Master 1. Jahr Informatik Martina Seidl 2 SSt Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum Masterstudium Artificial Intelligence 2022W
Ziele (*)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
Abhaltungssprache Englisch
Lehrinhalte wechselnd? Nein
Sonstige Informationen (*)Until term 2022S known as: 993TARKPRAV20 VL Planning and Reasoning in Artificial Intelligence
Äquivalenzen (*)201COMACALV18: VL Computer Algebra (3 ECTS)
Präsenzlehrveranstaltung
Teilungsziffer -
Zuteilungsverfahren Direktzuteilung