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
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
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 |
Exam rules:
Exam passing conditions:
Exam dates [2018]: