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.