Pravděpodobnostní sémantika pro logiky podporující nezávislost
| Název práce v češtině: | Pravděpodobnostní sémantika pro logiky podporující nezávislost |
|---|---|
| Název v anglickém jazyce: | Probabilistic semantics for Independence-friendly Logics |
| Klíčová slova: | Teorie her, Pravděpodobnost, Logika, Logika podporující nezávislost, Strategie, Nashovo equilibrium |
| Klíčová slova anglicky: | Game theory, Probability, Logic, IF Logic, Strategy, Nash equilibrium |
| Akademický rok vypsání: | 2010/2011 |
| Typ práce: | bakalářská práce |
| Jazyk práce: | čeština |
| Ústav: | Katedra logiky (21-KLOG) |
| Vedoucí / školitel: | Ondřej Majer |
| Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
| Datum přihlášení: | 13.06.2011 |
| Datum zadání: | 13.06.2011 |
| Schválení administrátorem: | zatím neschvalováno |
| Datum potvrzení stud. oddělením: | 14.07.2011 |
| Datum a čas obhajoby: | 18.09.2013 10:00 |
| Datum odevzdání elektronické podoby: | 20.08.2013 |
| Datum proběhlé obhajoby: | 18.09.2013 |
| Odevzdaná/finalizovaná: | odevzdaná pracovníkem v zastoupení a finalizovaná |
| Oponenti: | Mgr. Petr Švarný, Ph.D. |
| Zásady pro vypracování |
| Logiky podporující nezávislost (Independence-friendly logics, viz [1]) vznikly na základě herní sémantiky pro klasickou logiku zavedením neúplné informace. Hodnota formule se v nich definuje jako existence výherní strategie pro jednoho z hráčů příslušné logické hry, výsledná logika je trojhodnotová (třetí hodnota se interpretuje jako ‚nedefinováno‘). Tuto sémantiku je možné pro modely s konečným univerzem rozšířit na interval <0,1> tak, že se hodnota formule definuje jako Nashovo ekvilibrium ve smíšených strategiích (‚pravděpodobnost, že daný hráč vyhraje, pokud bude hrát optimálně‘, viz [3]). Cílem práce je prozkoumat možnosti rozšíření pravděpodobnostní sémantiky na modely s nekonečným univerzem, případně diskutovat otázky tohoto rozšíření související s různými interpretacemi teorie pravděpodobnosti. |
| Seznam odborné literatury |
| [1] Hintikka, J. and Sandu, G. (1997). Game-theoretical semantics. In: van Benthem, J. and ter Meulen, A., editors, Handbook of Logic and Language, pages 361–410. Elsevier Science B.V., MIT Press, Oxford Shannon Tokio Cambridge, MA. [2] Majer, O., Pietarinen, A., Tulenheimo, T. (eds.): Games: Unifying Logic, Language, and Philosophy, Springer 2009 [3] Mann, A.L., Sandu, G., Sevenster, M., rukopis, vyjde v roce 2011 [4] Osborn, M. J., Rubinstein, A., A course in game theory, MIT Press, Cambridge,1994 |