Generic Approach to Updating Uncertainty: Focus on Conditioning

• Thesis title in Czech: Generický přístup ke změně nejistoty s důrazem na kondicionalizaci
• Thesis title in English: Generic Approach to Updating Uncertainty: Focus on Conditioning
• Key words: dynamická logika, epistemická logika, neistota, rámec plauzibility, revízia presvedčenia, verejné vyhlásenie, zmena neistoty.
• English key words: belief revision, dynamic logic, epistemic logic, plausibility space, public announcement, uncertainty, update.
• Academic year of topic announcement: 2013/2014
• Thesis type: diploma thesis
• Thesis language: angličtina
• Department: Department of Logic (21-KLOG)
• Supervisor: PhDr. Michal Peliš, Ph.D.
• Author: hidden - assigned and confirmed by the Study Dept.
• Date of registration: 26.06.2014
• Date of assignment: 27.06.2014
• Administrator's approval: not processed yet
• Confirmed by Study dept. on: 16.07.2014
• Date and time of defence: 01.02.2016 09:00
• Date of electronic submission: 03.01.2016
• Date of proceeded defence: 01.02.2016
• Submitted/finalized: committed by student and finalized
• Opponents: Mgr. Igor Sedlár
• Advisors: Guillaume Aucher, Ph.D.

Guidelines

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ů.

References

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.