imported>Fan-vom-Wiki: /* Literatur */ fehlendes Leerzeichen

2025-12-23T16:23:50Z

Literatur: fehlendes Leerzeichen

Neue Seite

Das '''sequentielle Gleichgewicht''' (kurz: '''SG''') ist ein spieltheoretisches [[Lösungskonzept]] für dynamische Spiele mit [[Spiel mit vollständiger Information|unvollständiger]] und/oder [[Unvollkommene Information|unvollkommener Information]].

Das Konzept des sequentiellen Gleichgewichts, welches von [[David Kreps|Kreps]] und [[Robert B. Wilson|Wilson]] (1982) eingeführt wurde, ist eine Verfeinerung des [[Teilspielperfektes Gleichgewicht|teilspielperfekten Gleichgewichts]]. Zum Ausdruck kommt diese Verfeinerung durch das Belief-System und die Forderung nach der sequentiellen [[Rationalität]] sowie der Konsistenz insbesondere in dynamischen Spielen mit [[Spiel mit vollständiger Information|unvollständiger]] und/oder [[Unvollkommene Information|unvollkommener (imperfekter) Information]].

== Entwicklung ==
Bei dem [[Teilspielperfektes Gleichgewicht|Teilspielperfektheitskonzept]] müssen die Gleichgewichtsstrategien an jedem Entscheidungsknoten optimal sein. Die Voraussetzung dafür ist, dass die Spieler [[vollkommene Information]] besitzen, d. h. sie müssen über den bisherigen Spielverlauf informiert sein und damit in der Lage sein, zu wissen, an welchem Knoten sie sich befinden.

In Spielen mit [[Spiel mit vollständiger Information|unvollständiger]] und/oder [[Unvollkommene Information|unvollkommener Information]] schließt das Konzept der [[Teilspielperfektes Gleichgewicht|Teilspielperfektheit]] jedoch nicht alle unplausiblen [[Nash-Gleichgewicht]]e aus, da in solchen Situationen häufig kein echtes Teilspiel existiert.
In einem solchen Spiel entspricht das teilspielperfekte Gleichgewicht dem Nash-Gleichgewicht, und dann hilft die Teilspielperfektheit nicht weiter.

Um diese Schwächen der [[Teilspielperfektes Gleichgewicht|Teilspielperfektheit]] zu vermeiden, wurde das Konzept 'sequentielles Gleichgewicht' entwickelt. Es erfordert, dass die Gleichgewichtsstrategien jeder Informationsmenge optimal sein müssen, unter der Voraussetzung, dass das Belief-System konsistent ist. (Mit dem Belief-System werden für jede Informationsmenge die Beliefs bestimmt, die die Spieler, die bei dieser Informationsmenge zum Zug kommen, über den bisherigen Spiellauf haben.<ref>{{Literatur |Autor=Martin J. Osborne, Ariel Rubinstein |Titel=A Course in Game Theory |Verlag=The MIT Press |Ort=Cambridge, Massachusetts |Datum=1994 |ISBN=978-0-262-15041-5 |Seiten=220}}</ref>)

== Darstellung des sequentiellen Gleichgewichts ==
:<math>(s,\mu)</math>

mit

* <math>\textstyle s</math>: Strategiekombination
* <math>\textstyle\mu</math>: Wahrscheinlichkeitseinschätzung (Belief)

== Formale Definitionen ==
Die Einschätzung <math>\textstyle(s,\mu)</math>, die sowohl konsistent als auch sequentiell rational ist.

=== Sequentielle Rationalität ===
Eine Einschätzung <math>\textstyle(s,\mu)</math> ist sequentiell rational, wenn die von einem Spieler 𝑖 gewählten Strategien an jeder Informationsmenge <math>\textstyle I_i</math> optimal sind angesichts der Einschätzungen und der Fortsetzungsstrategien der anderen Spieler.

Anders formuliert: In einem endlichen [[Extensivform eines Spiels|extensiven Spiel]] mit vollkommener Erinnerung (perfect recall) ist eine Einschätzung <math>\textstyle(s,\mu)</math> sequentiell rational, wenn für jeden Spieler <math>i \in N</math> und an jeder seiner Informationsmengen <math>I_i \in \iota_i</math> gilt:

