Úvod do umělé inteligence | Umělá inteligence I | Umělá inteligence II

Seminář z umělé inteligence I a II
0/2 Zk

Roman Barták, KTIML


Témata  |  Seminář  |  Zápočet  |  Kontakt

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.


Témata:

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):

  1. Mastering Chess and Shogi by Self-Play with a General Reinforcement Learning Algorithm [web]
  2. Attention Is All You Need [web]
  3. DeepSeek-V3 Technical Report [web]
  4. DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning [web]
  5. A Path Towards Autonomous Machine Intelligence [web]
  6. ...

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:

  1. R. Stern et a. Multi-Agent Pathfinding: Definitions, Variants, and Benchmarks [web]
  2. 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]
  3. H. Jiang, Y. Zhang, R. Veerapaneni, J. Li: Scaling Lifelong Multi-Agent Path Finding to More Realistic Settings: Research Challenges and Opportunities [web]
  4. Keisuke Okumura: LaCAM: Search-Based Algorithm for Quick Multi-Agent Pathfinding. AAAI 2023: 11655-11662
  5. Pascal Bercher, Ron Alford, Daniel Höller: A Survey on Hierarchical Planning - One Abstract Idea, Many Concrete Realizations. IJCAI 2019: 6267-6275
  6. 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.
  7. Pat Langley: Learning Hierarchical Problem Networks for Knowledge-Based Planning. ILP 2022: 69-83
  8. 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
  9. Songtuan Lin, Alban Grastien, Pascal Bercher: Towards Automated Modeling Assistance: An Efficient Approach for Repairing Flawed Planning Domains. AAAI 2023: 12022-12031
  10. 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.
  11. Pascal Bercher, Shawn Keen, Susanne Biundo: Hybrid Planning Heuristics Based on Task Decomposition Graphs. SOCS 2014: 35-43
  12. 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 : 

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


Kontakt:
 

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