Table of Contents

Introduction to Artificial Intelligence (B4B36ZUI,BE4B36ZUI)

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, Branislav Bošanský

Teaching assistants: The TAs are rotated according to the topics, contacts: Branislav Bošanský, David Fiedler, Jaromír Janish, Martin Schaefer

Tasks

Task When Deadline
Task 1: Path planning (A*) week 3-5 25/03/2018 23:59
Task 2: CSP week 5-7 08/04/2018 23:59
Task 3: Test TBD written during seminar
Task 4: Situation calculus week 9-10 07/05/2018 23:59
Task 5: MDP week 11-12 22/05/2018 23:59
Following tasks to be specified

Credit allowance conditions

Seminar credit allowance conditions

The exam

Exam rules:

Exam passing conditions:

Exam dates [2018]:

Literature