[ 993TARK19 ] Subject Reasoning and Knowledge Representation

Es ist eine neuere Version 2022W dieses Fachs/Moduls im Curriculum Master's programme Artificial Intelligence 2023W vorhanden.
Workload Mode of examination Education level Study areas Responsible person Coordinating university
18 ECTS Accumulative subject examination M1 - Master's programme 1. year Computer Science Sepp Hochreiter Johannes Kepler University Linz
Detailed information
Original study plan Master's programme Artificial Intelligence 2019W
Objectives Classical methods in AI rely on symbolic reasoning based on logic and mathematics. The focus of this elective track is on such deductive reasoning, including model checking and theorem proving. These techniques are also essential for software and hardware verification. Together with computer algebra they provide advanced tools to develop and reason about machine learning in a formal way.
Subject The contents of this subject result from the contents of its courses.
Subordinated subjects, modules and lectures