Project details
Algoritmy pro diskrétní systémy a hry s nekonečně mnoha stavy
Project code | GA18-11193S CEP CORDIS MU WEB INET MU |
---|---|
Duration | 01.01.2018–31.12.2020 |
Status | completed |
Investor | Czech Science Foundation |
Programme | Standard Projects |
Faculty investigator | |
Faculty team members |
Annotation
Annotation is available in Czech only.
Algoritmická teorie her poskytuje modelovací a analytické prostředky hojně využívané v různých oblastech informatiky, včetně formální verifikace a multi-agentních systémů. V rámci projektu je věnována speciální pozornost hrám s nekonečnou arénou a také hrám modelujícím chování agentů v diskrétním prostředí. Přestože tyto typy her se zkoumají v různých kontextech (formální verifikace vs. umělá inteligence), jejich základní charakteristiky jsou podobné a k jejich řešení je možné kombinovat metodologie z obou oblastí. Projekt je zaměřen na řešení otevřených problémů o tomto typu her, které zahrnují fundamentální otázky týkající se existence rovnovážných stavů, optimálních strategií a existence algoritmů pro jejich konstrukci.