Es ist eine neuere Version 2025W dieser LV im Curriculum Masterstudium Artificial Intelligence 2025W vorhanden.
(*) Leider ist diese Information in Deutsch nicht verfügbar.
Workload
Ausbildungslevel
Studienfachbereich
VerantwortlicheR
Semesterstunden
Anbietende Uni
3 ECTS
B3 - Bachelor 3. Jahr
Artificial Intelligence
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