对博弈解概念认知和理性条件的逻辑分析

摘要

在博弈求解中参与者被假定为理性的,即总是追求其最大期望效用.但这一理性假设在博弈论中没有一个很清晰的形式定义,通常是把主体间对理性的相互认识假设为公共知识(common knowledge),然而这样的做法具体到某个博弈,尤其是有限博弈,就会显得粗糙,所涉及的嵌套问题也为系统复杂度的计算造成困难.其实,在一个具体的有限博弈G中,只需要有限次的嵌套.基于此形式化地分析了某些算法所要求的具体的认知和理性条件,提出了一种满足强理性条件的博弈求解可行算法.另外,通过在公开宣告逻辑中不断地宣告各种强度的理性概念,同样可以得到相应博弈算法求解的结果.