[ 536KNRR19 ] Studienfach (*)Knowledge Representation and Reasoning

(*) Leider ist diese Information in Deutsch nicht verfügbar.
Workload Form der Prüfung Ausbildungslevel Studienfachbereich VerantwortlicheR Anbietende Uni
13,5 ECTS Kumulative Fachprüfung B1 - Bachelor 1. Jahr Informatik Sepp Hochreiter Johannes Kepler Universität Linz
Quellcurriculum Bachelorstudium Artificial Intelligence 2019W
Ziele (*)Logical modelling and reasoning are important techniques of classical AI. This subject provides core expertise in logic split into a hands-on introductory course on logic, followed by an introduction to modelling state-based systems with automata and related techniques, including temporal logic. An overview on classical concepts in computational logic with focus on AI completes the subject.
Lehrinhalte (*)The contents of this subject result from the contents of its courses.
Untergeordnete Studienfächer, Module und Lehrveranstaltungen