:<math>u_i(s,\mu|I_i) \gtrsim u_i(s\!\,'_i,s_{-i},\mu|I_i)</math>

=== Konsistenz ===
Eine Kombination <math>\textstyle(s,\mu)</math> ist konsistent, wenn eine Folge <math>\textstyle{(s^\varepsilon,\mu^\varepsilon)}</math> existiert, die gegen die Einschätzung <math>\textstyle(s,\mu)</math> konvergiert und die Eigenschaften hat, dass jedes strategische Profil <math>\textstyle{s^\varepsilon}</math> vollständig gemischt ist sowie jedes Beliefs-System <math>\textstyle{\mu^{\varepsilon}}</math> aus <math>\textstyle{s^\varepsilon}</math> aus der bayesschen Regel abgeleitet ist, so dass gilt:

:<math>\lim_{\varepsilon \to 0}(s^\varepsilon,\mu^\varepsilon) = (s,\mu)</math>

== Bemerkung ==

Das Konzept des sequentiellen Gleichgewichts begrenzt Beliefs über Informationsmengen, die nicht im Gleichgewicht erreicht werden, durch die Einführung der Konsistenzforderung.

Hinter dieser Forderung steht folgende Intuition:

:„[…] Sobald eine Abweichung vom Gleichgewichtspfad erfolgt (ein – beabsichtigter oder unbeabsichtigter – Fehler), dann muss von diesem Punkt an der weitere Spielverlauf wieder ein sequentielles Gleichgewicht darstellen – gegeben irgendwelche Einschätzungen darüber, wieso der Fehler passierte. D. h., ausgehend von den Wahrscheinlichkeitseinschätzungen <math>\textstyle\mu</math>, spielen die Spieler wieder bei jedem Ereignis optimale Strategien; sie revidieren dabei ihre Wahrscheinlichkeiten entsprechend der bayesschen Regel, wobei nun die Einschätzungen <math>\textstyle\mu</math> als Kalkulationsbasis dienen – es sei denn, ein weiteres Ereignis mit Null-Wahrscheinlichkeit tritt ein. In letzterem Fall muss der handelnde Spieler wieder konsistente Einschätzungen bilden.“<ref>{{Literatur |Autor=Manfred J. Holler, Gerhard Illing |Titel=Einführung in die Spieltheorie |Verlag=Springer |Ort=Berlin Heidelberg |Datum=2008 |ISBN=978-3-540-69372-7 |Seiten=116}}</ref>

== Sätze ==
# Für jedes endliche [[Extensivform eines Spiels|extensive Spiel]] existiert mindestens ein sequentielles Gleichgewicht.<ref name="Kreps876">David M Kreps, Robert Wilson: ''Sequential Equilibria.'' In: ''Econometrica.'' Econometric Society, Jul. 1982:50(4):863-94. {{JSTOR|1912767}}, S. 876.</ref>
# Wenn <math>\textstyle{(s,\mu)}</math> ein sequentielles Gleichgewicht ist, dann ist s ein [[teilspielperfektes Gleichgewicht]].<ref name="Kreps876" />
# wenn <math>\textstyle{(s,\mu)}</math> ein sequentielles Gleichgewicht ist, dann ist <math>\textstyle{(s,\mu)}</math> erweitert [[Teilspielperfektes Gleichgewicht|teilspielperfekt]].<ref>David M Kreps, Robert Wilson: ''Sequential Equilibria.'' In: ''Econometrica.'' Econometric Society, Jul. 1982:50(4):863-94. {{JSTOR|1912767}}, S. 877</ref>

== Beispiel und Lösungsweg ==
Eine Einschätzung wird dargestellt wie folgt:

:<math>(s,\mu) = ((s_1, s_2),\mu)</math>

mit

:* <math>\textstyle{s_1}</math>: Die Strategie von Spieler 1 entspricht der [[Wahrscheinlichkeitsmaß|Wahrscheinlichkeitsverteilung]] über seine Strategien, M, L und R;
:*
:* <math>\textstyle{s_2}</math>: Die Strategie von Spieler 2 entspricht der Wahrscheinlichkeitsverteilung über seine Strategien l und r;
:*
:* <math>\textstyle{\mu}</math>: Belief von Spieler 2, welches dadurch bedingt ist, dass die Informationsmenge von Spieler 2 erreicht wird.

[[Datei:Spielbaum.jpg|mini|300px|Beispiel für sequentielles Gleichgewicht]]
[[Datei:Spiel in Matrixform.jpg|mini|180px|Spiel in Matrixform; Auszahlungen und Nash-Gleichgewichte]]
In diesem Beispiel gibt es zwei Typen der sequentiellen Gleichgewichte.

<big>'''Erster Typ'''</big>: Sequentielles Gleichgewicht, falls die Informationsmenge von Spieler 2 erreicht wird, d. h.

:<math>s_1(L)=0</math>

Die Strategie R ist von L und M strikt dominiert, so dass

:<math>s_1(R)=0 \qquad \text{und} \qquad s_1(M)>0</math>.

Die bayessche Regel ist anwendbar, denn die Informationsmenge von Spieler 2 liegt auf dem Gleichgewichtspfad:

:<math>\mu(M) = \frac{s_1(M)}{s_1(M) + s_1(R)} = 1</math>,

:<math>\mu(R) = \frac{s_1(R)}{s_1(M) + s_1(R)} = 0 </math>.

Mit den Beliefs wird Spieler 2 rational l wählen, da die Strategie l eine höhere Auszahlung ergibt:
:<math>u_2(M,l) > u_2(M,r)</math>

Daraus folgt:

:<math>s_2(l) = 1</math>,

:<math>\textstyle{s_2(r) = 0}</math>.

Die Einschätzung ist sequentiell rational wiederum dann und nur dann, wenn

:<math>s_1(L) = 0</math>,
:<math>s_1(M) = 1</math>,
:<math>s_1(R) = 0</math>.

'''Fazit'''

<math>\textstyle{(s,\mu) = (((0,1,0),(1,0)),(1,0))}</math>  ist ein sequentielles Gleichgewicht in einem Fall, in dem die Informationsmenge von Spieler 2 erreicht wird.

'''Bemerkung'''

In diesem Fall ist das Lösungsverfahren identisch mit dem des [[Perfekt bayessches Gleichgewicht|perfekt bayesschen Gleichgewichts]].

<big>'''Zweiter Typ'''</big>: Sequentielles Gleichgewicht, falls die Informationsmenge von Spieler 2 nicht erreicht wird, d. h:

:<math>\textstyle{s_1(L)=1}</math>,
:<math>\textstyle{s_1(M)=0}</math>,
:<math>\textstyle{s_1(R)=0}</math>.

Die Strategie <math>\textstyle{s_1(L)=1}</math> bildet einen Teil der sequentiell rationalen Einschätzung dann und nur dann, wenn Spieler 2 r mit einer hohen Wahrscheinlichkeit spielt, z. B.
:<math>\textstyle{s_2(r) = 1}</math>  .

Ansonsten wird Spieler 1 von der Strategie L abweichen und die Anforderung der sequentiellen Rationalität nicht erfüllt.

(Beim sequentiellen Gleichgewicht wird angenommen, dass die Strategie auf dem Nicht-Gleichgewichtspfad im Spiel vorkommen kann. Daher braucht Spieler 2 die Beliefs über seine Informationsmenge, falls er zum Zug käme.)

Um  <math>\textstyle{s_2(r) = 1}</math>   sequentiell rational zu sein, muss für die Beliefs gelten:

:Gegeben, dass q definiert ist wie folgend:

::<math>\textstyle{\mu(M) = 1 - q}</math>

::<math>\textstyle{\mu(R) = q}</math>,

:wegen

::<math>\textstyle (1-q)\cdot u_2(M,l) + q \cdot u_2(R,l) \le (1-q) \cdot u_2(M,r) + q \cdot u_2(R,r)</math>

:<math>\textstyle \Rightarrow (1-q)\cdot 2 + q \cdot 1 \le (1-q) \cdot 1 + q \cdot 2</math>

:folgt   <math>\textstyle{q \ge \frac 1 2}</math>.

Um zu überprüfen, ob die Einschätzung mit den Strategien und Beliefs konsistent ist, wird betrachtet:

:Es gibt Strategiekombinationen <math>s^{\varepsilon} = (s_1^{\varepsilon}, s_2^{\varepsilon})</math>,

:wobei <math>\varepsilon</math> zum einen als eine kleine positive Zahl definiert ist, weiterhin wie folgt:

::{| class="sortable"
|-
| <math>s_1^{\varepsilon}(L) = 1 - \varepsilon</math> ||         <math>\textstyle{s_2^\varepsilon(l) = \varepsilon}</math>
|-
| <math>s_1^{\varepsilon}(M) = (1 - q)\varepsilon</math> ||         <math>\textstyle{s_2^\varepsilon(r) = 1 - \varepsilon}</math>
|-
| <math>s_1^{\varepsilon}(R) = q\varepsilon</math> ||
|}.

:Nun ist die bayessche Regel anwendbar und damit sind die Beliefs definiert:

::<math>\mu(M) = \frac{s_1^{\varepsilon}(M)}{s_1^{\varepsilon}(M) + s_1^{\varepsilon}(R)} = \frac{1-q}{1-q+q} = 1- q</math>,

::<math>\mu(R) = \frac{s_1^{\varepsilon}(R)}{s_1^{\varepsilon}(M) + s_1^{\varepsilon}(R)} = \frac{q}{1-q+q} = q </math>.

Mit  <math>\lim_{{\varepsilon} \to {0}}s^{\varepsilon} = s</math>  zeigt dies, dass die Einschätzung konsistent ist.

'''Fazit'''

<math>\textstyle(s,\mu) = (((1,0,0),(0,1)),(1-q,q))</math> ist ein sequentielles Gleichgewicht mit   <math> q \ge \frac{1}{2}</math>, falls die Informationsmenge von Spieler 2 erreicht wird.

'''Bemerkung'''

(1) Bemerkung für <math>\textstyle{s_2(r) = 1}</math> als sequentiell rationale Strategie von Spieler 2 gegeben   <math>\textstyle{s_1(L)=1}</math>   und   <math> q \ge \frac{1}{2}</math>

:Solange  <math> q \ge \frac{1}{2}</math>  wird Spieler 2 rational immer r wählen. Denn dieser Belief impliziert, dass er glaubt, dass Spieler 1 in seinem Spielzug eher R gewählt hat, so dass für Spieler 2 rational ist, r zu spielen. Daher spielt er r mit der Wahrscheinlichkeit von 1.

(2) Bemerkung für den speziellen Fall   <math> q = \frac{1}{2}</math>

:<math> q = \frac{1}{2}</math>  bedeutet, dass die Beliefs über die jeweiligen Entscheidungsknoten in der Informationsmenge von Spieler 2 gleich sind. Dann ist Spieler 2 indifferent zwischen r und l. Daher wird er seine Strategien '''[[Gemischte Strategie|mischen]]''':

:In dem Fall   <math> q = \frac{1}{2}</math>  bildet die Strategie  <math>\textstyle{s_1(L) = 1}</math>  einen Teil des sequentiellen Gleichgewichts dann und nur dann, wenn    <math>\textstyle{p \ge \frac{2}{3}}</math>:

::Gegeben, dass p definiert ist wie folgend:

:::<math>\textstyle{s_2(l) = 1 - p}</math>

:::<math>\textstyle{s_2(r) = p}</math>,

::wegen

:::<math>\textstyle(1-p)\cdot u_1(M,l) + p \cdot u_1(M,r) \le u_1(L,s_2)</math>
::<math>\textstyle \Rightarrow(1-p)\cdot 4 + p \cdot 1 \le 2</math>

::folgt   <math>\textstyle{p \ge \frac{2}{3}}</math>.

::(Da R von M strikt dominiert ist, wird es nur mit dem Fall verglichen, in dem Spieler 1 M wählt.)

:Ansonsten ist   <math>\textstyle{s_1(L) = 1}</math>   nicht sequentiell rational.

:Um zu überprüfen, ob die Einschätzung mit den Strategien und Beliefs konsistent ist, wird betrachtet:

::Es gibt Strategiekombinationen  <math>s^{\varepsilon} = (s_1^{\varepsilon}, s_2^{\varepsilon})</math>,

::wobei <math>\varepsilon</math> zum einen als eine kleine positive Zahl und definiert ist und weiterhin wie folgt:

:::{| class="sortable"
|-
| <math>s_1^{\varepsilon}(L) = 1 - 2\varepsilon</math> ||         <math>\textstyle{s_2^\varepsilon(l) = s_2(l)}</math>
|-
| <math>s_1^{\varepsilon}(M) = \varepsilon</math> ||         <math>\textstyle{s_2^\varepsilon(r) = s_2(r)}</math>
|-
| <math>s_1^{\varepsilon}(R) = \varepsilon</math>. ||
|}

[[Datei:GGWmenge.jpg|mini|250px|Graphische Darstellung der Menge aller Gleichgewichte]]
::Und die Beliefs <math>\textstyle{\mu}</math> sind anhand der bayesschen Regel definiert:

:::<math>\mu(M) = \frac{s_1^{\varepsilon}(M)}{s_1^{\varepsilon}(M) + s_1^{\varepsilon}(R)} = \frac{\varepsilon}{\varepsilon + \varepsilon} = \frac{1}{2}</math>,

:::<math>\mu(R) = \frac{s_1^{\varepsilon}(R)}{s_1^{\varepsilon}(M) + s_1^{\varepsilon}(R)} = \frac{\varepsilon}{\varepsilon + \varepsilon} = \frac{1}{2}</math>.

:Mit <math>\lim_{\varepsilon \to {0}}s^{\varepsilon} = s</math> zeigt dies, dass die Einschätzung konsistent ist.

:Dies führt zu einem anderen sequentiellen Gleichgewicht:

:<math>(s,\mu) = \left(((1,0,0),(1-p,p)),\left(\tfrac{1}{2},\tfrac{1}{2}\right)\right)</math>  mit  <math>\textstyle{p \ge \frac{2}{3}}</math>  in einem Fall, in dem die Informationsmenge von Spieler 2 '''nicht''' erreicht wird und die Beliefs über die jeweiligen Entscheidungsknoten in der Informationsmenge von Spieler 2 gleich sind.

== Abgrenzung des sequentiellen Gleichgewichts vom perfekt bayesschen Gleichgewicht ==
Die beiden Konzepte sind eine Verfeinerung des [[Teilspielperfektes Gleichgewicht|teilspielperfekten Gleichgewichts]]. Sie haben die Gemeinsamkeit, dass die Strategien gegeben den Belief sequentiell rational sein müssen.
Die zwei Konzepte unterscheiden sich jedoch in folgendem Punkt:

Die Anforderung 4 des perfekt bayesschen Gleichgewichts lautet,
:'In Informationsmengen außerhalb des Gleichgewichtspfades werden die Beliefs mit der bayesschen Regel und Gleichgewichtsstrategien von Spielern bestimmt, wann immer möglich.'<ref>{{Literatur |Autor=Robert Gibbons |Titel=A Primer in Game Theory |Verlag=Financial Times |Ort=Harlow |Datum=1992 |ISBN=978-0-7450-1159-2 |Seiten=180}}</ref>

Dieser Anforderung 4 folgend werden im perfekt bayesschen Gleichgewicht die Beliefs durch die bayessche Regel definiert, wann immer möglich ist, während im sequentiellen Gleichgewicht die bayessche Regel durch Konsistenz des Beliefs für alle Pfade im Spiel ihre Anwendung findet (für die Strategien sowohl auf dem Gleichgewichtspfad als auch auf dem ''Nicht''-Gleichgewichtspfad).
Konsistenz im Sinne von [[David Kreps|Kreps]] und [[Robert B. Wilson|Wilson]] (1982) ist, dass die Beliefs <math>\textstyle\mu</math> der Grenzwert der Beliefs <math>\textstyle{\mu^\varepsilon}</math> sind, die mit einer Folge von vollständig [[Gemischte Strategie|gemischten Strategien]] <math>\textstyle{s^\varepsilon}</math> verbunden sind, welche gegen s konvergieren.<ref>Julio Gonzáles-Díaz, Miguel A. Meléndez-Jiménez: ''On the Notion of Perfect Bayesian Equilibrium''. In: ''TOP.'' Springer, Berlin / Heidelberg Nov. 2011:19. {{ISSN|1863-8279}} (Online) S. 5</ref>

Da die Anwendung des Konzepts des sequentiellen Gleichgewichts sehr kompliziert ist, wird in der [[Spieltheorie]] oft das perfekt bayessche Gleichgewicht als [[Lösungskonzept]] für die Spiele mit [[Spiel mit vollständiger Information|unvollständiger Information]] verwendet.

== Kritik ==
Im Beispiel ist der zweite Typ des sequentiellen Gleichgewichts jedoch nicht plausibel:

Die Einschätzung <math>\textstyle(s,\mu)=(((1,0,0),(0,1)),(1-q,q)</math>  ist ein sequentielles Gleichgewicht, dann und nur dann wenn <math> q \ge \tfrac{1}{2}</math>. Dies impliziert, dass es gilt:

:<math>\mu(\{M,R\})(M) < \mu(\{M,R\})(R)</math>.

Aber da für den Spieler 1 die Strategie R von M und L strikt dominiert ist, wenn die Informationsmenge von Spieler 2 erreicht wird und somit Spieler 2 zum Zug kommen würde, ist für Spieler 2 zumutbar zu schätzen, dass die Spieler 1 rational eher M gewählt hat. Also ist <math> q \ge \tfrac{1}{2}</math>  in der Realität nicht vernünftig; somit sind die sequentiellen Gleichgewichte des zweiten Typs nicht plausibel.

'''Fazit''': Das sequentielle Gleichgewicht schließt nicht alle unplausiblen Gleichgewichte aus.

== Siehe auch ==
* [[Nash-Gleichgewicht]]
* [[Teilspielperfektes Gleichgewicht]]
* [[Trembling-hand-perfektes Gleichgewicht]]

== Literatur ==
* {{Literatur |Autor=Martin J. Osborne, Ariel Rubinstein |Titel=A Course in Game Theory |Verlag=The MIT Press |Ort=Cambridge, Massachusetts |Datum=1994 |ISBN=0-262-15041-7}}
* {{Literatur |Autor=Manfred J. Holler, Gerhard Illing |Titel=Einführung in die Spieltheorie |Verlag=Springer |Ort=Berlin Heidelberg |Datum=2008 |ISBN=978-3-540-69372-7}}
* {{Literatur |Autor=Jurgen Eichberger |Titel=Game theory for economists |Verlag=Emerald Group Publishing Limited |Datum=1993 |ISBN=3-540-69372-6}}
* {{Literatur |Autor=Robert Gibbons |Titel=A Primer in Game Theory |Verlag=Financial Times |Ort=Harlow |Datum=1992 |ISBN=0-7450-1159-4}}
* {{Literatur |Autor=Siegfried K Berninghaus, Karl-Martin Ehrhart |Titel=Strategische Spiele: Eine Einführung in die Spieltheorie |Verlag=Springer |Ort=Berlin Heidelberg |Datum=2010 |ISBN=978-3-642-11650-6}}
* David M Kreps, Robert Wilson: ''Sequential Equilibria''. In: ''Econometrica''. Econometric Society, Jul. 1982:50(4):863-94. (http://www.jstor.org/pss/1912767).
* Julio Gonzáles-Díaz, Miguel A. Meléndez-Jiménez: ''On the Notion of Perfect Bayesian Equilibrium''. In: ''TOP''. Springer, Berlin / Heidelberg Nov. 2011:19. {{ISSN|1863-8279}} (Online)
* Drew Fudenberg, Jean Tirole: ''Perfect Bayesian equilibrium and sequential equilibrium''. In: ''Journal of Economic Theory''. Elsevier, Apr. 1991:53(2):236-260.

== Einzelnachweise ==
<references />

[[Kategorie:Spieltheorie]]

Sequentielles Gleichgewicht - Versionsgeschichte

imported>Fan-vom-Wiki: /* Literatur */ fehlendes Leerzeichen