Table of Contents

Introduction to Artificial Intelligence (A4B33ZUI,AE4B33ZUI)

This course provides an introduction to the symbolic artificial intelligence. It presents the algorithms for informed and non-informed state space search, nontraditional methods of problem solving, knowledge representation by means of formal logic, methods of automated reasoning and introduction to markovian decision making

General information

Lecturers: Michal Pěchouček, Jiří Kléma, Olga Štěpánková

Teaching assistants: Ondřej Vaněk, Štěpán Kopřiva, Karel Durkota

Credit allowance conditions

Seminar credit allowance conditions

The exam

Exam rules:

Exam passing conditions:

Exam dates [2017]:

Literature