Inhalt

[ 536KNRRCOLU19 ] UE (*)Computational Logics for AI

Versionsauswahl
(*) Leider ist diese Information in Deutsch nicht verfügbar.
Workload Ausbildungslevel Studienfachbereich VerantwortlicheR Semesterstunden Anbietende Uni
1,5 ECTS B3 - Bachelor 3. Jahr Informatik Teimuraz Kutsia 1 SSt Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum Bachelorstudium Artificial Intelligence 2021W
Ziele (*)Command of logic-based techniques for knowledge representation and reasoning, which is a fundamental topic in artificial intelligence. The ability to compute with them.
Lehrinhalte (*)Techniques to represent knowledge and to reason in classical first-order logic (with equality), nonmonotonic logics, and in description logics. Besides acquiring theoretical background, students will also get hands-on experience with some tools and systems.
Beurteilungskriterien (*)Tests and exercises
Abhaltungssprache Englisch
Lehrinhalte wechselnd? Nein
Präsenzlehrveranstaltung
Teilungsziffer 35
Zuteilungsverfahren Direktzuteilung