[ 536KNRRCOLU19 ] UE (*)Computational Logics for AI
|
|
|
|
| (*) Leider ist diese Information in Deutsch nicht verfügbar. |
 |
| Workload |
Ausbildungslevel |
Studienfachbereich |
VerantwortlicheR |
Semesterstunden |
Anbietende Uni |
| 1,5 ECTS |
B3 - Bachelor 3. Jahr |
Artificial Intelligence |
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 |
|
