Dole budu postupně přidávat odkazy na prezentace k jednotlivým hodinám cvičení.
Zápočet získate za domácí úkoly. Domácích úkolů bude nejspíš deset. Za každý úkol můžete dostat alespoň 10 bodů. Zápočet dostanete pokud získáte alespoň sedminásobek počtu úkolů. Většina úkolů je programovacích. To znamená, že dostanete částečně implementovanou úlohu a je potřeba ji dokončit. Kód poté pošlete do
ReCodEx-u. Ten Váš program otestuje na různých příkladech a dá body dle úspěšnosti. Body jsou také ovlivněny kvalitou řešení.
Na většinu úloh budete mít dva týdny, ale na přesné termíny se podívejte do ReCodExu. Úkoly není za žádných okolností možné odevzdávat později.
Zadání úkolů najdete zde:
Git .
Úkoly budou nejspíš na tyto témata:
- A* algoritmus
- Constraint satisfaction programming (CSP)
- SAT
- Automatické plánování
- Podmíněné pravděpodobnosti
- Markovské procesy
- Bellmanova rovnice
- Minimax algoritmus
- Rozhodnovací stromy
- Neuronové sítě
Publikace
2023:
-
On Semantics of Hierarchical Planning Domain Models with Decomposition Constraints and Empty Methods [PDF]
Simona Ondrčková, Roman Barták. In proceedings of The 35th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), 2023.
-
On the Impact of Grounding on HTN Plan Verification via Parsing [PDF]
Simona Ondrčková, Roman Barták, Gregor Behnke, Pascal Bercher. In proceedings of the 15th International Conference on Agents and Artificial Intelligence (ICAART), 2023.
-
Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans [PDF]
Simona Ondrčková, Roman Barták, Pascal Bercher, Gregor Behnke. In proceedings of the International Florida Artificial Intelligence Research Society Conference (FLAIRS), 2023.
-
Parsing-Based Recognition of Hierarchical Plans Using the Grammar Constraint [PDF]
Kristýna Pantůčková, Simona Ondrčková, Roman Barták. In proceedings of the International Florida Artificial Intelligence Research Society Conference (FLAIRS), 2023.
-
On Total-Order HTN Plan Verification with Method Preconditions – An Extension of the CYK Parsing Algorithm [PDF]
Songtuan Lin, Gregor Behnke,Simona Ondrčková,Roman Barták,Pascal Bercher. In proceedings of the AAAI Conference on Artificial Intelligence (AAAI), 2023.
2022:
-
On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task [PDF]
Simona Ondrčková, Roman Barták, Pascal Bercher, Gregor Behnke. In proceedings of the International Florida Artificial Intelligence Research Society Conference (FLAIRS), 2022.
2021:
-
Correcting Hierarchical Plans by Action Deletion. [PDF]
Roman Barták, Simona Ondrčková, Gregor Behnke, Pascal Bercher. In proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR), 2021.
-
On the Verification of Totally-Ordered HTN [PDF]
Roman Barták, Simona Ondrčková, Gregor Behnke, Pascal Bercher. In proceedings of 33rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI), 2021.
2020:
-
A novel parsing-based approach for verification of hierarchical plans [PDF]
Simona Ondrčková, Roman Barták, Adrien Maillard, Pascal Bercher, Gregor Behnke. In proceedings of 32nd IEEE International Conference on Tools with Artificial Intelligence (ICTAI), 2020.