Teme koje su obrađene u laboratorijskim vježbama:
- prvi labos - pretraživanje prostora stanja
- drugi labos - automatsko zaključivanje primjenom rezolucijskog pravila
- treći labos - stabla odluke
Topics covered in the exercises:
- Search space search (BFS, uniform cost, A*)
- A first-order logic theorem prover
- Supervised machine learning algorithms (ID3, RF)