基于广义框架的概率认知逻辑

概率认知逻辑将认知和概率推理融合到同一个逻辑框架中。本文提出了一个基于广义框架的概率认知模型，并讨论了这一模型与已有两种概率认知模型的关系。基于广义框架的概率认知模型能为任意概率认知逻辑公式指派概率，因而是一种比较理想的概率认知逻辑语义模型。本文给出了一个可靠且完全的概率认知逻辑公理系统，提出并证明了概率函数存在引理，进而给出了这一逻辑的完全性证明。最后，本文运用这一逻辑刻画了混合策略博弈的两种状态，为进一步讨论混合策略博弈奠定了基础。