Inhalt

[ 993TARK19 ] Studienfach (*)Reasoning and Knowledge Representation

Versionsauswahl
Es ist eine neuere Version 2022W dieses Fachs/Moduls im Curriculum Masterstudium Artificial Intelligence 2024W vorhanden.
(*) Leider ist diese Information in Deutsch nicht verfügbar.
Workload Form der Prüfung Ausbildungslevel Studienfachbereich VerantwortlicheR Anbietende Uni
18 ECTS Kumulative Fachprüfung M1 - Master 1. Jahr Informatik Sepp Hochreiter Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum Masterstudium Artificial Intelligence 2019W
Ziele (*)Classical methods in AI rely on symbolic reasoning based on logic and mathematics. The focus of this elective track is on such deductive reasoning, including model checking and theorem proving. These techniques are also essential for software and hardware verification. Together with computer algebra they provide advanced tools to develop and reason about machine learning in a formal way.
Lehrinhalte (*)The contents of this subject result from the contents of its courses.
Untergeordnete Studienfächer, Module und Lehrveranstaltungen