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

  1. Kristýna Pantucková, Roman Barták: Using Earley Parser for Recognizing Totally Ordered Hierarchical Plans. ECAI 2023: 1819-1826
  2. 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
  3. Simona Ondrcková, Roman Barták: On Semantics of Hierarchical Planning Domain Models with Decomposition Constraints and Empty Methods. ICTAI 2023: 349-353
  4. Roman Barták, Simona Ondrcková, Gregor Behnke, Pascal Bercher: On the Verification of Totally-Ordered HTN Plans. ICTAI 2021: 263-267
  5. Roman Barták, Simona Ondrcková, Gregor Behnke, Pascal Bercher: Correcting Hierarchical Plans by Action Deletion. KR 2021: 99-109
  6. 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
  7. Roman Barták, Adrien Maillard, Rafael Caue Cardoso: Validation of Hierarchical Plans via Parsing of Attribute Grammars. ICAPS 2018: 11-19
  8. 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.
  9. 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.
  10. 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.

20.02. 2024 Kick-off meeting (starting at 14:30!!)  
27.02. 2024 Distribution of papers/talks (starting at 14:30!!)  
05.03. 2024 AAAI/IAAI Invited Talk: Objective-Driven AI: Towards Machines that can Learn, Reason, and Plan by Yann LeCun [working paper]
12.03. 2024

Challenge introduction (V.P)

19.03. 2024 Challenge introduction (M.C.)
26.03. 2024 TBA  
02.04. 2024

TBA

09.04. 2024 Midterm report (V.P.; M.C.)
16.04. 2024 TBA  
23.04. 2024

TBA

30.04. 2024 TBA
 
07.05. 2024 Final report and solution (V.P.; M.C.)
14.05. 2024 cancelled (Rector Sports Day)
21.05. 2024 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