[哲学/逻辑读书会]概率动态认知逻辑

发布时间:2018-12-28 来源:本站原创 作者:本站编辑   浏览次数:

2018年12月25日,2016级硕士生张志金带领逻辑中心的部分师生(硕士生、博士生、青年老师)以及部分哲学本科生研读了Barteld P. Kooi的概率动态认知逻辑(Probabilistic Dynamic Logic, JoLLI 12, 381-408, 2003)一文。该文将动态认知逻辑(Dynamic Epistemic Logic)和概率逻辑(Probabilistic Logic)相糅合,形成了一个概率推理、信息以及信息改变的动态认知逻辑。并给出了语义系统和公理系统,证明了完全性,并用该逻辑分析了一系列相关例子,如蒙提霍尔困境(Monty Hall Dilemma),中心师生就可能的扩展研究进行了交流讨论。