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

总第 160 期 暨南学报(哲学社会科学版) 2012 年第5 期 No. 5 2012 Jinan JoumaJ (PhiJosophy anr! SodaJ Sdfn时5) Sum No. 1ω 基于后悔度的博弈剔除算法的逻辑认知分析 崔建英 (中山大学逻辑与认知研究所，广东 f州 510275) [摘要] 博弈分析中存在大量的逻籍问题，通过认知逻辑可以精确表达主体间认知互动中的推理。 首先，构建了基于后悔度的悔弈认知模型，从选手选择某一策略所导致的后悔度分析主体的理性特征，为多 种博弈剔除算法的认知机制提供统一的逻辑刻画。其次，墓于后悔度模型，重提主体理性定义，并证明该理 性可作为公开宣告的事实，借助公开宣告逻辑，为 Halpem 等人提出的重复最大最小化后悔度算法提供合理 的逻辑认知基础。 [关键词] 后悔度:博弈认知模型;博弈剔除算法E 动态认知逻娓 [中图分类号] B8 1; F224.32 [文献标识码) A [文章编号) 1000 -5072(2012)05 -0137-07 等[ 14] 阳却7.[ISJ 拙-硝为消解一些经典剔除算法 博弈作为一种通用的计算模型[IJll-48 为哲 的认知悖论，提出了一种新的重复剔除算 学、认知心理学、人工智能、语言学等领域提供 法一一最小最大化后悔度算法，用于处理实验 了丰富的研究场景。搏弈分析中存在大量的逻 辑问题[2Jι酌，只有通过认知逻辑才能精确表 结果与均衡预测间的相悖性。同时，Halpem 将 达主体认知互动中的推理机制[3]37-470 理性描述为在当主体认为对手的任一个策略都 有可能被执行条件下，而选取那些使得自己后 通常的博弈分析主要集中在不同剔除算法 的认知基础上[2].[4] 寸11] c Bonanno[12J~-勘基于 悔度最小的策略.为该算法的认知基础提供了 KD45 逻辑，表明弱理性和强理性作为主体 逻辑刻画。不过，由于这种刻画是基于静态的 认知逻辑系统，会产生如同在重复剔除弱劣策 间公共知识或信念所产生的主体间高阶交互认 知结果与博弈论中重复剔除严格劣策略和 StaJ­ 略算法一样的认知悖论。为避免此悖论.Halp- naker 意义上的重复剔除算法的一致性;van em 等采用分级式知识逻辑系统，论证了该理性 Benthe旷日]13 -45 基于公开宣告逻辑证明:把弱 只是一种介于选手间认知互动的高阶知识，并 理性和强理性作为合适的认知断定，所产生的 非是传统博弈分析的基本前提一一理性是选于 主体间交互认知的信息互动结果分别与重复剔 间的公共知识。 除严格劣策略和重复剔除非可理性化策略算法 尽管这些学者都是利用逻辑描述不同剔除 算法的认知机制，但由于这些刻画基于不同的 结果是一致的。该方法不仅直观地描述了剔除