Úvod do umělé inteligence
Cvičení
Letní semestr 2024/25, pondělí 14:00 v S6.
Kontakt: kudlackova@ktiml.mff.cuni.cz
Přednáška: Úvod do umělé inteligence
2024/25.
Zápočet
Zápočet udělen za domácí úkoly.
Z každého úkolu můžete získat alespoň 10 bodů a na zápočet potřebujete získat minimálně 70 bodů.
Pravidla a požadavky jsou uvedeny zde.
Předběžně plánujeme těchto 10 domácích úkolů.
- Heuristiky pro A* algoritmus
- Úplné barvení pomocí Constraint satisfaction programming (CSP)
- Úplné barvení pomocí logických podmínek (SAT)
- Přeprava balíků s využitím automatického plánování
- Hledání min s použitím podmíněné pravděpodobnosti
- Lokalizace robota pomocí Markovských procesů
- Hledání cesty pro rozbitého robota pomocí Bellmanovi rovnice
- Minimaxový algoritmus pro jednoduchou hru
- Rozhodovací stromy pro zjišťování cukrovky
- Klasifikace článků neuronovou sítí
K organizaci cvičení budeme využívat tyto nástroje.
- Git k získávání materiálů k domácím úkolům.
- ReCodExu pro odevzdávání úkolů.
Literatura
- S. Russell, P. Norvig: Artificial Intelligence. A Modern Approach, Prentice Hall, 2010
Cvičení
1. cvičení 17. 2. 2025
Opakování: BFS, DFS, Dijkstra.
Agent: senzory, aktuátory.
2. cvičení 24. 2. 2025
Heuristiky
Přípustnost a monotonie.
Příklady heuristik: Euklidovská vzdálenost, Manhattanská a Maximová metrika.
Nejkratší cesta v silniční síti. Loydova 15.
3. cvičení 3. 3. 2025
Opakování heuristik: ukázka přípustné nemonotónní heuristiky.
Úvod do CSP: Dámy na šachovnici, Sudoku, Kryptogram.
4. cvičení 10. 3. 2025
CSP
Perfektní párování na bipartitním a obecném grafu.
Optimalizace pomocí CSP.
Plánování on-line schůzek.
Hranová konzistence.
5. cvičení 17. 3. 2025
SAT
Perfektní párování na obecném grafu pomocí SAT.
Modely, splnitelnost, odvození:
KB ⊨ α ↔ "( KB ∧ ¬ α) je spor."
3-partition problém - volba proměnných pro SAT:
-
xijk ~ vrchol i, vrchol j, vrchol k
-
xij ~ trojice i, vrchol j (pozor na symetrie)
6. cvičení 24. 3. 2025
Automatické plánování, PDDL
Automatické plánování, PDDL
7. cvičení 31. 3. 2025
Podmíněná pravděpodobnost
Podmíněná pravděpodobnost
8. cvičení 7. 4. 2025
Pravděpodobnostní odvozování v čase
Pravděpodobnostní odvozování v čase