
This page contains the material for the course Logical methods for AI as taught at Utrecht University .
Course description
Artificial intelligence (AI) aims to understand, artificially replicate, and possibly improve intelligent behavior. In this course, you will learn about the role that logic plays in this pursuit. Logic is the study of correct reasoning: what constitutes good and bad inferences. Because reasoning is a fundamental aspect of intelligent behavior, logic is a core subject in AI research. You will learn how the methods of modern logic have influenced the development of AI as a discipline and the role they play in current and cutting-edge AI research, for example in the context of recent developments surrounding GenAI.
This course teaches you the logical foundations of AI research. At the end, you will be able to:
- identify the applications of logic within AI,
- explain the strengths and weaknesses of logic within AI,
- represent knowledge using logical formulas,
- apply algorithms for automated reasoning, and
- evaluate inferences in AI contexts for validity.
The material is intended for students taking the course at Utrecht University, but it’s freely available to anyone interested.
IA
This is IA
, our friendly course mascot.
Details
Maintainer
The website is developed and maintained by Johannes Korbmacher.
Contributors
This project has a growing list of contributors.
Hosting
The website is build with Hugo.
Hosting
The website is hosted on GitHub pages.
Content license
The content of the website (the "course") is licensed under CC BY 4.0.
Software license
The code of the website is licensed under the MIT license.
GDPR
I neither collect nor store your data. Period.
Sponsors
This page and course has been made possible by the support of:
Utrecht University's Interdisciplinary Education Programe

Utrecht University's focus area Human-centered Artificial Intelligence
NB: Even though the I use the website in my course, and it has been partially funded by the university, the website has no official ties to Utrecht University and is neither reviewed, approved, or the like by the university.