No. | Téma cvičení / Topic | Zdroje / Sources | Odkazy / Links |
---|---|---|---|
1 | Intro to state space | Seminar 1 | |
2 | Uninformed Search | Seminar 2 | |
3 | Informed Search A* | Seminar 3 | |
4 | Advanced techniques - A* | Seminar 4 | |
5 | Constraint Satisfaction Programming (CSP) | Seminar 5 | |
6 | CSP II | Seminar 6 | |
7 | Two Player Games | Seminar 7 | ab.java node.java |
8 | Two-player games II, Monte Carlo Tree Search | ||
9 | KR and automated theorem proving | A few problems solved in Prover9 | Prover9 |
10 | Situation calculus | Two sitcalc problems in Prover9 | TASK 4 |
11 | Single decisions under uncertainty, VPI | Solved examples | for VPI see Lecture 9 |
12 | Markov Decision Processes (MDPs) | see Solved examples above | TASK 5 |
13 | Markov Decision Processes (POMDPs) | see Solved examples above | |
14 | TBD |