intALG-MAPFg: Inteligentní algoritmy pro zobecněné varianty multi-agetního hledání cest

Poskytovatel
Grantová agentura České republiky
Program
Standardní projekty
Veřejná soutěž
Standardní projekty 23 (SGA0201900001)
Hlavní účastníci
České vysoké učení technické v Praze / Fakulta informačních technologií
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
19-17966S

Název projektu anglicky
intALG-MAPFg: Intelligent Algorithms for Generalized Variants of Multi-Agent Path Finding
Anotace anglicky
Multi-agent path finding (MAPF) is a task of finding non-colliding paths for multiple distinguishable agents in a graph. The MAPF problem represents an important theoretical challenge but also has many practical applications. Solving techniques for the standard MAPF experienced significant progress recently for both the optimal and the sub-optimal case. This project reflects the growing interest of research community in generalizations of MAPF. Our research aims on study of intelligent solving algorithms in several diverse conceptual directions of MAPF generalizations that are unique to this project. Generalizations in logic formulations of MAPF with focus on expressing MAPF in the SAT modulo theory framework (SMT) and complex local and global constraints are studied. In adversarial variants of MAPF (AMAPF), where multiple teams of agents compete in reaching their goals, the project aims on combination of game-theoretic approach with machine learning. Worthwhile generalizations concern polynomial-time algorithms for MAPF where extensions from undirected to directed case are studied.

Kategorie VaV
ZV - Základní výzkum
OECD FORD - hlavní obor
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
OECD FORD - vedlejší obor
—
OECD FORD - další vedlejší obor
—
CEP - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)
AF - Dokumentace, knihovnictví, práce s informacemi<br>BC - Teorie a systémy řízení<br>BD - Teorie informace<br>IN - Informatika

Hodnocení poskytovatelem
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Zhodnocení výsledků projektu
V projektu byly dosaženy významné výsledky v oblasti multi-agentního hledání cest, a to zejména při použití logického usuzování s využitím řešení problémů SAT/SMT v dané oblasti a dále při řešení zobecnění daného problému pro spojitý čas s využitím nově navržených řídkých rozhodovacích diagramů. Výsledky byly publikovány na kvalitních konferencích, včetně konferencí špičkové mezinárodní úrovně.

Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP22-GA0-GA-U
Datum dodání záznamu
29. 6. 2022

Podobné projekty(10)