基于后悔度的博弈剔除算法的逻辑认知分析

博弈分析中存在大量的逻辑问题,通过认知逻辑可以精确表达主体间认知互动中的推理.首先,构建了基于后悔度的博弈认知模型,从选手选择某一策略所导致的后悔度分析主体的理性特征,为多种博弈剔除算法的认知机制提供统一的逻辑刻画.其次,基于后悔度模型,重提主体理性定义,并证明该理性可作为公开宣告的事实,借助公开宣告逻辑,为Halpern等人提出的重复最大最小化后悔度算法提供合理的逻辑认知基础.