基于广义框架的概率认知逻辑
Probabilistic Epistemic Logic Based on General Frame作者机构:西南大学逻辑与智能研究中心
出 版 物:《逻辑学研究》 (Studies in Logic)
年 卷 期:2022年第15卷第4期
页 面:57-75页
核心收录:
基 金:国家社科基金重点项目“概率更新的动态认知逻辑研究”(21AZX013) 西南大学创新研究2035先导计划(SWUPilotPlan030)。
主 题:概率认知逻辑 广义框架 认知逻辑 概率逻辑 概率指派
摘 要:概率认知逻辑将认知和概率推理融合到同一个逻辑框架中。本文提出了一个基于广义框架的概率认知模型,并讨论了这一模型与已有两种概率认知模型的关系。基于广义框架的概率认知模型能为任意概率认知逻辑公式指派概率,因而是一种比较理想的概率认知逻辑语义模型。本文给出了一个可靠且完全的概率认知逻辑公理系统,提出并证明了概率函数存在引理,进而给出了这一逻辑的完全性证明。最后,本文运用这一逻辑刻画了混合策略博弈的两种状态,为进一步讨论混合策略博弈奠定了基础。