博弈论逻辑与概率

博弈论约翰·冯·诺依曼博弈论的概念博弈论又被称为对策论（Game Theory)，它是现代数学的一个新分支，也是运筹学的一个重要组成内容。

在《博弈圣经》中写到：博弈论是二人在平等的对局中各自利用对方的策略变换自己的对抗策略，达到取胜的意义。

按照2005年因对博弈论的贡献而获得诺贝尔经济学奖的Robert Aumann教授的说法，博弈论就是研究互动决策的理论。

所谓互动决策，即各行动方（即局中人[player]）的决策是相互影响的，每个人在决策的时候必须将他人的决策纳入自己的决策考虑之中，当然也需要把别人对于自己的考虑也要纳入考虑之中……在如此迭代考虑情形进行决策，选择最有利于自己的战略(strategy)。

博弈论的应用领域十分广泛，在经济学、政治科学（国内的以及国际的）、军事战略问题、进化生物学以及当代的计算机科学等领域都已成为重要的研究和分析工具。

此外，它还与会计学、统计学、数学基础、社会心理学以及诸如认识论与伦理学等哲学分支有重要联系。

按照Aumann所撰写的《新帕尔格雷夫经济学大辞典》“博弈论”辞条的看法，标准的博弈论分析出发点是理性的，而不是心理的或社会的角度。

不过，近20年来结合心理学和行为科学、实验经济学的研究成就而对博弈论进行一定改造的行为博弈论(behavoiral game theory )也日益兴起。

博弈论的发展博弈论思想古已有之，我国古代的《孙子兵法》就不仅是一部军事著作，而且算是最早的一部博弈论专著。

博弈论最初主要研究象棋、桥牌、赌博中的胜负问题，人们对博弈局势的把握只停留在经验上,没有向理论化发展，正式发展成一门学科则是在20世纪初。

1928年冯·诺意曼证明了博弈论的基本原理，从而宣告了博弈论的正式诞生。

1944年，冯·诺意曼和摩根斯坦共著的划时代巨著《博弈论与经济行为》将二人博弈推广到n人博弈结构并将博弈论系统的应用于经济领域，从而奠定了这一学科的基础和理论体系。

“坦白”是A的占优策略。同样，“坦白”也是B的占优策略。
一般地，称 si*为局中人i的(严格)占优策略， 若对应所有的
si , s i*是i的严格最优策略 , 即:
ui (si*, si ) ui (si' , si ) si , si' si*
对应地，所有的 si' si* 被称为“劣策略”。注意：这
甲的策略
1
2
3
乙的策略
1
7
8
9
2
6
2
3
3
5
4
0
1.乙先行动。若乙选1，则甲选3；乙选2，则甲选1；乙选3， 则甲选1。乙在行动时会估计到甲的行动，它估计三种选择 中的最高代价为策略1（损失900万），其次为策略2（损失 600万），最低为策略3（损失为500万）。因此，乙必选代 价最低的策略3。——最大最小原理。结论：乙选择3，甲选 1作为回应，乙损失500万，甲获益500万。
在博弈论里，一个博弈可以有两种表述方式：一种是策 略式（strategic form representation）表述，另一种是 扩展式（ extensive form representation ）表述。前者 适合于讨论静态博弈，后者适合于讨论动态博弈。在策略式 表述中，所有参与人同时选择各自的策略，所有参与人选择 的策略一起决定每个参与人的支付。
2007 - Leonid Hurwicz, Eric S. Maskin, Roger B. Myerson 2005 - Robert J. Aumann, Thomas C. Schelling 2001 - George A. Akerlof, A. Michael Spence, Joseph E.

Q2，模态逻辑对博弈的研究起什么作用?
这个问题又可以分解为这样两个问题： ？逻辑无用 ？逻辑到底有什么用，换句话说，逻辑到底能解决什么样的博弈问题，最好是 博弈论本身都没有解决的问题

Q2，模态逻辑对博弈的研究起什么作用?
)

1，博弈逻辑的语法，语义等
定理1：博弈逻辑对所有博弈模型是可靠的。 博弈逻辑对所有博弈模型是否完全，这仍然是一个待解决的问题。但我们有另 外两个较弱的完全性定理： d 定理2：不带有对偶算子 d 的博弈逻辑GL 对所有博弈模型完全。 定理3：不带有迭代算子 的博弈逻辑GL 对所有博弈模型完全。 对偶和迭代算子一起使得博弈逻辑有了不同与PDL的表达力。
d 。
c

Q1,逻辑和博弈的联系有哪些？
一，关于逻辑的博弈
对模态公式以及 -演算中的公式，我们同样能给出它们的赋值博弈语义 解释。


Q1,逻辑和博弈的联系有哪些？
一，关于逻辑的博弈
2，模型比较博弈 (model-comparison games)Ehrenfeucht(1957)Fraisse(1954) 初等等价 1930年，Tarski 给出了初等等价概念的形式表述（两个结构初等等价，当且 仅当它们满足相同的一阶句子，也就是说用一阶语言无法区分两个初等等价的 结构），后来Ehrenfeucht 和Fraisse根据博弈这一概念给出了两个结构初等 等价的条件，这样的博弈就被称为Ehrenfeucht-Fraisse博弈（EF for short），或者又叫back-and-forth game（versatile idea）。

Q1,逻辑和博弈的联系有哪些？
双仿 a a b c b

博弈论（一）：基本知识1.1定义:博弈论，又称对策论，是使用严谨的数学模型研究冲突对抗条件下最优决策问题的理论，是研究竞争的逻辑和规律的数学分支。

即，博弈论是研究决策主体在给定信息结构下如何决策以最大化自己的效用，以及不同决策主体之间的均衡。

1.2基本要素：参与人、各参与人的策略集、各参与人的收益函数，是博弈最重要的基本要素。

1.3博弈的分类：博弈论根据其所采用的假设不同而分为合作博弈理论和非合作博弈理论。

两者的区别在于参与人在博弈过程中是否能够达成一个具有约束力的协议（binding agreement）。

倘若不能，则称非合作博弈（Non-cooperative game）。

合作博弈强调的是集体主义，团体理性，是效率、公平、公正；而非合作博弈则主要研究人们在利益相互影响的局势中如何选择策略使得自己的收益最大，强调个人理性、个人最优决策，其结果有时有效率，有时则不然。

目前经济学家谈到博弈论主要指的是非合作博弈，也就是各方在给定的约束条件下如何追求各自利益的最大化，最后达到力量均衡。

博弈的划分可以从参与人行动的次序和参与人对其他参与人的特征、战略空间和支付的知识、信息，是否了解两个角度进行。

把两个角度结合就得到了4种博弈：a、完全信息静态博弈，纳什均衡，Nash(1950)b、完全信息动态博弈，子博弈精炼纳什均衡，泽尔腾（1965）c、不完全信息静态博弈，贝叶斯纳什均衡，海萨尼（1967-1968）d、不完全信息动态博弈，精炼贝叶斯纳什均衡，泽尔腾（1975）Kreps, Wilson(1982) Fudenberg, Tirole(1991)1.4课程主要内容：完全信息静态博弈完全信息动态博弈不完全信息静态博弈机制设计合作博弈1.5博弈模型的两种表示形式：策略式表述(Strategic form), 扩展式表述（Extensive form）1.6占优均衡：a、占优策略：在博弈中如果不管其他参与人选择什么策略，一个参与人的某个策略给他带来的支付值始终高于其他策略，或至少不劣于其他策略，则称该策略为该参与人的严格占优策略或占优策略。