Introduction to Artificial Intelligence

Introduction into the course platform, exercise forms, and coding blocks.

Overview of state-space search algorithms

Introduction of general game playing

Formalisms and techniques for solving constraint satisfaction problems

Introduction to propositional logic and satisfiability

Planning formalisms & heuristic search for solving planning problems

Solving tasks using models and data

Getting started with the k-nearest neighbour method

Exploring parametric models through linear and logistic regression

Learning approaches for model validation and selection

Achieving model flexibility with deep architectures

Introduction to Reinforcement Learning

Making human language accessible to computers