Browse course

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:

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
Sponsors

This page and course has been made possible by the support of:

Utrecht University's Interdisciplinary Education Programe

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.