1. Vymezení umělé inteligence, Turingův test, řešení problémů

3. Dekompozice problému, AND/OR grafy, problémy s omezujícími podmínkami

4. Hry a základní herní strategie

5. Výroková logika. Splnitelnost a pravdivost, normální formy.

6. Predikátová logika. Splnitelnost a pravdivost. Normální formy. Axiomatické systémy

7. Deduktivní důkazové systémy. Rezoluce ve výrokové a predikátové logice. Od logiky k logickému programování

8. Neklasické logiky: Modální a temporální logiky. Vícehodnotové logiky

9. Reprezentace a vyvozování znalostí, odvozování s neurčitostí

10. Učení, rozhodovací stromy, neuronové sítě

11. Hluboké učení

12. Zpracování přirozeného jazyka

13. týden - pouze cvičení z 12. přednášky