Detekce nekonzistencí při provádění multi-agentních plánů
| Thesis title in Czech: | Detekce nekonzistencí při provádění multi-agentních plánů |
|---|---|
| Thesis title in English: | Detection of inconsistencies during multi-agent plans’ execution |
| Key words: | diagnostika|multi-agentní plány|selhání |
| English key words: | diagnosis|muti-agent plans|failure |
| Academic year of topic announcement: | 2021/2022 |
| Thesis type: | Bachelor's thesis |
| Thesis language: | čeština |
| Department: | Department of Theoretical Computer Science and Mathematical Logic (32-KTIML) |
| Supervisor: | prof. RNDr. Roman Barták, Ph.D. |
| Author: | hidden - assigned and confirmed by the Study Dept. |
| Date of registration: | 13.05.2021 |
| Date of assignment: | 07.06.2021 |
| Confirmed by Study dept. on: | 11.06.2021 |
| Date and time of defence: | 10.09.2021 09:00 |
| Date of electronic submission: | 22.07.2021 |
| Date of submission of printed version: | 22.07.2021 |
| Date of proceeded defence: | 10.09.2021 |
| Opponents: | Mgr. Marika Ivanová, Ph.D. |
| Guidelines |
| 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í. |
| References |
| 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. |