|
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 2024/2025 (NAIL052):
Úterý (Tuesday) 15:40 - 17:10, lecture room S7 (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 OR solving challenges (with presentation) OR research workshops (with a written report).
For challenges, a group of 2-3 students solves some challenge problem (see web sites below) and has two presentations during the seminar (one introducing the problem and sketching the solving ideas; one presenting the results) :
For paper presentations, the student will prepare 40-50 minutes presentation based on a research paper selected from the folowing list (students may also suggest another paper, but it must be approved by the teacher):
- Mastering Chess and Shogi by Self-Play with a General Reinforcement Learning Algorithm [web]
- Attention Is All You Need [web]
- DeepSeek-V3 Technical Report [web]
- DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning [web]
- A Path Towards Autonomous Machine Intelligence [web]
- ...
For research workshops, students will participate in research discussions regarding a specific topic/problem and then prepare a 2-page report on solution of the problem. The discussions will be on two topics: Multi-agent Path Finding and Hierarchical Planning, this is a list of sources:
- R. Stern et a. Multi-Agent Pathfinding: Definitions, Variants, and Benchmarks [web]
- J. Li, Z. Chen, Y. Zheng, S.-H. Chan, D. Harabor, P. Stuckey, H. Ma and S. Koenig. Scalable Rail Planning and Replanning: Winning the 2020 Flatland Challenge.Scalable Rail Planning and Replanning: Winning the 2020 Flatland Challenge [web]
- H. Jiang, Y. Zhang, R. Veerapaneni, J. Li: Scaling Lifelong Multi-Agent Path Finding to More Realistic Settings: Research Challenges and Opportunities [web]
- Keisuke Okumura: LaCAM: Search-Based Algorithm for Quick Multi-Agent Pathfinding. AAAI 2023: 11655-11662
- Pascal Bercher, Ron Alford, Daniel Höller: A Survey on Hierarchical Planning - One Abstract Idea, Many Concrete Realizations. IJCAI 2019: 6267-6275
- 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.
- Pat Langley: Learning Hierarchical Problem Networks for Knowledge-Based Planning. ILP 2022: 69-83
- Songtuan Lin, Daniel Höller, Pascal Bercher: Modeling Assistance for Hierarchical Planning: An Approach for Correcting Hierarchical Domains with Missing Actions. SOCS 2024: 55-63
- Songtuan Lin, Alban Grastien, Pascal Bercher: Towards Automated Modeling Assistance: An Efficient Approach for Repairing Flawed Planning Domains. AAAI 2023: 12022-12031
- 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.
- Pascal Bercher, Shawn Keen, Susanne Biundo: Hybrid Planning Heuristics Based on Task Decomposition Graphs. SOCS 2014: 35-43
- 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.
18.02.
2025 |
Kick-off meeting |
|
25.02.
2025 |
Distribution of tasks |
|
04.03.
2025 |
TBA |
|
11.03.
2025 |
TBA |
|
18.03.
2025 |
Talk by Ian Migual (University of St. Andrews)
|
|
25.03.
2025 |
TBA |
|
01.04.
2025 |
TBA
|
|
08.04.
2025 |
TBA |
|
15.04.
2025 |
TBA
|
|
22.04.
2025 |
TBA
|
|
29.04.
2025 |
TBA
|
|
06.05.
2025 |
TBA |
|
13.05.
2025 |
cancelled (Rector Sports Day) |
|
20.05.
2025 |
TBA |
|
|
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
|
|
|