 |
| 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 |
|
