|
Seminář
z umělé inteligence I a II
0/2 Zk
Roman
Barták, KTIML
Výběrový
referativní seminář o umělé inteligenci (UI) věnovaný aktuálním tématům a trendům umělé inteligence. Referovaná témata rozšiřují
látku probíranou v základním kurzu umělé inteligence. Vhodné pro všechny
studenty se zájmem o danou problematiku. Možnost čerpat náměty
pro bakalářské a diplomové práce i pro softwarové projekty.
The past seminars can be found at the following page.
|
Probíraná
témata mohou čerpat z následujícího seznamu:
- řešení
úloh, prohledávání, řešení her, omezující podmínky, logika, reprezentace
znalostí, plánování
- neurčitost,
rozhodování za nejistoty, učení, zpracování přirozeného jazyka, neuronové
sítě, strojové učení
- robotika,
počítačové vidění, multi-agentní systémy, UI v kosmu, UI a armáda,
filozofické pojetí UI
- význačné osobnosti UI (Turing, McCarty, Minski, Newell, ..) a jejich konkrétním přínos
- klíčových projekty v historii UI (Shakey, DeepBlue, Watson, Grand Challenge, Robocup, ...)
- ...
Další
zdroje lze hledat na hlavních konferencích o umělé inteligenci AAAI
a IJCAI, případně
na stránkách předchozích
ročníků semináře.
V roce 2015 je možno (z fakutních počítačů) přistupovat na PDF všech knih ze série Synthesis Lectures on Artificial Intelligence and Machine Learning vydavatelství Morgan & Claypool Publishers.
|
|
Seminar LS 2023/2024 (NAIL052):
Úterý (Tuesday) 14:00 - 15:30, lecture room S6 (Malá Strana, 2nd floor) |
|
Seminar will run in Czech or English (depending on students attending) and it will be organized as a series of presentations of research papers followed by Q&A and evaluation of each presentation OR solving some Kaggle challenge.
For presentations, we will focus on hierarchical (HTN) planning. We expect to cover the following topics:
- semantics of hierarchical planning models
- hierarchical planning
- hierarchical plan verification
- hierarchical plan correction
- hierarchical plan recognition
- hierarchical plan repair
- learning HTN planning models
This is a list of papes to start with; students can also (and are expected) bring own papers, but they must be approved by the teacher:
- Kristýna Pantucková, Roman Barták: Using Earley Parser for Recognizing Totally Ordered Hierarchical Plans. ECAI 2023: 1819-1826
- Songtuan Lin, Gregor Behnke, Simona Ondrcková, Roman Barták, Pascal Bercher: On Total-Order HTN Plan Verification with Method Preconditions - An Extension of the CYK Parsing Algorithm. AAAI 2023: 12041-12048
- Simona Ondrcková, Roman Barták: On Semantics of Hierarchical Planning Domain Models with Decomposition Constraints and Empty Methods. ICTAI 2023: 349-353
- Roman Barták, Simona Ondrcková, Gregor Behnke, Pascal Bercher: On the Verification of Totally-Ordered HTN Plans. ICTAI 2021: 263-267
- Roman Barták, Simona Ondrcková, Gregor Behnke, Pascal Bercher: Correcting Hierarchical Plans by Action Deletion. KR 2021: 99-109
- Roman Barták, Simona Ondrcková, Adrien Maillard, Gregor Behnke, Pascal Bercher: A Novel Parsing-based Approach for Verification of Hierarchical Plans. ICTAI 2020: 118-125
- Roman Barták, Adrien Maillard, Rafael Caue Cardoso: Validation of Hierarchical Plans via Parsing of Attribute Grammars. ICAPS 2018: 11-19
- Chad Hogg, Hector Munoz-Avila, and Ugur Kuter: HTN-Maker: Learning HTNs with Minimal Additional Knowledge Engineering Required. In Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI-08). AAAI Press.
- D. Nau, T.-C. Au, O. Ilghami, U. Kuter, W. Murdock, D. Wu, and F.Yaman: SHOP2: An HTN Planning System. JAIR, volume 20, pp. 379-404, 2003.
- Robert P. Goldman, Ugur Kuter, and Richard G. Freedman. Stable plan repair for state-space HTN planning. HPlan Workshop 2020
This is a preliminary program of the seminar.
|
Zápočet
je udělen za aktivní přístup k semináři. Přesná charakteristika "aktivního přístupu" bude určena vždy na začátku semestru podle konkrétní podoby semináře
|
|
prof.
RNDr. Roman Barták, Ph.D.
Katedra teoretické informatiky a matematické logiky
Matematicko-fyzikální fakulta Univerzity Karlovy
Malostranské nám. 2/25, 118 00 Praha 1
Czech Republic
e-mail:
bartak (AT) ktiml.mff.cuni.cz
tel: +420 951 554 242
|
|
|