[论文解读] Belief as Willingness to Bet

Jan van Eijck, Bryan Renne|arXiv (Cornell University)|Dec 16, 2014

Logic, Reasoning, and Knowledge参考文献 13被引用 7

一句话总结

本文提出一个模态逻辑框架 KB.5，其中知识被建模为概率确定性（K），信念被建模为在 1/2 阈值下愿意下注（B），并利用 Scott 定理建立完备性。该文引入了认识论邻域语义，并将概率结构与模态结构联系起来，为定性概率逻辑提供了基础。

ABSTRACT

We investigate modal logics of high probability having two unary modal operators: an operator $K$ expressing probabilistic certainty and an operator $B$ expressing probability exceeding a fixed rational threshold $c\geq\frac 12$. Identifying knowledge with the former and belief with the latter, we may think of $c$ as the agent's betting threshold, which leads to the motto "belief is willingness to bet." The logic $\mathsf{KB.5}$ for $c=\frac 12$ has an $\mathsf{S5}$ $K$ modality along with a sub-normal $B$ modality that extends the minimal modal logic $\mathsf{EMND45}$ by way of four schemes relating $K$ and $B$, one of which is a complex scheme arising out of a theorem due to Scott. Lenzen was the first to use Scott's theorem to show that a version of this logic is sound and complete for the probability interpretation. We reformulate Lenzen's results and present them here in a modern and accessible form. In addition, we introduce a new epistemic neighborhood semantics that will be more familiar to modern modal logicians. Using Scott's theorem, we provide the Lenzen-derivative properties that must be imposed on finite epistemic neighborhood models so as to guarantee the existence of a probability measure respecting the neighborhood function in the appropriate way for threshold $c=\frac 12$. This yields a link between probabilistic and modal neighborhood semantics that we hope will be of use in future work on modal logics of qualitative probability. We leave open the question of which properties must be imposed on finite epistemic neighborhood models so as to guarantee existence of an appropriate probability measure for thresholds $c eq\frac 12$.

研究动机与目标

• 将信念形式化为愿意在概率超过 1/2 时下注，通过引入具有 K（确定性）和 B（阈值信念）算符的模态逻辑。
• 使用 Scott 定理对 Lenzen 的 KB.5 逻辑完备性结果进行现代且易于理解的重新表述，以实现概率实现的完备性。
• 引入认识论邻域语义作为建模有限模型中信念与知识的新型、直观的框架。
• 确定有限认识论邻域模型在何种条件下可配备一个尊重阈值 c = 1/2 的概率测度。
• 将结果扩展至 c ≠ 1/2 的阈值以及多主体情形的开放性问题，突出在可定义性与模型构造方面存在的关键技术挑战。

提出的方法

• 使用 Scott 定理刻画有限集合 W 的子集上定性概率序何时可由概率测度实现。
• 将该定理应用于推导出 KB.5 逻辑中 K 与 B 模态算符之间的四个公理，其中一个复杂公理形式源自 Scott 的结果。
• 引入认识论邻域模型作为 KB.5 的语义，其中邻域表示信念成立的世界集合。
• 建立有限邻域模型的结构条件（如对某些集合运算的封闭性），以确保在 c = 1/2 时存在与之兼容的概率测度。
• 采用闭包构造和可定义性引理，证明 KB.5 在有限中阈值邻域模型上的完备性。
• 使用 Segerberg 的概率比较记号（例如 (φi E ψi)i=1^m）将 Scott 的代数条件表达为模态语言。

实验结果

研究问题

• RQ1 如何通过模态逻辑将信念正式捕捉为在理性阈值 c = 1/2 下愿意下注？
• RQ2 在该阈值下，确保结合知识（K）与信念（B）算符的逻辑完备性所需的最小公理是什么？
• RQ3 有限认识论邻域模型必须满足何种结构条件，才能容纳实现信念与知识算符的概率测度？
• RQ4 Scott 关于概率实现的定理如何与模态逻辑及认识论邻域语义相关联？
• RQ5 将完备性结果扩展至 c ≠ 1/2 的阈值以及多主体情形面临哪些挑战？

主要发现

• 当 c = 1/2 时，KB.5 逻辑在满足 Scott 条件的有限中阈值邻域模型类上是可靠且完备的。
• 本文使用 Scott 定理和邻域语义，对 Lenzen 的完备性证明提供了现代且易于理解的重新表述。
• 提出了一种新的认识论邻域语义，其更直观且对现代模态逻辑学家更熟悉。
• 本文确定了有限邻域模型的必要且充分条件，以保证在阈值 c = 1/2 时存在实现信念与知识算符的概率测度。
• 完备性证明依赖于可定义性引理与闭包构造，确保所有相关集合均可由逻辑中的公式定义。
• 由于在多主体情形下维持可定义性与 (sc) 条件存在挑战，向多主体设置的扩展仍为开放问题。