Inhalt

[ 536KNRRCOLV19 ] VL (*)Computational Logics for AI

Versionsauswahl
(*) Leider ist diese Information in Deutsch nicht verfügbar.
Workload Ausbildungslevel Studienfachbereich VerantwortlicheR Semesterstunden Anbietende Uni
3 ECTS B3 - Bachelor 3. Jahr Informatik Teimuraz Kutsia 2 SSt Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum Bachelorstudium Artificial Intelligence 2019W
Ziele (*)This course focuses on computational aspects of logic. The covered topics include techniques to represent knowledge and to reason in classical first-order logic (with equality), nonmonotonic logics, and in description logics. We introduce their syntax and semantics, present inference systems (resolution, superposition, tableau, etc), study the theory behind them, and discuss applications. Besides acquiring theoretical background, students will also get hands-on experience with some tools and systems.
Beurteilungskriterien (*)Evaluation will be based on written tests during the semester
Abhaltungssprache Englisch
Lehrinhalte wechselnd? Nein
Präsenzlehrveranstaltung
Teilungsziffer -
Zuteilungsverfahren Direktzuteilung