Generic Approach to Updating Uncertainty: Focus on Conditioning
Název práce v češtině: | Generický přístup ke změně nejistoty s důrazem na kondicionalizaci |
---|---|
Název v anglickém jazyce: | Generic Approach to Updating Uncertainty: Focus on Conditioning |
Klíčová slova: | dynamická logika, epistemická logika, neistota, rámec plauzibility, revízia presvedčenia, verejné vyhlásenie, zmena neistoty. |
Klíčová slova anglicky: | belief revision, dynamic logic, epistemic logic, plausibility space, public announcement, uncertainty, update. |
Akademický rok vypsání: | 2013/2014 |
Typ práce: | diplomová práce |
Jazyk práce: | angličtina |
Ústav: | Katedra logiky (21-KLOG) |
Vedoucí / školitel: | PhDr. Michal Peliš, Ph.D. |
Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
Datum přihlášení: | 26.06.2014 |
Datum zadání: | 27.06.2014 |
Schválení administrátorem: | zatím neschvalováno |
Datum potvrzení stud. oddělením: | 16.07.2014 |
Datum a čas obhajoby: | 01.02.2016 09:00 |
Datum odevzdání elektronické podoby: | 03.01.2016 |
Datum proběhlé obhajoby: | 01.02.2016 |
Odevzdaná/finalizovaná: | odevzdaná studentem a finalizovaná |
Oponenti: | Mgr. Igor Sedlár |
Konzultanti: | Guillaume Aucher, Ph.D. |
Zásady pro vypracování |
V umělé inteligenci se používá epistemická (modální) logika k reprezentaci znalostí idealizovaných agentů. Současně se objevily přístupy, které umožňují zachytit mírnejší změnu presvědčení těchto agentů. Epistemické logiky a jejich dynamická rozšíření se tak zabývají nejen individuální a skupinovou změnou znalostí, ale i individuálními změnami přesvědčení. Autor DP by se měl nejprve zaměřit na způsoby reprezentace přesvedčení u jednotlivců v rámci epistemických logik. Po té bude třeba prozkoumat způsoby dynamizace těchto statických popisů přesvědčení, tj. logiku veřejného vyhlášení, logiku akčních modelů a dalších rozšíření (viz literatura). Autor by měl vycházel z představy, jak vypadají základní druhy revizí přesvědčení. Základem práce je tak zkoumání druhů změny přesvědčení, které lze zavedenými formalismy popsat. Dále se pokusit ukázat souvislosti a hranice uvedených popisů, případně navrhnout jejich úpravu. V průběhu přípravy práce je možné se podrobněji zaměřit na některý z formalismů. |
Seznam odborné literatury |
J van Benthem. Exploring Logical Dynamics. CSLI Publications, Stanford, 1996. J van Benthem. Logical Dynamics of Information and Interaction. Cambridge University Press, 2011. P Blackburn, M de Rijke and Y Venema. Modal Logic. Cambridge Tracts in Theoretical Computer Science, 53, Cambridge University Press, 2001. H van Ditmarsch, W van der Hoek, B Kooi. Dynamic Epistemic Logic. Springer, 2008. R Fagin, JY Halpern, Y Moses, MY Vardi. Reasoning about Knowledge. MIT Press, 1995. D Harrel, D Kozen, J Tiuryn. Dynamic Logic. MIT Press, 2000. J-J Meyer, W van der Hoek. Epistemic logic for AI and Computer Science. Cambridge, 1995. |