Akce ČVUT

Pražský informatický seminář - Stochastické hry dvou hráčů (prof. Antonín Kučera)

27.02.2014   16:00

ANOTACE PŘEDNÁŠKY
Stochastické hry dvou hráčů na orientovaných grafech představují základní prostředek pro modelování a analýzu chování diskrétních systémů (agentů) v předem neznámém prostředí. Možné stavy systému a prostředí odpovídají uzlům grafu, hrany pak modelují stavové změny způsobené aktivitou systému, prostředí, nebo "náhody". Běh systému odpovídá nekonečné cestě v tomto grafu. Systém a prostředí tak představují dva "hráče", kde systém se snaží maximalizovat pravděpodobnost "dobrých" běhů, zatímco prostředí se snaží o opak.

Ve většině rozumných případů existuje rovnovážná hodnota této pravděpodobnosti, ne vždy však existují optimání strategie pro oba hráče.
V úvodu přednášky představíme základní koncepty a algoritmické otázky, které se v této oblasti studují. Ukážeme si některé známé otevřené problémy. V závěru přednášky budou prezentovány vybrané výsledky dosažené v nedávné době.
Přednáška bude probíhat v angličtině.

PŘEDNÁŠEJÍCÍ
Prof. RNDr. Antonín Kučera, Ph.D., je mezinárodně uznávanou vědeckou osobností v oblasti teoretické informatiky. Věnuje se zejména oblastem souvisejícím s aplikacemi matematické logiky v informatice jako jsou formální modelování a verifikace systémů s nekonečně mnoha stavy, otázky rozhodnutelnosti a složitosti analýzy modelů pro různé třídy takových systémů, použití modálních a temporálních logik. Dále se věnuje stochastickým systémům, teorii her a jejím aplikacím v uvedených oblastech. Je profesorem v Ústavu teoretické informatiky Fakulty informatiky na Masarykově univerzitě v Brně. Jím vedená skupina patří k nejvýznamnějším centrům české informatiky, školí řadu doktorandů, mnozí z jeho bývalých studentů patří dnes mezi uznávané odborníky.

O PRAŽSKÉM INFORMATICKÉM SEMINÁŘI
Seminář se bude scházet vždy 4. čtvrtek v měsíci v 16 hod. (s výjimkou letních měsíců a prosince), a to buď v budově FEL ČVUT na Karlově náměstí, nebo v budově MFF UK na Malostranském náměstí.
Jeho program bude tvořen hodinovou přednáškou, po níž bude následovat časově neomezená diskuse. Základem přednášky by mělo být něco (v mezinárodním měřítku) mimořádného nebo aspoň pozoruhodného, na co přednášející přišel a co vysvětlí způsobem srozumitelným a zajímavým i pro širší informatickou obec. Přednášky budou standardně v angličtině.
Formát semináře připravil přípravný výbor ve složení Michal Chytil (ÚI AVČR), Pavel Kordík (FIT ČVUT), Jan Kybic (FEL ČVUT), Michal Pěchouček (FEL ČVUT), Jiří Sgall (MFF UK), Vojtěch Svátek (FIS VŠE), Michal Šorel (ÚTIA AV ČR), Filip Železný (FEL ČVUT)
Idea Pražského informatického semináře vznikla z rozhovorů představitelů několika vědeckých institucí na téma, jak odstranit zbytečnou fragmentaci informatické komunity v ČR.

Místo konání

Auditorium S5, Faculty of Mathematics and Physics, Charles University, Malostranské nám. 25, Praha 1

Kontaktní osoba

Přípravný výbor PIS, info@praguecomputerscience.cz

Podrobnější informace

http://www.praguecomputerscience.cz/

Příloha

Stáhnout