Detekce nekonzistencí při provádění multi-agentních plánů
| Název práce v češtině: | Detekce nekonzistencí při provádění multi-agentních plánů |
|---|---|
| Název v anglickém jazyce: | Detection of inconsistencies during multi-agent plans’ execution |
| Klíčová slova: | diagnostika|multi-agentní plány|selhání |
| Klíčová slova anglicky: | diagnosis|muti-agent plans|failure |
| Akademický rok vypsání: | 2021/2022 |
| Typ práce: | bakalářská práce |
| Jazyk práce: | čeština |
| Ústav: | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
| Vedoucí / školitel: | prof. RNDr. Roman Barták, Ph.D. |
| Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
| Datum přihlášení: | 13.05.2021 |
| Datum zadání: | 07.06.2021 |
| Datum potvrzení stud. oddělením: | 11.06.2021 |
| Datum a čas obhajoby: | 10.09.2021 09:00 |
| Datum odevzdání elektronické podoby: | 22.07.2021 |
| Datum odevzdání tištěné podoby: | 22.07.2021 |
| Datum proběhlé obhajoby: | 10.09.2021 |
| Oponenti: | Mgr. Marika Ivanová, Ph.D. |
| Zásady pro vypracování |
| Práce se zabývá prováděním plánů vzniklých z řešení problému multi-agentního hledání cest, multi-agent path finding (MAPF). Při provádění plánu — sledování vypočtené trasy — může dojít k různým odchylkám od ideálního průchodu. Cílem práce je tyto odchylky detekovat a zároveň klasifikovat míru jejich nebezpečnosti z pohledu vzniku potenciálních kolizí. |
| Seznam odborné literatury |
| Roman Barták, Jiří Švancara, Věra Škopková, David Nohejl, Ivan Krasičenko: Multi-agent path finding on real robots. AI Commun. 32(3): 175-189, 2019.
Orel Elimelech, Roni Stern, Meir Kalech, and Yedidya Bar-Zeev. Diagnosing resource usage failures in multi-agent systems. Expert Systems with Applications, 77:44–56, 2017. Femke de Jonge, Nico Roos, H. Jaap van den Herik: Keeping Plan Execution Healthy. CEEMAS 2005: 377-387, 2005. Nico Roos, Cees Witteveen: Diagnosis of Simple Temporal Networks. Proceeding of ECAI 2008: 593-597, 2008 Roni Stern, Nathan R. Sturtevant, Ariel Felner, Sven Koenig, Hang Ma, Thayne T. Walker, Jiaoyang Li, Dor Atzmon, Liron Cohen, T. K. Satish Kumar, Roman Barták, Eli Boyarski: Multi-Agent Pathfinding: Definitions, Variants, and Benchmarks. Proceeding of SOCS 2019: 151-159, 2019. Thayne T. Walker, Nathan R. Sturtevant: Collision Detection for Agents in Multi-Agent Pathfinding. arXiv:1908.09707, 2019. |