Popis předmětu - A4B33ZUI
Přehled studia |
Přehled oborů |
Všechny skupiny předmětů |
Všechny předměty |
Seznam rolí |
Vysvětlivky
Návod
Výsledek studentské ankety předmětu je zde: A4B33ZUI
| A4B33ZUI | Základy umělé inteligence | ||
|---|---|---|---|
| Role: | Rozsah výuky: | 2P+2C | |
| Katedra: | 13136 | Jazyk výuky: | CS |
| Garanti: | Zakončení: | Z,ZK | |
| Přednášející: | Kreditů: | 6 | |
| Cvičící: | Semestr: | L | |
Webová stránka:
http://cw.felk.cvut.cz/doku.php/courses/a4b33zui/startAnotace:
Cílem předmětu je seznámit studenty se základy symbolické umělé inteligence. V předmětu budou vysvětleny algoritmy informovaného a neinformovaného prohledávání stavového prostoru, netradiční metody řešení problémů, reprezentace znalostí pomocí formální logiky, metody automatického uvažování a úvod do markovského rozhodování.Výsledek studentské ankety předmětu je zde: A4B33ZUI
Cíle studia:
Cílem předmětu je přehledově seznámit studenty se základy symbolické umělé inteligence.Osnovy přednášek:
| 1. | Úvod do umělé inteligence. | |
| 2. | Řešení problémů pomocí prohledávání. | |
| 3. | Neinformované prohledávání. | |
| 4. | Informované prohledávání - algoritmus A*. | |
| 5. | Netradiční metody prohledávání. | |
| 6. | Reprezentace znalostí a uvažování pomocí pravidlových systémů. | |
| 7. | Úvod do řešení dvouhráčových her. | |
| 8. | Logika a reprezentace znalostí. | |
| 9. | Reprezentace znalostí ve FOL, dokazovací nástroje. | |
| 10. | Úvod do reprezentace nepřesné znalosti, Markovské modely nepřesného uvažování. | |
| 11. | Markovské rozhodovací procesy. | |
| 12. | Modální logika a její použití | |
| 13. | Temporální logika a její použití. | |
| 14. | Rezerva. |
Osnovy cvičení:
| 1. | Neinformované prohledávání stavového prostoru. | |
| 2. | Informované prohledávání. | |
| 3. | Algoritmus A*. | |
| 4. | Řešení úloh s omezeními. | |
| 5. | Hry dvou hráčů. | |
| 6. | Hry dvou hráčů. | |
| 7. | Genetické algoritmy a neurální sítě. | |
| 8. | Opakování matematické logiky, rezoluční princip. | |
| 9. | Nástroje automatického dokazování. | |
| 10. | Markovské modely. | |
| 11. | Markov Decision Process toolbox. | |
| 12. | Modální logika -- příklady. | |
| 13. | Temporální logika -- příklady. | |
| 14. | Rezerva, zápočty. |
Literatura:
Stuart Russell and Peter Norvig: Artificial Intelligence: A Modern Approach, Prentice Hall, Second Edition, 2003.Požadavky:
Témata probíraná v předmětu A0B01LGR.Poznámka:
| Rozsah výuky v kombinované formě studia: 14p+6c |
Klíčová slova:
racionální agent, stavový prostor, usuzování, reprezentace znalostí, plánování, rozhodování.Předmět je zahrnut do těchto studijních plánů:
| Plán | Obor | Role | Dop. semestr |
| Stránka vytvořena 7.6.2026 17:49:46, semestry: Z/2028-9, L/2025-6, L/2028-9, L/2026-7, L/2029-30, Z/2026-7, Z,L/2027-8, připomínky k informační náplni zasílejte správci studijních plánů | Návrh a realizace: I. Halaška (K336), J. Novák (K336) |