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.
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 2016/2017 (NAIL052):
Tuesday 09:00 - 10:30, lecture room S6 (Malá Strana, 1. floor)The seminar will be devoted to application of machine learning techniques in robotics. In particular, we will focus on identifying activities of a flying drone.
Next meeting: Tuesday, May 9, 2017 (presentation of results on obtaining flight features from video recording)
Project modules:
[example data 1] [example data 2] [example data 3]
Module Students Materials enriching sensor data Jiří Hörner, Peter Zborovský presentation [PDF] data preprocessing Jan Pacovský presentation [PDF] supervised learning Monika Švaralová presentation [PDF] anomaly detection Šimon Rozsíval presentation [PDF] learning controllers Martin Adam, Yigit Mertol Kayabasi presentation [PDF]
[example data 4_long_flight] [example data 5_video]
[data bebop_video] [data anomaly]
[camera_flight_1] [camera_flight_2]
[short_flights]
Sources:
- Summary presentation [PDF]
- yaDrone Recorder [URL]
- Roman Barták, Marta Vomlelová: Using Machine Learning to Identify Activities of a Flying Drone from Sensor Readings, FLAIRS 2017 [PDF]
- UCLA Center for Vision, Cognition, Learning, and Autonomy [URL]
- Robot Babies (Paul Cohen at ARA) [URL]
- Autonomous Helicopter Flight [URL]
Seminář ZS 2016/2017 (NAIL004):
úterý 09:00 - 10:30, posluchárna S1 (Malá Strana, 4. patro)Obsah a forma semináře budou domluveny na semináři 11.10.2016. V úvahu přicházejí referáty na zvolené téma dle aktuální literatury, tutoriály dle knih, řešení vlastních projektů.
01.11. 2016 Filip Matzner: Deep Learning, Echo State Networks, and the Edge of Chaos
08.11. 2016 děkanský den (dean's sports day) 15.11. 2016 Šimon Rozsíval: Autonomous Cars 22.11. 2016 Jan Škoda: Emotions for Artificial Agents 29.11. 2016 Roman Barták: Workflow models and Attribute Grammars
06.12. 2016 odpadá (canceled) 13.12. 2016 Tomáš Musil: AlphaGo 20.12. 2016 Yigit Mertol Kayabasi: Text Auto-correcting 03.01. 2017 Filip Šedivý: Quantum AI 10.01. 2017 Martin Černý: AI in Games
Seminář LS 2015/2016 (NAIL052):
úterý 09:00 - 10:30, posluchárna S8 (Malá Strana, 1. patro)Obsah, forma a čas semináře budou domluveny na semináři 1.3.2016. V úvahu přicházejí referáty na zvolené téma dle aktuální literatury, tutoriály dle knih, řešení vlastních projektů.
Seminář ZS 2015/2016 (NAIL004):
úterý 09:00 - 10:30, posluchárna S11 (Malá Strana, 1. patro)Obsah a forma semináře budou domluveny na první semináři (6.10.2015). V úvahu přicházejí referáty na zvolené téma dle aktuální literatury, tutoriály dle knih, řešení vlastních projektů. Zápočet bude udělan za přednesení referátu a aktivní účast na dalších seminářích (minimálně 10 účastí).
06.10. 2015 Úvodní představení semináře.
13.10. 2015 Pavel Surynek. Multi-robotické plánování. 20.10. 2015 Tomáš Krejčí. Distribuční strategie. 27.10. 2015 Natália Tyrpáková. Pravidlově-orientované rozvrhování výroby. 03.11. 2015 Zdeněk Tesař. Klasifikace dat z posturografických měření. 10.11. 2015 Stuart Russell. Effective Decision Making. 17.11. 2015 svátek 24.11. 2015 Martin Mečiar. AI Mozart. 01.12. 2015 Tibor Baláž. Decisions in real time strategy. 08.12. 2015 Otakar Trunda. TBA. 15.12. 2015 Pavel Taufer. TBA. 22.12. 2015 05.01. 2016 12.01. 2016
Seminář LS 2014/2015 (NAIL052):
pondělí 17:20 - 18:50, posluchárna S4 (Malá Strana, 3. patro)Seminář bude realizován formou studentských tutoriálů dle knih Synthesis Lectures on Artificial Intelligence and Machine Learning vydavatelství Morgan & Claypool Publishers (cca hodinový referát následovaný diskusí a hodnocením z pléna). Zápočet bude udělen za přednesení referátu a aktivní účast na dalších seminářích (minimálně 9 účastí).
16. 02. 2015 Úvodní představení semináře. 23. 02. 2015 Roman Barták: Automated Planning - A Logical Perspective 02. 03. 2015 Roman Barták: Constraint-Based Temporal Reasoning 09. 03. 2015 Adam Blažek: Game Theory 16. 03. 2015 Filip Matzner: Autonomous Robotics 23. 03. 2015 Martin Mečiar: Trading Agents 30. 03. 2015 Jakub Hajič: Visual Object Recognition 06. 04. 2015 velikonoce 13. 04. 2015 Promítaná přednáška (Jiří Matas: Detekce a lokalizace objektů v obrázcích) WWW 20. 04. 2015 Neng-Fa Zhou: The Picat Language and System (guest) 27. 04. 2015 Tomáš Krejčí: Data Integration 04. 05. 2015 Michal Bilanský: Metric Learning 11. 05. 2015 Libor Přeučil: Inteligentní mobilní robotika: Úlohy, vize a relalita (guest) 18. 05. 2015 odpadá z důvodu zahraniční cesty
Seminář ZS 2014/2015 (NAIL004):
úterý 10:40 - 12:10, posluchárna S1 (Malá Strana, 4. patro)Seminář bude realizován formou studentských referátů na zvolené téma (cca hodinový referát následovaný diskusí a hodnocením z pléna). Zápočet bude udělan za přednesení referátu a aktivní účast na dalších seminářích (minimálně 9 účastí). Návrhy témat k referátům:
- Human Computation/Crowdsourcing (jak funguje řešení problémů pomocí masy lidí, www)
- Watson (vnitřnosti Q&A systému dle IBM, www)
- MEXAR a RAXEM (komunikace Mars Express - Země, www)
- Remote Agent na DeepSpace 1 (jak AI řídí kosmické sondy, www, report, paper)
- UI v JPL (jak se řídí Mars Rovers a jak satelit pozná, co má vyfotit, www)
- Path Planning (plánování cest není jenom o cestách, www)
- Cooperative Pathfinding (plánování cest pro více agentů najednou, www)
- Alan Turing: Computing Machinery and Intelligence (co skrývá článek, který znamenal zrod UI, www)
- Voting Theory (jak navrhnout správné volby, www)
- UI v hudbě (jak rozpoznávat hudební žánry a potom je napodobovat, www)
- Qualitative Reasoning with Time and Space (dříve nebo během, nahoře nebo uvnitř? aneb když nepotřebujeme čísla, pdf)
- ...
07.10. 2014 Úvodní představení semináře.
14.10. 2014 R. Barták, A. Vyškovský: Object Tracking by Flying Drone
P. Surynek: Lessons Learned from the Effort to Solve Cooperative Path-Finding Optimally21.10. 2014 F. Matzner: Short-term Motion Tracking Using Inexpensive Sensors 28.10. 2014 svátek 04.11. 2014 Peter Wurman: How to Coordinate a Thousand Robots (promítaná přednáška) 11.11. 2014 J. Hajič: Deep Neural Networks
18.11. 2014 odpadá z důvodu zahraniční cesty 25.11. 2014 odpadá z důvodu zahraniční cesty 02.12. 2014 J. Nádvorník: AIXI 09.12. 2014 Diskuse o obsahu a směrování semináře 16.12. 2014 T. Kadlec: Voting Theory 06.01. 2015 Projekt TERMES (promítaná přednáška) WWW
video
Seminář LS 2013/2014 (NAIL052):
pondělí 14:00 - 15:30, posluchárna S6 (Malá Strana, 2. patro)
Na prvním semináři budete dohodnuta struktura a obsah a semináře. Seminář bude pravděpodobně realizován formou řešení různých "výzev" a soutěží.
Pro challenge problémy přicházejí v úvahu například následující soutěže a výzvy:
- The Fifth Answer Set Programming Competition (www) - různé převážně "akademické" hříčky
- MISTA 2013 challenge (www) - komplexní rozvrhovací problém
- SAT competition (www) - různé typy problémů kódované jako problém splnitelnosti logické formule
- International Planning Competititon (www) - velké množství plánovacích problémů
- ICKEPS 2012 challenge (www) - téměř reálné problémy s možností nových přístupů
- Angry Birds AI competition (www) - hra, kde si UI užije (rozpoznávání obrazu, plánování, simulace, ...)
- a další
-
17. 02. 2014 seznámení s náplní semináře 
24. 02. 2014 rozdělení výzev / referátů 03. 03. 2014 představení výzev: Car Insurance
SAT
10. 03. 2014 představení výzev: Automated Trading
Co-operative Path Finding
17. 03. 2014 představení výzev: Planning Competition 24. 03. 2014 domácí příprava 31. 03. 2014 Řešící přístupy: Bio-inspired SAT 07. 04. 2014 Řešící přístupy: Car Insurance,
Automated Trading
14. 04. 2014 Řešící přístupy: Planning Competition 21 .04. 2014 velikonoce 28. 04. 2014 Řešící přístupy: Co-operative Path Finding 05. 05. 2014 Promítané video: Anthony Cohn - Learning Qualitative Spatio-Temporal Activity Models 12. 05. 2014 Výsledky: Bio-inspired SAT 19. 05. 2014 Výsledky:
Automated Trading
Car Insurance
Co-operative Path Finding, Planning Competition
Seminář ZS 2013/2014 (NAIL004):
pondělí 9:00 - 10:30, posluchárna S1 (Malá Strana, 4. patro)Rozvrh referátů
01.10. 2013 Úvodní představení semináře.
08.10. 2013 Rozdělení referátů, promítaná přednáška (Wolfram Burgard - Probabilistic Techniques for Mobile Robot Navigation)
15.10. 2013 Promítaná přednáška (Vijay Kumar - Aerial Robot Swarms)
22.10. 2013 Jan Klátil: Volební systémy
29.10. 2013 Jan Škoda: Úvod do Kalmanova filtru 05.11. 2013 Milan Rybář: Cooperative Pathfinding 12.11. 2013 Jan Kohout: Detekce anomálií v síťovém provozu
19.11. 2013 Milan Ježek: Qualitative Reasoning with Time and Space 26.11. 2013 Jan Bílek: Human Computing 03.12. 2013 Jakub Hajič: UI v JPL
10.12. 2013 Jan Tomášek, Štěpán Havránek: Robot Sumo
17.12. 2013 Tomáš Novella: Computing Machinery and Intelligence by Alan Turing
07.01. 2014 Marek Behún: Turingův test
Seminář LS 2012/2013 (NAIL052):
středa 17:20 - 18:50, posluchárna S4 (Malá Strana, 3. patro)Rozvrh referátů.
20. 02. 2013 seznámení s náplní semináře 27. 02. 2013 rozdělení výzev 06. 03. 2013 domácí příprava 13. 03. 2013 prezentace výzev (FastIron - Blue Book for Bulldozers) 20. 03. 2013 prezentace výzev (The Marinexplore and Cornell University Whale Detection Challenge) 27. 03. 2013 domácí příprava 03. 04. 2013 řešení výzev (Bulldozers) 10. 04. 2013 řešení výzev (Whales) 17. 04. 2013 Minulé (Petrobras)
a budoucí výzvy (SAT)
24 .04. 2013 Pokroky Bulldozers (a trochu Angry Birds) 01. 05. 2013 svátek 08. 05. 2013 svátek 15. 05. 2013 Pokroky Whales
22. 05. 2013 demo
Seminář ZS 2012/2013 (NAIL004):
úterý 15:40 - 17:10, posluchárna S3 (Malá Strana, 3. patro)Rozvrh referátů.
02.10. 2012 Úvodní představení semináře, promítaná přednáška (Luis von Ahn: Duolingo: Translating the Web with Millions of People)
09.10. 2012 Výzkum ve skupině CSORG (Pavel Surynek: Synchronizované pohyby po grafu, Tomáš Balyo: SAT a jeho využití v plánování, Daniel Toropila: Evoluční robotika)
16.10. 2012 Václav Obrázek: Kooperativní plánování cest s formacemi;
Martin Skalský: Monte Carlo Lokalizace23.10. 2012 Marika Ivanová: Monte Carlo Tree Search,
promítaná přednáška (Marek Michalowski: Beatbots)30.10. 2012 Roman Barták: Nové techniky Induktivního logického programování 06.11. 2012 Rudolf Kadlec: Probabilistic model of Episodic Memory 13.11. 2012 Le Khanh Chuong: Human Computation,
Lukáš Bednařík: UI v hudbě
20.11. 2012 Jiří Dutkevič: Any angle path planning,
Jan Jelínek: Rozvrhování solárních panelů na ISS
27.11. 2012 Peter Hrinčár: Voting Theory,
Filip Stočes: Remote Agent Experiment na DeepSpace 1
04.12. 2012 Tomáš Křen: Genetické programování nad typovaným lambda kalkulem
11.12. 2012 Lenka Kovářová: Fuzzy množiny
Tomáš Plch: Droni
18.12. 2012 Matej Straka: Text Detection in Natural Scenes
Štěpán Havránek, Jan Tomášek, Pavel Taufer: Hraní her
08.01. 2013 beseda Umělá inteligence na MFF UK
Seminář LS 2011/2012 (NAIL052):
pondělí 19:00 - 20:30, posluchárna S7 (Malá Strana, 2. patro)
- SACE Domain: Planning Solar Array Operations on the International Space Station
- Petrobras Domain: Planning Ship Operations on Petroleum Platforms and Ports
- MEX Domain: Planning Operations on the Mars Express Mission
Podrobný popis problémů i testovací data jsou k dispozici na stránkách soutěže.
Řešitelský tým ve složení Jan Jelínek, Martin Kolombo, Martin Pecka, Martin Hanes, Otakar Trunda, Daniel Toropila, Filip Dvořák, Roman Barták získal na soutěži ICKEPS ocenění "Outstanding Peformance on the Challening Track" a o řešení domény Petrobras vznik článek "Three Approaches to Solve the Petrobras Challenge: Exploiting Planning Techniques for Solving Real-Life Logistics Problems" na konferenci ICTAI 2012.
Seminář ZS 2011/2012 (NAIL004):
úterý 9:00 - 10:30, posluchárna S10 (Malá Strana, 1. patro)Rozvrh referátů.
04.10. 2011 Úvodní představení semináře, promítaná přednáška (David Ferrucci: Building Watson An Overview of DeepQA for the Jeopardy Challenge)
11.10. 2011 odpadá
18.10. 2011 Automated Vehicle/Urban Challenge (Jiří Harasim)
25.10. 2011 Automated Planning (Filip Dvořák, Daniel Toropila)
1.11. 2011 Computer Chess (Otakar Trunda) 08.11. 2011 přednášky hostů (posluchárna S9!) 15.11. 2011 promítaná přednáška (Michael Wooldridge: Playing Games with Games) 22.11. 2011 Optimizing Limousine Service (David Marek) 29.11. 2011 promítaná přednáška (Sumit Basu: Learning to Make Music: Interactive AI for Music Creation) 06.12. 2011 Bidirectional Search (Tomáš Hřebejk) 13.12. 2011 promítaná přednáška (Raul Rojas: Autonomous Car for City Traffic) 20.12. 2011 How to communicate with Mars Express orbiter? (Martin Pecka) 03.01. 2012 odpadá 10.01. 2012 Výzkum ve skupině CSORG. Jak se zapojit do výzkumu UI na MFF UK?
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 Republice-mail: bartak (AT) ktiml.mff.cuni.cz
tel: +420 951 554 242