Sociální pravidla pro multi-agentní hledání cest
| Název práce v češtině: | Sociální pravidla pro multi-agentní hledání cest |
|---|---|
| Název v anglickém jazyce: | Social Laws for Multi-Agent Path Finding |
| Klíčová slova: | hledání cest|sociální pravidla|multi-agentní prostředí |
| Klíčová slova anglicky: | path-finding|social laws|multi-agent environment |
| Akademický rok vypsání: | 2023/2024 |
| 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: | Bc. Jan Slezák - zadáno a potvrzeno stud. odd. |
| Datum přihlášení: | 25.06.2024 |
| Datum zadání: | 25.06.2024 |
| Datum potvrzení stud. oddělením: | 25.06.2024 |
| Datum a čas obhajoby: | 06.09.2024 09:00 |
| Datum odevzdání elektronické podoby: | 18.07.2024 |
| Datum odevzdání tištěné podoby: | 18.07.2024 |
| Datum proběhlé obhajoby: | 06.09.2024 |
| Oponenti: | Mgr. Jakub Mestek |
| Zásady pro vypracování |
| Cílem práce je prozkoumat možnost použití tzv. sociálních pravidel v oblasti multi-agentního hledání cest. Multi-agentní hledání cest má za úkol nalézt bez-kolizní trasy pro skupinu agentů, které dovedou agenty do určených cílů. Pravidla slouží pro lokální (dle omezeného okolí) rozhodnutí jednotlivého agenta, jakou akci má provést. Jedná se o distribuovaný přístup k řešení problému, kdy spolu agenti přímo nekomunikují. Student vytvoří software, který umožní simulaci běhu agentů na různých mapách a s různými pravidly, a navrhne a porovná různá pravidla pro řízení pohybu agentů. |
| Seznam odborné literatury |
| 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. SOCS 2019: 151-158
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) Erez Karpas, Alexander Shleyfman, Moshe Tennenholtz: Automated Verification of Social Law Robustness in STRIPS. ICAPS 2017: 163-171 Ronen Nir, Alexander Shleyfman, Erez Karpas: Automated Verification of Social Laws in Numeric Settings. AAAI 2023: 12087-12094 |