|
|
Pravděpodobnostní sémantika pro logiky podporující nezávislost
Seidl, Julian ; Majer, Ondrej (vedoucí práce) ; Švarný, Petr (oponent)
(česky) Práce je čistě teoretického charakteru a zabývá se teorií her z pohledu matematické logiky a pravděpodobnosti. Dělí se na dvě části, úvodní, která shrnuje základní definice, uvádí do tématu teorie her a základů syntaxe a sémantiky matematické logiky a jejích rozšíření vhodných k práci v teorii her. V úvodní části se vysvětlují pojmy extenzivních a strategických her, Nashova equilibria, čistá a smíšená strategie, vítězná strategie či logika podporující nezávislost. Dále se představují netriviální problémy řešené v druhé části práce, kterými jsou například otázka existence Nashových equilibrií u nekonečných her, nebo problematika uniformní pravděpodobnostní distribuce u stejné třídy her. Druhá část práce pokračuje rozborem strategických her s neúplnou informací, směřujíc tak k řešení již zmíněných netriviálních problémů. V druhé části se také zavádí základní pojmy a definice z oblasti teorie pravděpodobnosti, napomáhající v orientaci a uchopení výše nastíněných problémů. Poslední částí práce před samotným pokusem o řešení vyvstávajících problémů u nekonečných her, je zkoumání možnosti převodů mezi jednotlivými typy her. Závěrem druhé části je návrh řešení problémů způsobených rozšířením třídy zkoumaných her z konečných na nekonečné. První z problémů, existence Nashových equilibrií pro...
|
|
|
An overview of selected social procedures
Schlosáriková, Eva ; Majer, Ondřej (vedoucí práce) ; Peliš, Michal (oponent)
Názov práce: Analýza vybraných sociálnych procedúr Autor: Eva Schlosáriková Katedra: Ústav politologie Vedúci diplomovej práce: RNDr. Ondrej Majer, CSc. Abstrakt: Diplomová práca začína definíciou sociálnych procedúr. Analýze sociálnych procedúr sa venuje interdisciplinárny výskumný program, sociálny software (social soft- ware). Budú uvedené jeho základné ciele a úlohy. Ďalej sa práca zameria na prominentnú sociálnu procesúru, na koaličné jednanie a formovanie víťazného uskupenia. Po definovaní základných pojmov je uvedený prehľad konceptov z koaličnej teórie. Posledná kapitola sa venuje Bramsovmu modelu koaličného formovania a jeho definícii stability víťaznej koalície. Pre porovnanie sú uvedené ďalšie modely koaličného vyjednávania a definície stability. Klúčové slova: koaličné jednanie, koaličné formovanie, stabilita koalície 1
|
|
|
Algoritmická složitost řešení ve vybraných třídách nekooperativních her
Wichera, Adam ; Majer, Ondřej (vedoucí práce) ; Kroupa, Tomáš (oponent)
Název práce: Algoritmická složitost řešení ve vybraných třídách nekooperativních her Autor: Adam Wichera Katedra (ústav): Katedra logiky Vedoucí bakalářské práce: RNDr. Ondřej Majer, CSc. e-mail vedoucího: majer@ u.cas.cz Abstrakt V předložené práci studujeme přirozené algoritmické problémy vyvstávající z pojmu Nashova equilibria. Problém jeho existence je triviální, protože plyne z Nashova důkazu úplnosti. Ani příslušný vyhledávací problém se tedy nezdá být NP-úplný a to právě proto, že existence ře- šení je zaručena. Zajímavé ale je, že jakékoli přirozené rozšíření tohoto problému už se zdá být NP-úplné. U mnohých už byla NP-úplnost pro konečné nekooperativní hry s obecným součtem dávno dokázána, většinou redukcí problému SAT, Klikového problému, nebo množinového pro- blému hledajícího podpokrytí. Ovšem zda se k ostatním řadí i problém existence asymetrického equilibria pro symetrické hry, byl otevřený problém. Zde ukážeme, jak zobecnit důkaz z [? ] tak, aby dokázal postihnout i problém asymetrických Equilibrií a dokážeme tak jeho NP-kompletnost. Klíčová slova: Nashovo equilibrium, Algoritmická složitost, Nekooperativní hry, Teorie her, Asymetrické equilibrium, 1
|
|
|
Pravděpodobnostní sémantika pro logiky podporující nezávislost
Seidl, Julian ; Majer, Ondrej (vedoucí práce) ; Švarný, Petr (oponent)
(česky) Práce je čistě teoretického charakteru a zabývá se teorií her z pohledu matematické logiky a pravděpodobnosti. Dělí se na dvě části, úvodní, která shrnuje základní definice, uvádí do tématu teorie her a základů syntaxe a sémantiky matematické logiky a jejích rozšíření vhodných k práci v teorii her. V úvodní části se vysvětlují pojmy extenzivních a strategických her, Nashova equilibria, čistá a smíšená strategie, vítězná strategie či logika podporující nezávislost. Dále se představují netriviální problémy řešené v druhé části práce, kterými jsou například otázka existence Nashových equilibrií u nekonečných her, nebo problematika uniformní pravděpodobnostní distribuce u stejné třídy her. Druhá část práce pokračuje rozborem strategických her s neúplnou informací, směřujíc tak k řešení již zmíněných netriviálních problémů. V druhé části se také zavádí základní pojmy a definice z oblasti teorie pravděpodobnosti, napomáhající v orientaci a uchopení výše nastíněných problémů. Poslední částí práce před samotným pokusem o řešení vyvstávajících problémů u nekonečných her, je zkoumání možnosti převodů mezi jednotlivými typy her. Závěrem druhé části je návrh řešení problémů způsobených rozšířením třídy zkoumaných her z konečných na nekonečné. První z problémů, existence Nashových equilibrií pro...
|
|
|
Aplikace temporálních logik ve fyzice
Švarný, Petr ; Majer, Ondrej (vedoucí práce) ; Pudlák, Pavel (oponent)
Práce představuje v krátkosti tři hlavní obory zabývající se zkoumáním času: fyziku, filosofii a logiku. Je podán úvod do obecné teorie relativity, termodynamiky a kvantové fyziky. Jsou vyjmenovány i základní filosofické přístupy k času a jsou probrány ústřední duality této filosofie, jakými jsou např.: eternalismus a presentismus, determinismus a indeterminismus či reálnost a nereálnost času. S ohledem na velkou škálu možných logik, jsou zde popsány různé základní přístupy v nich obsažené, jsou provedeny pro ně typické důkazy či předvedeny jejich zvláštnosti oproti jiným logikám. Zvláště je poté diskutováno užití temporálních logik při formalizaci ve fyzice, však zmíněny jsou i jejich aplikace v jiných oblastech. Následně jsou uvedeny podrobněji systémy zvané Branching space-times (Prostoročasové stromy) a z nich nově odvozené Branching continuations (Stromy pokračování). Tyto logické systémy byly již užitečné v kvantové fyzice. Zde je však vzata základní terminologie spojená s obecnou teorií relativity a také topologie A, P a T. Spolu se zmíněnými logickými systémy jsou užity ke zkoumání možnosti jejich složení.
|
|
|
An overview of selected social procedures
Schlosáriková, Eva ; Majer, Ondřej (vedoucí práce) ; Peliš, Michal (oponent)
Názov práce: Analýza vybraných sociálnych procedúr Autor: Eva Schlosáriková Katedra: Ústav politologie Vedúci diplomovej práce: RNDr. Ondrej Majer, CSc. Abstrakt: Diplomová práca začína definíciou sociálnych procedúr. Analýze sociálnych procedúr sa venuje interdisciplinárny výskumný program, sociálny software (social soft- ware). Budú uvedené jeho základné ciele a úlohy. Ďalej sa práca zameria na prominentnú sociálnu procesúru, na koaličné jednanie a formovanie víťazného uskupenia. Po definovaní základných pojmov je uvedený prehľad konceptov z koaličnej teórie. Posledná kapitola sa venuje Bramsovmu modelu koaličného formovania a jeho definícii stability víťaznej koalície. Pre porovnanie sú uvedené ďalšie modely koaličného vyjednávania a definície stability. Klúčové slova: koaličné jednanie, koaličné formovanie, stabilita koalície 1
|
|
|
Koaliční hlasování a koeficienty volební moci aktérů
Schlosáriková, Eva ; Peliš, Michal (oponent) ; Majer, Ondrej (vedoucí práce)
Bakal arska pr aca je uvodn ym textom te orie koali cn ych hlasovac ch hier pre form alne (logika, matematika, te oria hier) i humanitne (politol ogia, sociol ogia) zameran ych citate lov. S u uveden e z akladn e de n cie, charakteristiky koali cn ych volebn ych syst emov, diferenci acia na v a zen e a nev a zen e PP-hlasovacie syst emy. Dal sia cas t sa venuje t eme volebnej moci, s u de novan e najzn amej sie koe cienty volebnej moci pre jednotliv ych voli cov (Shapley-Shubik, Banzhaf, Johnston, Deegan-Packel). Z avere cn a praktick a aplik acia koe- cientov porovn ava volebn u moc jednotliv ych kraj n EU pri prij man rozhodnut v Rade Eur opskej unie pod la zmluvy z Nice a Lisabonu.
|
|
|
Logické hry a pravdivostní hodnoty
Majer, Ondrej
Formální teorie her umožňuje zkoumat logiku z netradičná perspektivy. Zkoumání pravdivosti určitého tvrzení lze chápat jako hru - formalizovanou polemiku dvou hráčů. Pravidla hry pak odpovídají logickému systému, v jehož rámci je tvrzení formulováno. Článek se zabývá vztahem mezi vlastnostmi logických her a dvoj resp. vícehodnotovosti odpovídajících logických systémů.
|
|
|
Hry a význam logických spojek
Majer, Ondrej
Hlavním tématem článku je rozdílné chápání logických spojek v různých logických systémech (jako příklad jsou uvedeny klasická, intuicionistická a lineární logika). Článek se zejména zaměřuje na to, jak se rozdíly mezi spojkami projevují v herních interpretacích příslušných logických systému a nakolik je rámec teorie her vhodný pro charakterizaci těchto rozdílu.
|
|
|
The Logica Yearbook
Childers, Timothy ; Majer, Ondrej
The volume comprises most of the papers presented at the international symposium LOGICA 2002. Reflecting the tradition of the LOGICA symposia, the papers deal with the broad range of problems in logic relevant to philosophy.
|
host ::
RSS.