[ 536KNRRCOLV19 ] VL Computational Logics for AI

Workload Education level Study areas Responsible person Hours per week Coordinating university
3 ECTS B3 - Bachelor's programme 3. year (*)Artificial Intelligence Teimuraz Kutsia 2 hpw Johannes Kepler University Linz
Detailed information
Original study plan Bachelor's programme Artificial Intelligence 2019W
Objectives 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.
Criteria for evaluation Evaluation will be based on written tests during the semester
Language English
Changing subject? No
On-site course
Maximum number of participants -
Assignment procedure Direct assignment