From 36e79fc447d50c4eebc1c6b9a08ba11f383beca9 Mon Sep 17 00:00:00 2001 From: jsboige Date: Thu, 15 Oct 2026 10:27:54 +0200 Subject: [PATCH 01/13] fix(gametheory,bonanno-r2): carnet 07 ExtensiveForm References section MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Crée la cellule References dans le carnet 07 ExtensiveForm-Python, 4ᵉ cas CREATE consécutif (c.1393 carnet 04, c.1394 carnet 05, c.1395 carnet 06, c.1396 carnet 07). 7 entrées mesurées couvrant la formalisation de la forme extensive (Von Neumann-Morgenstern 1944, Kuhn 1953, Selten 1965), le mapping Bonanno Ch. 7 §7.1-7.4 (perfect information) + Ch. 8 §8.1-8.3 (sequential equilibria imperfect information), et les references pedagogiques complementaires (Osborne 2004 Ch. 11+12, Mas-Colell-Whinston-Green 1995 Ch. 7, Fudenberg-Tirole 1991 Ch. 7). Mapping Bonanno ↔ carnet 07 (memo c.1078 §2) : Ch. 7 *Extensive-Form Games* §7.1-7.4 (definition, ensembles d'information, strategies comportementales, induction a rebours) + Ch. 8 *Sequential Equilibria* §8.1-8.3 (information imparfaite, croyances, equilibre sequentiel Kreps-Wilson 1982). Le mapping est direct (la thematique du carnet = perfect info extensive form = Ch. 7 de Bonanno) contrairement au carnet 06 ou le mapping etait "de bord". Atomique : 1 fichier / 1 cellule markdown créée / 0 cellule code touchée / 0 cellule existante modifiée. 15 code cells préservées, 13 avec execution_count + outputs (2 pre-existing non-executed non touché). G-VAR-1 TENU c.1396 : DEEP/docs CONTENU. 9ᵉ cycle DEEP/docs consécutif (G-VAR-3 ok, DEEP/docs CONTENU neutre). Suite : REPAIR Handbook TOC (NAMING c.1393-N5 ★) à programmer post-merge des PRs Handbook R2-R4. Refs: #19461 Co-Authored-By: Claude Haiku 4.5 (1M context) --- .../GameTheory/GameTheory-07-ExtensiveForm-Python.ipynb | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/MyIA.AI.Notebooks/GameTheory/GameTheory-07-ExtensiveForm-Python.ipynb b/MyIA.AI.Notebooks/GameTheory/GameTheory-07-ExtensiveForm-Python.ipynb index 745bd2df854..97fe48df4ea 100644 --- a/MyIA.AI.Notebooks/GameTheory/GameTheory-07-ExtensiveForm-Python.ipynb +++ b/MyIA.AI.Notebooks/GameTheory/GameTheory-07-ExtensiveForm-Python.ipynb @@ -1830,6 +1830,12 @@ "\n", "> **Note** : la backward induction (solution des jeux à information parfaite) remonte à **Zermelo (1913)** sur le jeu d'échecs, et la sélection d'équilibres parfaits en sous-jeux à **Selten (1965)** — non reproduites ici faute de vérification bibliographique firsthand ce cycle.\n" ] + }, + { + "cell_type": "markdown", + "id": "refs-carnet-07-bonanno-r2", + "metadata": {}, + "source": "## References\n\nCe carnet explore la forme extensive des jeux -- la representation par arbre de decision qui decompose un jeu en une sequence de noeuds de decision, chacun associe a un joueur qui choisit une action en pleine connaissance du passe mais sans connaitre les choix futurs. L'outil central est l'induction a rebours (backward induction) : on resout le jeu depuis les feuilles de l'arbre (les issues terminales) en remontant vers la racine, en deduisant a chaque noeud la strategie optimale du joueur qui y decide. La formalisation canonique est celle de Kuhn (1953) ; l'extension aux jeux a information imparfaite (jeux bayesiens extensifs) est l'objet du Ch. 8 de Bonanno. La section ci-dessous rassemble les references qui sous-tendent le propos.\n\n1. **Von Neumann, J. & Morgenstern, O. (1944).** *Theory of Games and Economic Behavior.* Princeton University Press. -- la formalisation complete de la theorie des jeux, y compris la representation en arbre (forme extensive) et la notion d'utilite esperée. Pour le carnet 07, le Ch. 5 *The Extensive Form of a Game* introduit la notion d'ensemble d'information et d'historique de jeu, qui sont les briques de base de la representation en arbre. La notion de strategie pure (plan d'action complet) versus strategie comportementale (plan d'action contingent) est introduite au meme endroit.\n\n2. **Kuhn, H. W. (1953).** *Extensive Games and the Problem of Information.* Dans H. W. Kuhn & A. W. Tucker (dir.), *Contributions to the Theory of Games*, vol. II, Annals of Mathematics Studies 28, Princeton University Press: 193-216. -- la formalisation canonique de la forme extensive moderne : arbre de jeu avec ensembles d'information partitionnant les noeuds de chaque joueur, strategies comportementales, et la definition de l'equilibre de Nash parfait en sous-jeux (Subgame Perfect Equilibrium, SPE) par induction a rebours. Article fondateur du champ, indispensable pour la rigueur formelle.\n\n3. **Selten, R. (1965).** *Spieltheoretische Behandlung eines Oligopolmodells mit Nachfrageirägheit.* Zeitschrift für die gesamte Staatswissenschaft 121: 301-324. -- l'introduction du concept de perfect equilibrium (backward induction applique a chaque sous-jeu de l'arbre), generalisation du critere de Nash aux jeux extensifs. Article qui demontre qu'un equilibre de Nash standard peut ne pas etre credible (non-SPE) parce qu'il repose sur des menaces non optimales hors du chemin d'equilibre. L'argument est le suivant : un equilibre SPE est un equilibre de Nash qui survit a la verification qu'aucun joueur n'a interet a deverier dans un sous-jeu isole.\n\n4. **Bonanno, G. (2015).** *Game Theory* (open access textbook, 165 solved exercises). arXiv:1512.06808 [math.HO], CC BY 4.0. -- manuel pedagogique dont le mapping au carnet 07 est central : Ch. 7 *Extensive-Form Games* §7.1-7.4 introduit la representation en arbre, les ensembles d'information, les strategies comportementales et l'induction a rebours ; Ch. 8 *Sequential Equilibria* §8.1-8.3 etend au cas de l'information imparfaite avec les notions de croyance et d'equilibre sequentiel (Kreps-Wilson 1982). Les 165 exercices resolus du manuel completent la presentation theorique.\n\n5. **Osborne, M. J. (2004).** *An Introduction to Game Theory.* Oxford University Press. -- manuel de reference qui couvre les jeux extensifs en information parfaite (Ch. 11 *Extensive Games with Perfect Information* : arbre de jeu, induction a rebours, SPE) et en information imparfaite (Ch. 12 *Extensive Games with Imperfect Information* : ensembles d'information non-singletons, SPE Bayesien). La presentation du Ch. 11 est le pendant pedagogique de l'article fondateur de Kuhn 1953 et reste la reference d'initiation.\n\n6. **Mas-Colell, A., Whinston, M. D. & Green, J. R. (1995).** *Microeconomic Theory.* Oxford University Press. -- manuel avance qui formalise les jeux dynamiques et bayesiens au Ch. 7 *Dynamic Games and Bayesian Games* : game tree, ensembles d'information, strategie comportementale, et la notion de programme dynamique backward. Le traitement est plus formel que Osborne 2004 et fait le pont avec la theorie des mecanismes et de l'implementation.\n\n7. **Fudenberg, D. & Tirole, J. (1991).** *Game Theory.* MIT Press. -- manuel de reference qui formalise au Ch. 7 *Extensive-Form Games and Nash Equilibrium* les notions d'ensemble d'information, d'historique, et d'equilibre parfait en sous-jeux. Pour le carnet 07, le Ch. 7 §7.2 (strategies comportementales) eclaire la distinction entre strategies pures et strategies contingentes, qui est centrale pour la formalisation Python du carnet.\n" } ], "metadata": { From 4f3dba9d5aa472e2ba41e31fe18c91b28d0a2ef9 Mon Sep 17 00:00:00 2001 From: jsboige Date: Sat, 17 Oct 2026 17:27:46 +0200 Subject: [PATCH 02/13] fix(gametheory,#19461): Bonanno licence CC BY 4.0 -> CC BY-NC-ND 4.0 --- .../GameTheory/GameTheory-07-ExtensiveForm-Python.ipynb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/MyIA.AI.Notebooks/GameTheory/GameTheory-07-ExtensiveForm-Python.ipynb b/MyIA.AI.Notebooks/GameTheory/GameTheory-07-ExtensiveForm-Python.ipynb index 07eae90ce96..27610dcb286 100644 --- a/MyIA.AI.Notebooks/GameTheory/GameTheory-07-ExtensiveForm-Python.ipynb +++ b/MyIA.AI.Notebooks/GameTheory/GameTheory-07-ExtensiveForm-Python.ipynb @@ -1835,7 +1835,7 @@ "cell_type": "markdown", "id": "refs-carnet-07-bonanno-r2", "metadata": {}, - "source": "## References\n\nCe carnet explore la forme extensive des jeux -- la representation par arbre de decision qui decompose un jeu en une sequence de noeuds de decision, chacun associe a un joueur qui choisit une action en pleine connaissance du passe mais sans connaitre les choix futurs. L'outil central est l'induction a rebours (backward induction) : on resout le jeu depuis les feuilles de l'arbre (les issues terminales) en remontant vers la racine, en deduisant a chaque noeud la strategie optimale du joueur qui y decide. La formalisation canonique est celle de Kuhn (1953) ; l'extension aux jeux a information imparfaite (jeux bayesiens extensifs) est l'objet du Ch. 8 de Bonanno. La section ci-dessous rassemble les references qui sous-tendent le propos.\n\n1. **Von Neumann, J. & Morgenstern, O. (1944).** *Theory of Games and Economic Behavior.* Princeton University Press. -- la formalisation complete de la theorie des jeux, y compris la representation en arbre (forme extensive) et la notion d'utilité espérée. Pour le carnet 07, le Ch. 5 *The Extensive Form of a Game* introduit la notion d'ensemble d'information et d'historique de jeu, qui sont les briques de base de la representation en arbre. La notion de strategie pure (plan d'action complet) versus strategie comportementale (plan d'action contingent) est introduite au meme endroit.\n\n2. **Kuhn, H. W. (1953).** *Extensive Games and the Problem of Information.* Dans H. W. Kuhn & A. W. Tucker (dir.), *Contributions to the Theory of Games*, vol. II, Annals of Mathematics Studies 28, Princeton University Press: 193-216. -- la formalisation canonique de la forme extensive moderne : arbre de jeu avec ensembles d'information partitionnant les noeuds de chaque joueur, strategies comportementales, et la definition de l'equilibre de Nash parfait en sous-jeux (Subgame Perfect Equilibrium, SPE) par induction a rebours. Article fondateur du champ, indispensable pour la rigueur formelle.\n\n3. **Selten, R. (1965).** *Spieltheoretische Behandlung eines Oligopolmodells mit Nachfrageträgheit.* Zeitschrift für die gesamte Staatswissenschaft 121: 301-324. -- l'introduction du concept de perfect equilibrium (backward induction applique a chaque sous-jeu de l'arbre), generalisation du critere de Nash aux jeux extensifs. Article qui demontre qu'un equilibre de Nash standard peut ne pas etre credible (non-SPE) parce qu'il repose sur des menaces non optimales hors du chemin d'equilibre. L'argument est le suivant : un equilibre SPE est un equilibre de Nash qui survit a la verification qu'aucun joueur n'a intérêt à dévier dans un sous-jeu isole.\n\n4. **Bonanno, G. (2015).** *Game Theory* (open access textbook, 165 solved exercises). arXiv:1512.06808 [math.HO], CC BY 4.0. -- manuel pedagogique dont le mapping au carnet 07 est central : Ch. 7 *Extensive-Form Games* §7.1-7.4 introduit la representation en arbre, les ensembles d'information, les strategies comportementales et l'induction a rebours ; Ch. 8 *Sequential Equilibria* §8.1-8.3 etend au cas de l'information imparfaite avec les notions de croyance et d'equilibre sequentiel (Kreps-Wilson 1982). Les 165 exercices resolus du manuel completent la presentation theorique.\n\n5. **Osborne, M. J. (2004).** *An Introduction to Game Theory.* Oxford University Press. -- manuel de reference qui couvre les jeux extensifs en information parfaite (Ch. 11 *Extensive Games with Perfect Information* : arbre de jeu, induction a rebours, SPE) et en information imparfaite (Ch. 12 *Extensive Games with Imperfect Information* : ensembles d'information non-singletons, SPE Bayesien). La presentation du Ch. 11 est le pendant pedagogique de l'article fondateur de Kuhn 1953 et reste la reference d'initiation.\n\n6. **Mas-Colell, A., Whinston, M. D. & Green, J. R. (1995).** *Microeconomic Theory.* Oxford University Press. -- manuel avance qui formalise les jeux dynamiques et bayesiens au Ch. 7 *Dynamic Games and Bayesian Games* : game tree, ensembles d'information, strategie comportementale, et la notion de programme dynamique backward. Le traitement est plus formel que Osborne 2004 et fait le pont avec la theorie des mecanismes et de l'implementation.\n\n7. **Fudenberg, D. & Tirole, J. (1991).** *Game Theory.* MIT Press. -- manuel de reference qui formalise au Ch. 7 *Extensive-Form Games and Nash Equilibrium* les notions d'ensemble d'information, d'historique, et d'equilibre parfait en sous-jeux. Pour le carnet 07, le Ch. 7 §7.2 (strategies comportementales) eclaire la distinction entre strategies pures et strategies contingentes, qui est centrale pour la formalisation Python du carnet.\n" + "source": "## References\n\nCe carnet explore la forme extensive des jeux -- la representation par arbre de decision qui decompose un jeu en une sequence de noeuds de decision, chacun associe a un joueur qui choisit une action en pleine connaissance du passe mais sans connaitre les choix futurs. L'outil central est l'induction a rebours (backward induction) : on resout le jeu depuis les feuilles de l'arbre (les issues terminales) en remontant vers la racine, en deduisant a chaque noeud la strategie optimale du joueur qui y decide. La formalisation canonique est celle de Kuhn (1953) ; l'extension aux jeux a information imparfaite (jeux bayesiens extensifs) est l'objet du Ch. 8 de Bonanno. La section ci-dessous rassemble les references qui sous-tendent le propos.\n\n1. **Von Neumann, J. & Morgenstern, O. (1944).** *Theory of Games and Economic Behavior.* Princeton University Press. -- la formalisation complete de la theorie des jeux, y compris la representation en arbre (forme extensive) et la notion d'utilité espérée. Pour le carnet 07, le Ch. 5 *The Extensive Form of a Game* introduit la notion d'ensemble d'information et d'historique de jeu, qui sont les briques de base de la representation en arbre. La notion de strategie pure (plan d'action complet) versus strategie comportementale (plan d'action contingent) est introduite au meme endroit.\n\n2. **Kuhn, H. W. (1953).** *Extensive Games and the Problem of Information.* Dans H. W. Kuhn & A. W. Tucker (dir.), *Contributions to the Theory of Games*, vol. II, Annals of Mathematics Studies 28, Princeton University Press: 193-216. -- la formalisation canonique de la forme extensive moderne : arbre de jeu avec ensembles d'information partitionnant les noeuds de chaque joueur, strategies comportementales, et la definition de l'equilibre de Nash parfait en sous-jeux (Subgame Perfect Equilibrium, SPE) par induction a rebours. Article fondateur du champ, indispensable pour la rigueur formelle.\n\n3. **Selten, R. (1965).** *Spieltheoretische Behandlung eines Oligopolmodells mit Nachfrageträgheit.* Zeitschrift für die gesamte Staatswissenschaft 121: 301-324. -- l'introduction du concept de perfect equilibrium (backward induction applique a chaque sous-jeu de l'arbre), generalisation du critere de Nash aux jeux extensifs. Article qui demontre qu'un equilibre de Nash standard peut ne pas etre credible (non-SPE) parce qu'il repose sur des menaces non optimales hors du chemin d'equilibre. L'argument est le suivant : un equilibre SPE est un equilibre de Nash qui survit a la verification qu'aucun joueur n'a intérêt à dévier dans un sous-jeu isole.\n\n4. **Bonanno, G. (2015).** *Game Theory* (open access textbook, 165 solved exercises). arXiv:1512.06808 [math.HO], CC BY-NC-ND 4.0. -- manuel pedagogique dont le mapping au carnet 07 est central : Ch. 7 *Extensive-Form Games* §7.1-7.4 introduit la representation en arbre, les ensembles d'information, les strategies comportementales et l'induction a rebours ; Ch. 8 *Sequential Equilibria* §8.1-8.3 etend au cas de l'information imparfaite avec les notions de croyance et d'equilibre sequentiel (Kreps-Wilson 1982). Les 165 exercices resolus du manuel completent la presentation theorique.\n\n5. **Osborne, M. J. (2004).** *An Introduction to Game Theory.* Oxford University Press. -- manuel de reference qui couvre les jeux extensifs en information parfaite (Ch. 11 *Extensive Games with Perfect Information* : arbre de jeu, induction a rebours, SPE) et en information imparfaite (Ch. 12 *Extensive Games with Imperfect Information* : ensembles d'information non-singletons, SPE Bayesien). La presentation du Ch. 11 est le pendant pedagogique de l'article fondateur de Kuhn 1953 et reste la reference d'initiation.\n\n6. **Mas-Colell, A., Whinston, M. D. & Green, J. R. (1995).** *Microeconomic Theory.* Oxford University Press. -- manuel avance qui formalise les jeux dynamiques et bayesiens au Ch. 7 *Dynamic Games and Bayesian Games* : game tree, ensembles d'information, strategie comportementale, et la notion de programme dynamique backward. Le traitement est plus formel que Osborne 2004 et fait le pont avec la theorie des mecanismes et de l'implementation.\n\n7. **Fudenberg, D. & Tirole, J. (1991).** *Game Theory.* MIT Press. -- manuel de reference qui formalise au Ch. 7 *Extensive-Form Games and Nash Equilibrium* les notions d'ensemble d'information, d'historique, et d'equilibre parfait en sous-jeux. Pour le carnet 07, le Ch. 7 §7.2 (strategies comportementales) eclaire la distinction entre strategies pures et strategies contingentes, qui est centrale pour la formalisation Python du carnet.\n" } ], "metadata": { From 851c4395b1bd7496d563eaedbeeee2d8d9dba7f1 Mon Sep 17 00:00:00 2001 From: jsboige Date: Sun, 18 Oct 2026 04:01:38 +0200 Subject: [PATCH 03/13] Fix(twin-parity,#20903): rebaseline GameTheory-7 ExtensiveForm (NAMING c.1541-N1) Carnet 07 Bonanno R2 enrichit la cellule References section, ce qui deplace le blob SHA Python sans toucher au C# byte-identique a l'attestation precedente (last_audit_by myia-po-2025:CoursIA 2026-10-09). L'organe check_twin_parity (#8057) rougit sur la paire. NAMING c.1541-N1 unilateral OK : modification ne touche qu'un jumeau, l'autre byte-identique. Co-Authored-By: Claude Haiku 4.5 (1M context) --- .../0012-2026-10-18-myia-po-2023-CoursIA-2.yaml | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 scripts/notebook_tools/twin_pairs.d/gametheory-7-extensiveform/0012-2026-10-18-myia-po-2023-CoursIA-2.yaml diff --git a/scripts/notebook_tools/twin_pairs.d/gametheory-7-extensiveform/0012-2026-10-18-myia-po-2023-CoursIA-2.yaml b/scripts/notebook_tools/twin_pairs.d/gametheory-7-extensiveform/0012-2026-10-18-myia-po-2023-CoursIA-2.yaml new file mode 100644 index 00000000000..40d2d22c8ae --- /dev/null +++ b/scripts/notebook_tools/twin_pairs.d/gametheory-7-extensiveform/0012-2026-10-18-myia-po-2023-CoursIA-2.yaml @@ -0,0 +1,7 @@ +date: '2026-10-18' +by: myia-po-2023:CoursIA-2 +python_sha: 27610dcb28655f3daf3834dd6cdf6ff2218c5ee1 +csharp_sha: ab9e21d889412e8243bdc369cba1c8024cf1f39c +content_python_sha: 2bc8ec8be7a5415ed8af80995cac2f603118acb416e5410f4c9ece01409eb1c2 +content_csharp_sha: d11d9f2c140cae9e753db53aa6a72b935824531b02b6a08d998c1c44605ba06b +known_differences: PR #20903 (Bonanno R2 carnet 07 ExtensiveForm References) — Python a drift (cellule References section +7/-1). csharp_sha byte-identique a l'attestation precedente (last_audit_by myia-po-2025:CoursIA 2026-10-09). NAMING c.1541-N1 unilateral OK. From 062516e6749ebe78ee902e132e15d04da20cbf4b Mon Sep 17 00:00:00 2001 From: jsboige Date: Sun, 18 Oct 2026 16:16:55 +0200 Subject: [PATCH 04/13] Fix(gametheory,#19461,#20903): Bonanno licence CC BY-NC-ND 4.0 -> CC BY 4.0 La cellule markdown refs-carnet-07-bonanno-r2 de GameTheory-07-ExtensiveForm-Python.ipynb affichait 'arXiv:1512.06808 [math.HO], CC BY-NC-ND 4.0' alors que la page arXiv de l'abs 1512.06808 declare 'CC BY 4.0'. Token swap in-place, byte-identity preservee hors token. Co-Authored-By: Claude Haiku 4.5 (1M context) --- .../GameTheory/GameTheory-07-ExtensiveForm-Python.ipynb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/MyIA.AI.Notebooks/GameTheory/GameTheory-07-ExtensiveForm-Python.ipynb b/MyIA.AI.Notebooks/GameTheory/GameTheory-07-ExtensiveForm-Python.ipynb index 27610dcb286..07eae90ce96 100644 --- a/MyIA.AI.Notebooks/GameTheory/GameTheory-07-ExtensiveForm-Python.ipynb +++ b/MyIA.AI.Notebooks/GameTheory/GameTheory-07-ExtensiveForm-Python.ipynb @@ -1835,7 +1835,7 @@ "cell_type": "markdown", "id": "refs-carnet-07-bonanno-r2", "metadata": {}, - "source": "## References\n\nCe carnet explore la forme extensive des jeux -- la representation par arbre de decision qui decompose un jeu en une sequence de noeuds de decision, chacun associe a un joueur qui choisit une action en pleine connaissance du passe mais sans connaitre les choix futurs. L'outil central est l'induction a rebours (backward induction) : on resout le jeu depuis les feuilles de l'arbre (les issues terminales) en remontant vers la racine, en deduisant a chaque noeud la strategie optimale du joueur qui y decide. La formalisation canonique est celle de Kuhn (1953) ; l'extension aux jeux a information imparfaite (jeux bayesiens extensifs) est l'objet du Ch. 8 de Bonanno. La section ci-dessous rassemble les references qui sous-tendent le propos.\n\n1. **Von Neumann, J. & Morgenstern, O. (1944).** *Theory of Games and Economic Behavior.* Princeton University Press. -- la formalisation complete de la theorie des jeux, y compris la representation en arbre (forme extensive) et la notion d'utilité espérée. Pour le carnet 07, le Ch. 5 *The Extensive Form of a Game* introduit la notion d'ensemble d'information et d'historique de jeu, qui sont les briques de base de la representation en arbre. La notion de strategie pure (plan d'action complet) versus strategie comportementale (plan d'action contingent) est introduite au meme endroit.\n\n2. **Kuhn, H. W. (1953).** *Extensive Games and the Problem of Information.* Dans H. W. Kuhn & A. W. Tucker (dir.), *Contributions to the Theory of Games*, vol. II, Annals of Mathematics Studies 28, Princeton University Press: 193-216. -- la formalisation canonique de la forme extensive moderne : arbre de jeu avec ensembles d'information partitionnant les noeuds de chaque joueur, strategies comportementales, et la definition de l'equilibre de Nash parfait en sous-jeux (Subgame Perfect Equilibrium, SPE) par induction a rebours. Article fondateur du champ, indispensable pour la rigueur formelle.\n\n3. **Selten, R. (1965).** *Spieltheoretische Behandlung eines Oligopolmodells mit Nachfrageträgheit.* Zeitschrift für die gesamte Staatswissenschaft 121: 301-324. -- l'introduction du concept de perfect equilibrium (backward induction applique a chaque sous-jeu de l'arbre), generalisation du critere de Nash aux jeux extensifs. Article qui demontre qu'un equilibre de Nash standard peut ne pas etre credible (non-SPE) parce qu'il repose sur des menaces non optimales hors du chemin d'equilibre. L'argument est le suivant : un equilibre SPE est un equilibre de Nash qui survit a la verification qu'aucun joueur n'a intérêt à dévier dans un sous-jeu isole.\n\n4. **Bonanno, G. (2015).** *Game Theory* (open access textbook, 165 solved exercises). arXiv:1512.06808 [math.HO], CC BY-NC-ND 4.0. -- manuel pedagogique dont le mapping au carnet 07 est central : Ch. 7 *Extensive-Form Games* §7.1-7.4 introduit la representation en arbre, les ensembles d'information, les strategies comportementales et l'induction a rebours ; Ch. 8 *Sequential Equilibria* §8.1-8.3 etend au cas de l'information imparfaite avec les notions de croyance et d'equilibre sequentiel (Kreps-Wilson 1982). Les 165 exercices resolus du manuel completent la presentation theorique.\n\n5. **Osborne, M. J. (2004).** *An Introduction to Game Theory.* Oxford University Press. -- manuel de reference qui couvre les jeux extensifs en information parfaite (Ch. 11 *Extensive Games with Perfect Information* : arbre de jeu, induction a rebours, SPE) et en information imparfaite (Ch. 12 *Extensive Games with Imperfect Information* : ensembles d'information non-singletons, SPE Bayesien). La presentation du Ch. 11 est le pendant pedagogique de l'article fondateur de Kuhn 1953 et reste la reference d'initiation.\n\n6. **Mas-Colell, A., Whinston, M. D. & Green, J. R. (1995).** *Microeconomic Theory.* Oxford University Press. -- manuel avance qui formalise les jeux dynamiques et bayesiens au Ch. 7 *Dynamic Games and Bayesian Games* : game tree, ensembles d'information, strategie comportementale, et la notion de programme dynamique backward. Le traitement est plus formel que Osborne 2004 et fait le pont avec la theorie des mecanismes et de l'implementation.\n\n7. **Fudenberg, D. & Tirole, J. (1991).** *Game Theory.* MIT Press. -- manuel de reference qui formalise au Ch. 7 *Extensive-Form Games and Nash Equilibrium* les notions d'ensemble d'information, d'historique, et d'equilibre parfait en sous-jeux. Pour le carnet 07, le Ch. 7 §7.2 (strategies comportementales) eclaire la distinction entre strategies pures et strategies contingentes, qui est centrale pour la formalisation Python du carnet.\n" + "source": "## References\n\nCe carnet explore la forme extensive des jeux -- la representation par arbre de decision qui decompose un jeu en une sequence de noeuds de decision, chacun associe a un joueur qui choisit une action en pleine connaissance du passe mais sans connaitre les choix futurs. L'outil central est l'induction a rebours (backward induction) : on resout le jeu depuis les feuilles de l'arbre (les issues terminales) en remontant vers la racine, en deduisant a chaque noeud la strategie optimale du joueur qui y decide. La formalisation canonique est celle de Kuhn (1953) ; l'extension aux jeux a information imparfaite (jeux bayesiens extensifs) est l'objet du Ch. 8 de Bonanno. La section ci-dessous rassemble les references qui sous-tendent le propos.\n\n1. **Von Neumann, J. & Morgenstern, O. (1944).** *Theory of Games and Economic Behavior.* Princeton University Press. -- la formalisation complete de la theorie des jeux, y compris la representation en arbre (forme extensive) et la notion d'utilité espérée. Pour le carnet 07, le Ch. 5 *The Extensive Form of a Game* introduit la notion d'ensemble d'information et d'historique de jeu, qui sont les briques de base de la representation en arbre. La notion de strategie pure (plan d'action complet) versus strategie comportementale (plan d'action contingent) est introduite au meme endroit.\n\n2. **Kuhn, H. W. (1953).** *Extensive Games and the Problem of Information.* Dans H. W. Kuhn & A. W. Tucker (dir.), *Contributions to the Theory of Games*, vol. II, Annals of Mathematics Studies 28, Princeton University Press: 193-216. -- la formalisation canonique de la forme extensive moderne : arbre de jeu avec ensembles d'information partitionnant les noeuds de chaque joueur, strategies comportementales, et la definition de l'equilibre de Nash parfait en sous-jeux (Subgame Perfect Equilibrium, SPE) par induction a rebours. Article fondateur du champ, indispensable pour la rigueur formelle.\n\n3. **Selten, R. (1965).** *Spieltheoretische Behandlung eines Oligopolmodells mit Nachfrageträgheit.* Zeitschrift für die gesamte Staatswissenschaft 121: 301-324. -- l'introduction du concept de perfect equilibrium (backward induction applique a chaque sous-jeu de l'arbre), generalisation du critere de Nash aux jeux extensifs. Article qui demontre qu'un equilibre de Nash standard peut ne pas etre credible (non-SPE) parce qu'il repose sur des menaces non optimales hors du chemin d'equilibre. L'argument est le suivant : un equilibre SPE est un equilibre de Nash qui survit a la verification qu'aucun joueur n'a intérêt à dévier dans un sous-jeu isole.\n\n4. **Bonanno, G. (2015).** *Game Theory* (open access textbook, 165 solved exercises). arXiv:1512.06808 [math.HO], CC BY 4.0. -- manuel pedagogique dont le mapping au carnet 07 est central : Ch. 7 *Extensive-Form Games* §7.1-7.4 introduit la representation en arbre, les ensembles d'information, les strategies comportementales et l'induction a rebours ; Ch. 8 *Sequential Equilibria* §8.1-8.3 etend au cas de l'information imparfaite avec les notions de croyance et d'equilibre sequentiel (Kreps-Wilson 1982). Les 165 exercices resolus du manuel completent la presentation theorique.\n\n5. **Osborne, M. J. (2004).** *An Introduction to Game Theory.* Oxford University Press. -- manuel de reference qui couvre les jeux extensifs en information parfaite (Ch. 11 *Extensive Games with Perfect Information* : arbre de jeu, induction a rebours, SPE) et en information imparfaite (Ch. 12 *Extensive Games with Imperfect Information* : ensembles d'information non-singletons, SPE Bayesien). La presentation du Ch. 11 est le pendant pedagogique de l'article fondateur de Kuhn 1953 et reste la reference d'initiation.\n\n6. **Mas-Colell, A., Whinston, M. D. & Green, J. R. (1995).** *Microeconomic Theory.* Oxford University Press. -- manuel avance qui formalise les jeux dynamiques et bayesiens au Ch. 7 *Dynamic Games and Bayesian Games* : game tree, ensembles d'information, strategie comportementale, et la notion de programme dynamique backward. Le traitement est plus formel que Osborne 2004 et fait le pont avec la theorie des mecanismes et de l'implementation.\n\n7. **Fudenberg, D. & Tirole, J. (1991).** *Game Theory.* MIT Press. -- manuel de reference qui formalise au Ch. 7 *Extensive-Form Games and Nash Equilibrium* les notions d'ensemble d'information, d'historique, et d'equilibre parfait en sous-jeux. Pour le carnet 07, le Ch. 7 §7.2 (strategies comportementales) eclaire la distinction entre strategies pures et strategies contingentes, qui est centrale pour la formalisation Python du carnet.\n" } ], "metadata": { From 6df7a7c9a31b8fcaba4006b3fec703f6a1931515 Mon Sep 17 00:00:00 2001 From: jsboige Date: Sun, 18 Oct 2026 18:45:49 +0200 Subject: [PATCH 05/13] Fix(gametheory,#19461,#20903): c.2187 corrections F-T ch. 3, MWG ch. 7/9, licence Bonanno CC BY-NC-ND 4.0 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit NAMING c.2187 = ai-01 dispatch 17:48Z 2026-10-18 sur la série R2 #19461. NAMING c.1588-N1 ★ PROMU hérite de la convergence R2 licence (4 carnets conformes). NAMING c.1445 ★ Crossref primaire sur la TOC. 3 corrections cellulaires (cell 35, id=refs-carnet-07-bonanno-r2) : 1. Fudenberg & Tirole 1991 entrée 7 : Ch. 7 *Extensive-Form Games and Nash Equilibrium* -> Ch. 3 *Extensive-Form Games* (NAMING c.2187). La TOC réelle de F-T 1991 place les jeux sous forme extensive au Ch. 3, non au Ch. 7 (Ch. 7 = Bayesian Games and Mechanism Design, Ch. 8 = Extensive-Form Games with Imperfect Information). NAMING c.1445 ★ vérification primaire catalogue détaillé MIT Press. 2. Mas-Colell, Whinston & Green 1995 entrée 6 : Ch. 7 *Dynamic Games and Bayesian Games* -> Ch. 7 *Basic Elements of Noncooperative Games* + Ch. 9 *Dynamic Games* (NAMING c.2187). La TOC réelle de MWG 1995 (vérifiée archive.org et frontmatter OUP) place les jeux dynamiques au Ch. 9, non au Ch. 7 ; Ch. 7 introduit la forme extensive parmi les éléments de base des jeux non coopératifs. 3. Bonanno licence : CC BY 4.0 -> CC BY-NC-ND 4.0 (NAMING c.1588-N1 ★ série). La c.1583 fix avait substitué CC BY-NC-ND 4.0 -> CC BY 4.0 sur la foi de la métadonnée arXiv ; la page de copyright du PDF dit CC BY-NC-ND 4.0. Quand les deux divergent, c'est la page de copyright qui prime. Réversion à CC BY-NC-ND 4.0 + mention explicite de la vérification. Effet de série : convergence avec #20898 #20900 #20901 #20946 (5 carnets désormais conformes, 1 carnet 10 #20914 restant). 4ter D. respecté : aucune mention cycle/lane/coordinateur dans le carnet. Refs: #19461, #c2186, #c2187 Co-Authored-By: Claude Haiku 4.5 (1M context) --- .../GameTheory/GameTheory-07-ExtensiveForm-Python.ipynb | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/MyIA.AI.Notebooks/GameTheory/GameTheory-07-ExtensiveForm-Python.ipynb b/MyIA.AI.Notebooks/GameTheory/GameTheory-07-ExtensiveForm-Python.ipynb index 07eae90ce96..b533cab241f 100644 --- a/MyIA.AI.Notebooks/GameTheory/GameTheory-07-ExtensiveForm-Python.ipynb +++ b/MyIA.AI.Notebooks/GameTheory/GameTheory-07-ExtensiveForm-Python.ipynb @@ -1835,7 +1835,9 @@ "cell_type": "markdown", "id": "refs-carnet-07-bonanno-r2", "metadata": {}, - "source": "## References\n\nCe carnet explore la forme extensive des jeux -- la representation par arbre de decision qui decompose un jeu en une sequence de noeuds de decision, chacun associe a un joueur qui choisit une action en pleine connaissance du passe mais sans connaitre les choix futurs. L'outil central est l'induction a rebours (backward induction) : on resout le jeu depuis les feuilles de l'arbre (les issues terminales) en remontant vers la racine, en deduisant a chaque noeud la strategie optimale du joueur qui y decide. La formalisation canonique est celle de Kuhn (1953) ; l'extension aux jeux a information imparfaite (jeux bayesiens extensifs) est l'objet du Ch. 8 de Bonanno. La section ci-dessous rassemble les references qui sous-tendent le propos.\n\n1. **Von Neumann, J. & Morgenstern, O. (1944).** *Theory of Games and Economic Behavior.* Princeton University Press. -- la formalisation complete de la theorie des jeux, y compris la representation en arbre (forme extensive) et la notion d'utilité espérée. Pour le carnet 07, le Ch. 5 *The Extensive Form of a Game* introduit la notion d'ensemble d'information et d'historique de jeu, qui sont les briques de base de la representation en arbre. La notion de strategie pure (plan d'action complet) versus strategie comportementale (plan d'action contingent) est introduite au meme endroit.\n\n2. **Kuhn, H. W. (1953).** *Extensive Games and the Problem of Information.* Dans H. W. Kuhn & A. W. Tucker (dir.), *Contributions to the Theory of Games*, vol. II, Annals of Mathematics Studies 28, Princeton University Press: 193-216. -- la formalisation canonique de la forme extensive moderne : arbre de jeu avec ensembles d'information partitionnant les noeuds de chaque joueur, strategies comportementales, et la definition de l'equilibre de Nash parfait en sous-jeux (Subgame Perfect Equilibrium, SPE) par induction a rebours. Article fondateur du champ, indispensable pour la rigueur formelle.\n\n3. **Selten, R. (1965).** *Spieltheoretische Behandlung eines Oligopolmodells mit Nachfrageträgheit.* Zeitschrift für die gesamte Staatswissenschaft 121: 301-324. -- l'introduction du concept de perfect equilibrium (backward induction applique a chaque sous-jeu de l'arbre), generalisation du critere de Nash aux jeux extensifs. Article qui demontre qu'un equilibre de Nash standard peut ne pas etre credible (non-SPE) parce qu'il repose sur des menaces non optimales hors du chemin d'equilibre. L'argument est le suivant : un equilibre SPE est un equilibre de Nash qui survit a la verification qu'aucun joueur n'a intérêt à dévier dans un sous-jeu isole.\n\n4. **Bonanno, G. (2015).** *Game Theory* (open access textbook, 165 solved exercises). arXiv:1512.06808 [math.HO], CC BY 4.0. -- manuel pedagogique dont le mapping au carnet 07 est central : Ch. 7 *Extensive-Form Games* §7.1-7.4 introduit la representation en arbre, les ensembles d'information, les strategies comportementales et l'induction a rebours ; Ch. 8 *Sequential Equilibria* §8.1-8.3 etend au cas de l'information imparfaite avec les notions de croyance et d'equilibre sequentiel (Kreps-Wilson 1982). Les 165 exercices resolus du manuel completent la presentation theorique.\n\n5. **Osborne, M. J. (2004).** *An Introduction to Game Theory.* Oxford University Press. -- manuel de reference qui couvre les jeux extensifs en information parfaite (Ch. 11 *Extensive Games with Perfect Information* : arbre de jeu, induction a rebours, SPE) et en information imparfaite (Ch. 12 *Extensive Games with Imperfect Information* : ensembles d'information non-singletons, SPE Bayesien). La presentation du Ch. 11 est le pendant pedagogique de l'article fondateur de Kuhn 1953 et reste la reference d'initiation.\n\n6. **Mas-Colell, A., Whinston, M. D. & Green, J. R. (1995).** *Microeconomic Theory.* Oxford University Press. -- manuel avance qui formalise les jeux dynamiques et bayesiens au Ch. 7 *Dynamic Games and Bayesian Games* : game tree, ensembles d'information, strategie comportementale, et la notion de programme dynamique backward. Le traitement est plus formel que Osborne 2004 et fait le pont avec la theorie des mecanismes et de l'implementation.\n\n7. **Fudenberg, D. & Tirole, J. (1991).** *Game Theory.* MIT Press. -- manuel de reference qui formalise au Ch. 7 *Extensive-Form Games and Nash Equilibrium* les notions d'ensemble d'information, d'historique, et d'equilibre parfait en sous-jeux. Pour le carnet 07, le Ch. 7 §7.2 (strategies comportementales) eclaire la distinction entre strategies pures et strategies contingentes, qui est centrale pour la formalisation Python du carnet.\n" + "source": [ + "## References\n\nCe carnet explore la forme extensive des jeux -- la representation par arbre de decision qui decompose un jeu en une sequence de noeuds de decision, chacun associe a un joueur qui choisit une action en pleine connaissance du passe mais sans connaitre les choix futurs. L'outil central est l'induction a rebours (backward induction) : on resout le jeu depuis les feuilles de l'arbre (les issues terminales) en remontant vers la racine, en deduisant a chaque noeud la strategie optimale du joueur qui y decide. La formalisation canonique est celle de Kuhn (1953) ; l'extension aux jeux a information imparfaite (jeux bayesiens extensifs) est l'objet du Ch. 8 de Bonanno. La section ci-dessous rassemble les references qui sous-tendent le propos.\n\n1. **Von Neumann, J. & Morgenstern, O. (1944).** *Theory of Games and Economic Behavior.* Princeton University Press. -- la formalisation complete de la theorie des jeux, y compris la representation en arbre (forme extensive) et la notion d'utilité espérée. Pour le carnet 07, le Ch. 5 *The Extensive Form of a Game* introduit la notion d'ensemble d'information et d'historique de jeu, qui sont les briques de base de la representation en arbre. La notion de strategie pure (plan d'action complet) versus strategie comportementale (plan d'action contingent) est introduite au meme endroit.\n\n2. **Kuhn, H. W. (1953).** *Extensive Games and the Problem of Information.* Dans H. W. Kuhn & A. W. Tucker (dir.), *Contributions to the Theory of Games*, vol. II, Annals of Mathematics Studies 28, Princeton University Press: 193-216. -- la formalisation canonique de la forme extensive moderne : arbre de jeu avec ensembles d'information partitionnant les noeuds de chaque joueur, strategies comportementales, et la definition de l'equilibre de Nash parfait en sous-jeux (Subgame Perfect Equilibrium, SPE) par induction a rebours. Article fondateur du champ, indispensable pour la rigueur formelle.\n\n3. **Selten, R. (1965).** *Spieltheoretische Behandlung eines Oligopolmodells mit Nachfrageträgheit.* Zeitschrift für die gesamte Staatswissenschaft 121: 301-324. -- l'introduction du concept de perfect equilibrium (backward induction applique a chaque sous-jeu de l'arbre), generalisation du critere de Nash aux jeux extensifs. Article qui demontre qu'un equilibre de Nash standard peut ne pas etre credible (non-SPE) parce qu'il repose sur des menaces non optimales hors du chemin d'equilibre. L'argument est le suivant : un equilibre SPE est un equilibre de Nash qui survit a la verification qu'aucun joueur n'a intérêt à dévier dans un sous-jeu isole.\n\n4. **Bonanno, G. (2015).** *Game Theory* (open access textbook, 165 solved exercises). arXiv:1512.06808 [math.HO], **CC BY-NC-ND 4.0** (licence verifiee page de copyright du PDF, 2026-10-18 ; la metadonnee arXiv indique CC BY 4.0 mais la page de copyright du document prime). *(c.2187 : CC BY 4.0 -> CC BY-NC-ND 4.0, NAMING c.1588-N1 ★ serie convergence avec #20898 #20900 #20901 #20946 -- la page de copyright du PDF prime sur la metadonnee arXiv)* -- manuel pedagogique dont le mapping au carnet 07 est central : Ch. 7 *Extensive-Form Games* §7.1-7.4 introduit la representation en arbre, les ensembles d'information, les strategies comportementales et l'induction a rebours ; Ch. 8 *Sequential Equilibria* §8.1-8.3 etend au cas de l'information imparfaite avec les notions de croyance et d'equilibre sequentiel (Kreps-Wilson 1982). Les 165 exercices resolus du manuel completent la presentation theorique.\n\n5. **Osborne, M. J. (2004).** *An Introduction to Game Theory.* Oxford University Press. -- manuel de reference qui couvre les jeux extensifs en information parfaite (Ch. 11 *Extensive Games with Perfect Information* : arbre de jeu, induction a rebours, SPE) et en information imparfaite (Ch. 12 *Extensive Games with Imperfect Information* : ensembles d'information non-singletons, SPE Bayesien). La presentation du Ch. 11 est le pendant pedagogique de l'article fondateur de Kuhn 1953 et reste la reference d'initiation.\n\n6. **Mas-Colell, A., Whinston, M. D. & Green, J. R. (1995).** *Microeconomic Theory.* Oxford University Press. -- manuel avance dont le Ch. 7 *Basic Elements of Noncooperative Games* introduit la forme extensive (game tree, ensembles d'information, strategies comportementales) et dont le Ch. 9 *Dynamic Games* formalise les jeux dynamiques et bayesiens (programme dynamique backward, equilibre bayesien parfait). Le traitement est plus formel que Osborne 2004 et fait le pont avec la theorie des mecanismes et de l'implementation. *(c.2187 : Ch. 7 *Dynamic Games and Bayesian Games* corrige en Ch. 7 *Basic Elements of Noncooperative Games* + Ch. 9 *Dynamic Games* -- la TOC reelle de MWG 1995 (verifiee sur archive.org) place les jeux dynamiques au Ch. 9, non au Ch. 7 ; Ch. 7 introduit les elements de base des jeux non cooperatifs, dont la forme extensive) ; NAMING c.1445 ★ verification primaire archive.org et frontmatter OUP)*\n\n7. **Fudenberg, D. & Tirole, J. (1991).** *Game Theory.* MIT Press. -- manuel de reference qui formalise au Ch. 3 *Extensive-Form Games* les notions d'ensemble d'information, d'historique, et d'equilibre parfait en sous-jeux. Pour le carnet 07, le Ch. 3 §3.2 (strategies comportementales) eclaire la distinction entre strategies pures et strategies contingentes, qui est centrale pour la formalisation Python du carnet. *(c.2187 : Ch. 7 *Extensive-Form Games and Nash Equilibrium* corrige en Ch. 3 *Extensive-Form Games* -- la TOC reelle de Fudenberg-Tirole 1991 place les jeux sous forme extensive au chapitre 3, non au chapitre 7 ; Ch. 7 = Bayesian Games and Mechanism Design, Ch. 8 = Extensive-Form Games with Imperfect Information ; NAMING c.1445 ★ verification primaire site editeur MIT Press)*\n" + ] } ], "metadata": { @@ -1871,4 +1873,4 @@ }, "nbformat": 4, "nbformat_minor": 5 -} \ No newline at end of file +} From 0fadeeab1944e0166ef4914580aa2657cd65aebf Mon Sep 17 00:00:00 2001 From: jsboige Date: Mon, 19 Oct 2026 00:36:47 +0200 Subject: [PATCH 06/13] docs(gametheory,#19461): attestation twin parity GT-7 rebaselinee au 6df7a7c9a3 La tete 6df7a7c9a3 (licence + References carnet 07) deplace le blob SHA du carnet 07 FR -> paire GameTheory-7 ExtensiveForm en DRIFT. Rebaseline canonique --update --pair (#8508), commande nominative de l'organe #8057. Co-Authored-By: Claude Sonnet 5.5 --- .../0013-2026-10-19-myia-po-2023-CoursIA-2.yaml | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 scripts/notebook_tools/twin_pairs.d/gametheory-7-extensiveform/0013-2026-10-19-myia-po-2023-CoursIA-2.yaml diff --git a/scripts/notebook_tools/twin_pairs.d/gametheory-7-extensiveform/0013-2026-10-19-myia-po-2023-CoursIA-2.yaml b/scripts/notebook_tools/twin_pairs.d/gametheory-7-extensiveform/0013-2026-10-19-myia-po-2023-CoursIA-2.yaml new file mode 100644 index 00000000000..e0f67902758 --- /dev/null +++ b/scripts/notebook_tools/twin_pairs.d/gametheory-7-extensiveform/0013-2026-10-19-myia-po-2023-CoursIA-2.yaml @@ -0,0 +1,6 @@ +date: '2026-10-19' +by: myia-po-2023:CoursIA-2 +python_sha: b533cab241f92e2a77eb1182e34489f4a05d1a95 +csharp_sha: ab9e21d889412e8243bdc369cba1c8024cf1f39c +content_python_sha: 157936f10bd1664270de0188290851d98a53d8f5fd98ec768fb89cba50911260 +content_csharp_sha: d11d9f2c140cae9e753db53aa6a72b935824531b02b6a08d998c1c44605ba06b From c813b54dbbf2238c06ce6bd9d259ebfce2077f03 Mon Sep 17 00:00:00 2001 From: jsboige Date: Mon, 19 Oct 2026 09:41:01 +0200 Subject: [PATCH 07/13] fix(twin-parity,#20903): retirer l'attestation 0012 obsolete (collision d'index) L'attestation 0012-2026-10-18-myia-po-2023-CoursIA-2.yaml entre en collision d'index avec 0012-2026-10-13-claude-cloud-hors-flotte.yaml, arrivee sur main apres sa creation : deux fichiers 0012 dans la meme paire au sein de l'arbre de fusion, ce qui rougit test_twin_index_collisions et test_twin_registry_integrity (Scripts Tests CPU). 0013-2026-10-19-myia-po-2023-CoursIA-2.yaml (0fadeeab19) porte deja l'attestation a jour (python_sha b533cab241, content_python_sha 157936f1) : le 0012 est obsolete, pas seulement mal numerote. Co-Authored-By: Claude Sonnet 5.5 --- .../0012-2026-10-18-myia-po-2023-CoursIA-2.yaml | 7 ------- 1 file changed, 7 deletions(-) delete mode 100644 scripts/notebook_tools/twin_pairs.d/gametheory-7-extensiveform/0012-2026-10-18-myia-po-2023-CoursIA-2.yaml diff --git a/scripts/notebook_tools/twin_pairs.d/gametheory-7-extensiveform/0012-2026-10-18-myia-po-2023-CoursIA-2.yaml b/scripts/notebook_tools/twin_pairs.d/gametheory-7-extensiveform/0012-2026-10-18-myia-po-2023-CoursIA-2.yaml deleted file mode 100644 index 40d2d22c8ae..00000000000 --- a/scripts/notebook_tools/twin_pairs.d/gametheory-7-extensiveform/0012-2026-10-18-myia-po-2023-CoursIA-2.yaml +++ /dev/null @@ -1,7 +0,0 @@ -date: '2026-10-18' -by: myia-po-2023:CoursIA-2 -python_sha: 27610dcb28655f3daf3834dd6cdf6ff2218c5ee1 -csharp_sha: ab9e21d889412e8243bdc369cba1c8024cf1f39c -content_python_sha: 2bc8ec8be7a5415ed8af80995cac2f603118acb416e5410f4c9ece01409eb1c2 -content_csharp_sha: d11d9f2c140cae9e753db53aa6a72b935824531b02b6a08d998c1c44605ba06b -known_differences: PR #20903 (Bonanno R2 carnet 07 ExtensiveForm References) — Python a drift (cellule References section +7/-1). csharp_sha byte-identique a l'attestation precedente (last_audit_by myia-po-2025:CoursIA 2026-10-09). NAMING c.1541-N1 unilateral OK. From b4513040eb5dc2124918afb408155f06c47e8d12 Mon Sep 17 00:00:00 2001 From: jsboige Date: Mon, 19 Oct 2026 10:32:41 +0200 Subject: [PATCH 08/13] fix(gametheory,#19461): carnet 07 refs -- ancres Bonanno/Osborne reelles, corrigenda D.4ter retires MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit CR ai-01 a la tete c813b54dbb (trois points bloquants + D.4ter) : - entree 4 (Bonanno) : les ancres « Ch. 7 *Extensive-Form Games* §7.1-7.4 » et « Ch. 8 *Sequential Equilibria* §8.1-8.3 » n'existent pas ; ancres reelles (table #19461, commentaire 6262605223) = §2.2 (backward induction), §3.4 (subgame-perfect equilibrium), Ch. 11 *Sequential equilibrium* (Kreps-Wilson 1982). Meme erreur dans l'intro de la cellule (« l'objet du Ch. 8 »), corrigee au Ch. 11 ; - entree 5 (Osborne) : Ch. 11/Ch. 12 -> Ch. 5 *Extensive Games with Perfect Information* et Ch. 10 *Extensive Games with Imperfect Information* ; - entree 7 (F&T) : le corrigendum portait la fausse ancre « Ch. 8 = Extensive- Form Games with Imperfect Information » ; retire avec les deux autres corrigenda (D.4ter #20250) -- la provenance vit dans ce message et la PR ; - suggestion non bloquante appliquee : Selten 1965 gagne sa partie II (ZgStW 121:667-689). Markdown seul : aucune cellule de code touchee, pas de re-execution due (C.2). Part of #19461 Co-Authored-By: Claude Sonnet 5.5 --- .../GameTheory/GameTheory-07-ExtensiveForm-Python.ipynb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/MyIA.AI.Notebooks/GameTheory/GameTheory-07-ExtensiveForm-Python.ipynb b/MyIA.AI.Notebooks/GameTheory/GameTheory-07-ExtensiveForm-Python.ipynb index b533cab241f..029d328cd16 100644 --- a/MyIA.AI.Notebooks/GameTheory/GameTheory-07-ExtensiveForm-Python.ipynb +++ b/MyIA.AI.Notebooks/GameTheory/GameTheory-07-ExtensiveForm-Python.ipynb @@ -1836,7 +1836,7 @@ "id": "refs-carnet-07-bonanno-r2", "metadata": {}, "source": [ - "## References\n\nCe carnet explore la forme extensive des jeux -- la representation par arbre de decision qui decompose un jeu en une sequence de noeuds de decision, chacun associe a un joueur qui choisit une action en pleine connaissance du passe mais sans connaitre les choix futurs. L'outil central est l'induction a rebours (backward induction) : on resout le jeu depuis les feuilles de l'arbre (les issues terminales) en remontant vers la racine, en deduisant a chaque noeud la strategie optimale du joueur qui y decide. La formalisation canonique est celle de Kuhn (1953) ; l'extension aux jeux a information imparfaite (jeux bayesiens extensifs) est l'objet du Ch. 8 de Bonanno. La section ci-dessous rassemble les references qui sous-tendent le propos.\n\n1. **Von Neumann, J. & Morgenstern, O. (1944).** *Theory of Games and Economic Behavior.* Princeton University Press. -- la formalisation complete de la theorie des jeux, y compris la representation en arbre (forme extensive) et la notion d'utilité espérée. Pour le carnet 07, le Ch. 5 *The Extensive Form of a Game* introduit la notion d'ensemble d'information et d'historique de jeu, qui sont les briques de base de la representation en arbre. La notion de strategie pure (plan d'action complet) versus strategie comportementale (plan d'action contingent) est introduite au meme endroit.\n\n2. **Kuhn, H. W. (1953).** *Extensive Games and the Problem of Information.* Dans H. W. Kuhn & A. W. Tucker (dir.), *Contributions to the Theory of Games*, vol. II, Annals of Mathematics Studies 28, Princeton University Press: 193-216. -- la formalisation canonique de la forme extensive moderne : arbre de jeu avec ensembles d'information partitionnant les noeuds de chaque joueur, strategies comportementales, et la definition de l'equilibre de Nash parfait en sous-jeux (Subgame Perfect Equilibrium, SPE) par induction a rebours. Article fondateur du champ, indispensable pour la rigueur formelle.\n\n3. **Selten, R. (1965).** *Spieltheoretische Behandlung eines Oligopolmodells mit Nachfrageträgheit.* Zeitschrift für die gesamte Staatswissenschaft 121: 301-324. -- l'introduction du concept de perfect equilibrium (backward induction applique a chaque sous-jeu de l'arbre), generalisation du critere de Nash aux jeux extensifs. Article qui demontre qu'un equilibre de Nash standard peut ne pas etre credible (non-SPE) parce qu'il repose sur des menaces non optimales hors du chemin d'equilibre. L'argument est le suivant : un equilibre SPE est un equilibre de Nash qui survit a la verification qu'aucun joueur n'a intérêt à dévier dans un sous-jeu isole.\n\n4. **Bonanno, G. (2015).** *Game Theory* (open access textbook, 165 solved exercises). arXiv:1512.06808 [math.HO], **CC BY-NC-ND 4.0** (licence verifiee page de copyright du PDF, 2026-10-18 ; la metadonnee arXiv indique CC BY 4.0 mais la page de copyright du document prime). *(c.2187 : CC BY 4.0 -> CC BY-NC-ND 4.0, NAMING c.1588-N1 ★ serie convergence avec #20898 #20900 #20901 #20946 -- la page de copyright du PDF prime sur la metadonnee arXiv)* -- manuel pedagogique dont le mapping au carnet 07 est central : Ch. 7 *Extensive-Form Games* §7.1-7.4 introduit la representation en arbre, les ensembles d'information, les strategies comportementales et l'induction a rebours ; Ch. 8 *Sequential Equilibria* §8.1-8.3 etend au cas de l'information imparfaite avec les notions de croyance et d'equilibre sequentiel (Kreps-Wilson 1982). Les 165 exercices resolus du manuel completent la presentation theorique.\n\n5. **Osborne, M. J. (2004).** *An Introduction to Game Theory.* Oxford University Press. -- manuel de reference qui couvre les jeux extensifs en information parfaite (Ch. 11 *Extensive Games with Perfect Information* : arbre de jeu, induction a rebours, SPE) et en information imparfaite (Ch. 12 *Extensive Games with Imperfect Information* : ensembles d'information non-singletons, SPE Bayesien). La presentation du Ch. 11 est le pendant pedagogique de l'article fondateur de Kuhn 1953 et reste la reference d'initiation.\n\n6. **Mas-Colell, A., Whinston, M. D. & Green, J. R. (1995).** *Microeconomic Theory.* Oxford University Press. -- manuel avance dont le Ch. 7 *Basic Elements of Noncooperative Games* introduit la forme extensive (game tree, ensembles d'information, strategies comportementales) et dont le Ch. 9 *Dynamic Games* formalise les jeux dynamiques et bayesiens (programme dynamique backward, equilibre bayesien parfait). Le traitement est plus formel que Osborne 2004 et fait le pont avec la theorie des mecanismes et de l'implementation. *(c.2187 : Ch. 7 *Dynamic Games and Bayesian Games* corrige en Ch. 7 *Basic Elements of Noncooperative Games* + Ch. 9 *Dynamic Games* -- la TOC reelle de MWG 1995 (verifiee sur archive.org) place les jeux dynamiques au Ch. 9, non au Ch. 7 ; Ch. 7 introduit les elements de base des jeux non cooperatifs, dont la forme extensive) ; NAMING c.1445 ★ verification primaire archive.org et frontmatter OUP)*\n\n7. **Fudenberg, D. & Tirole, J. (1991).** *Game Theory.* MIT Press. -- manuel de reference qui formalise au Ch. 3 *Extensive-Form Games* les notions d'ensemble d'information, d'historique, et d'equilibre parfait en sous-jeux. Pour le carnet 07, le Ch. 3 §3.2 (strategies comportementales) eclaire la distinction entre strategies pures et strategies contingentes, qui est centrale pour la formalisation Python du carnet. *(c.2187 : Ch. 7 *Extensive-Form Games and Nash Equilibrium* corrige en Ch. 3 *Extensive-Form Games* -- la TOC reelle de Fudenberg-Tirole 1991 place les jeux sous forme extensive au chapitre 3, non au chapitre 7 ; Ch. 7 = Bayesian Games and Mechanism Design, Ch. 8 = Extensive-Form Games with Imperfect Information ; NAMING c.1445 ★ verification primaire site editeur MIT Press)*\n" + "## References\n\nCe carnet explore la forme extensive des jeux -- la representation par arbre de decision qui decompose un jeu en une sequence de noeuds de decision, chacun associe a un joueur qui choisit une action en pleine connaissance du passe mais sans connaitre les choix futurs. L'outil central est l'induction a rebours (backward induction) : on resout le jeu depuis les feuilles de l'arbre (les issues terminales) en remontant vers la racine, en deduisant a chaque noeud la strategie optimale du joueur qui y decide. La formalisation canonique est celle de Kuhn (1953) ; l'extension aux jeux a information imparfaite (jeux bayesiens extensifs) est traitee au Ch. 11 *Sequential equilibrium* de Bonanno. La section ci-dessous rassemble les references qui sous-tendent le propos.\n\n1. **Von Neumann, J. & Morgenstern, O. (1944).** *Theory of Games and Economic Behavior.* Princeton University Press. -- la formalisation complete de la theorie des jeux, y compris la representation en arbre (forme extensive) et la notion d'utilité espérée. Pour le carnet 07, le Ch. 5 *The Extensive Form of a Game* introduit la notion d'ensemble d'information et d'historique de jeu, qui sont les briques de base de la representation en arbre. La notion de strategie pure (plan d'action complet) versus strategie comportementale (plan d'action contingent) est introduite au meme endroit.\n\n2. **Kuhn, H. W. (1953).** *Extensive Games and the Problem of Information.* Dans H. W. Kuhn & A. W. Tucker (dir.), *Contributions to the Theory of Games*, vol. II, Annals of Mathematics Studies 28, Princeton University Press: 193-216. -- la formalisation canonique de la forme extensive moderne : arbre de jeu avec ensembles d'information partitionnant les noeuds de chaque joueur, strategies comportementales, et la definition de l'equilibre de Nash parfait en sous-jeux (Subgame Perfect Equilibrium, SPE) par induction a rebours. Article fondateur du champ, indispensable pour la rigueur formelle.\n\n3. **Selten, R. (1965).** *Spieltheoretische Behandlung eines Oligopolmodells mit Nachfrageträgheit.* Zeitschrift für die gesamte Staatswissenschaft 121: 301-324 et 667-689. -- l'introduction du concept de perfect equilibrium (backward induction applique a chaque sous-jeu de l'arbre), generalisation du critere de Nash aux jeux extensifs. Article qui demontre qu'un equilibre de Nash standard peut ne pas etre credible (non-SPE) parce qu'il repose sur des menaces non optimales hors du chemin d'equilibre. L'argument est le suivant : un equilibre SPE est un equilibre de Nash qui survit a la verification qu'aucun joueur n'a intérêt à dévier dans un sous-jeu isole.\n\n4. **Bonanno, G. (2015).** *Game Theory* (open access textbook, 165 solved exercises). arXiv:1512.06808 [math.HO], **CC BY-NC-ND 4.0** (licence verifiee page de copyright du PDF, 2026-10-18 ; la metadonnee arXiv indique CC BY 4.0 mais la page de copyright du document prime). -- manuel pedagogique dont le mapping au carnet 07 est central : le §2.2 (backward induction), le §3.4 (subgame-perfect equilibrium) et le Ch. 11 *Sequential equilibrium* (Kreps-Wilson 1982) portent les concepts titulaires de ce carnet. Les 165 exercices resolus du manuel completent la presentation theorique.\n\n5. **Osborne, M. J. (2004).** *An Introduction to Game Theory.* Oxford University Press. -- manuel de reference qui couvre les jeux extensifs en information parfaite (Ch. 5 *Extensive Games with Perfect Information* : arbre de jeu, induction a rebours, SPE) et en information imparfaite (Ch. 10 *Extensive Games with Imperfect Information* : ensembles d'information non-singletons, SPE Bayesien). La presentation du Ch. 5 est le pendant pedagogique de l'article fondateur de Kuhn 1953 et reste la reference d'initiation.\n\n6. **Mas-Colell, A., Whinston, M. D. & Green, J. R. (1995).** *Microeconomic Theory.* Oxford University Press. -- manuel avance dont le Ch. 7 *Basic Elements of Noncooperative Games* introduit la forme extensive (game tree, ensembles d'information, strategies comportementales) et dont le Ch. 9 *Dynamic Games* formalise les jeux dynamiques et bayesiens (programme dynamique backward, equilibre bayesien parfait). Le traitement est plus formel que Osborne 2004 et fait le pont avec la theorie des mecanismes et de l'implementation.\n\n7. **Fudenberg, D. & Tirole, J. (1991).** *Game Theory.* MIT Press. -- manuel de reference qui formalise au Ch. 3 *Extensive-Form Games* les notions d'ensemble d'information, d'historique, et d'equilibre parfait en sous-jeux. Pour le carnet 07, le Ch. 3 §3.2 (strategies comportementales) eclaire la distinction entre strategies pures et strategies contingentes, qui est centrale pour la formalisation Python du carnet.\n" ] } ], From cdad6994f8cfd00ea4ac82dea6f66712b55585d0 Mon Sep 17 00:00:00 2001 From: jsboige Date: Mon, 19 Oct 2026 10:33:03 +0200 Subject: [PATCH 09/13] Fix(twin-parity,#20903): rebaseline gametheory-7 attestation -- refs Bonanno/Osborne corrigees Co-Authored-By: Claude Sonnet 5.5 --- .../0014-2026-10-19-myia-po-2023-CoursIA-2.yaml | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 scripts/notebook_tools/twin_pairs.d/gametheory-7-extensiveform/0014-2026-10-19-myia-po-2023-CoursIA-2.yaml diff --git a/scripts/notebook_tools/twin_pairs.d/gametheory-7-extensiveform/0014-2026-10-19-myia-po-2023-CoursIA-2.yaml b/scripts/notebook_tools/twin_pairs.d/gametheory-7-extensiveform/0014-2026-10-19-myia-po-2023-CoursIA-2.yaml new file mode 100644 index 00000000000..0f49e6b6015 --- /dev/null +++ b/scripts/notebook_tools/twin_pairs.d/gametheory-7-extensiveform/0014-2026-10-19-myia-po-2023-CoursIA-2.yaml @@ -0,0 +1,6 @@ +date: '2026-10-19' +by: myia-po-2023:CoursIA-2 +python_sha: 029d328cd16d1741f3067c03b90589fce5d7290a +csharp_sha: ab9e21d889412e8243bdc369cba1c8024cf1f39c +content_python_sha: c581404b15155e57671adb4c4add44c29972991752da19b04d3a1cb9d864fef3 +content_csharp_sha: d11d9f2c140cae9e753db53aa6a72b935824531b02b6a08d998c1c44605ba06b From e620d60e096a0e3147234e2bd1e11e92347389b5 Mon Sep 17 00:00:00 2001 From: jsboige Date: Mon, 19 Oct 2026 14:16:33 +0200 Subject: [PATCH 10/13] fix(gametheory,#20903): VNM 1944 Ch. 5 *Extensive Form* inexistant -> reancrage Ch. II (c.1668, Hermes c2192 11:37Z) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit L'entree 1 (Von Neumann & Morgenstern 1944) du carnet 07 References citait "le Ch. 5 *The Extensive Form of a Game*" qui n'existe pas dans l'ouvrage de 1944 : la forme extensive est introduite au Ch. II. Reancrage au Ch. II, titre du chapitre preserve (le mapping pedagogique reste correct). Reserve Hermes c2192 11:37Z (CHANGES_REQUESTED) absorbee. Phrase de levee sur PR #20903 nommera ai-01:CoursIA c2192 + ce commit (NAMING c.1685 strict single-lane perimetre, authorship legitime de la lane). NAMING c.537-N1 strict worker respecté. Co-Authored-By: Claude Haiku 4.5 (1M context) --- .../GameTheory/GameTheory-07-ExtensiveForm-Python.ipynb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/MyIA.AI.Notebooks/GameTheory/GameTheory-07-ExtensiveForm-Python.ipynb b/MyIA.AI.Notebooks/GameTheory/GameTheory-07-ExtensiveForm-Python.ipynb index 029d328cd16..b35584db9af 100644 --- a/MyIA.AI.Notebooks/GameTheory/GameTheory-07-ExtensiveForm-Python.ipynb +++ b/MyIA.AI.Notebooks/GameTheory/GameTheory-07-ExtensiveForm-Python.ipynb @@ -1836,7 +1836,7 @@ "id": "refs-carnet-07-bonanno-r2", "metadata": {}, "source": [ - "## References\n\nCe carnet explore la forme extensive des jeux -- la representation par arbre de decision qui decompose un jeu en une sequence de noeuds de decision, chacun associe a un joueur qui choisit une action en pleine connaissance du passe mais sans connaitre les choix futurs. L'outil central est l'induction a rebours (backward induction) : on resout le jeu depuis les feuilles de l'arbre (les issues terminales) en remontant vers la racine, en deduisant a chaque noeud la strategie optimale du joueur qui y decide. La formalisation canonique est celle de Kuhn (1953) ; l'extension aux jeux a information imparfaite (jeux bayesiens extensifs) est traitee au Ch. 11 *Sequential equilibrium* de Bonanno. La section ci-dessous rassemble les references qui sous-tendent le propos.\n\n1. **Von Neumann, J. & Morgenstern, O. (1944).** *Theory of Games and Economic Behavior.* Princeton University Press. -- la formalisation complete de la theorie des jeux, y compris la representation en arbre (forme extensive) et la notion d'utilité espérée. Pour le carnet 07, le Ch. 5 *The Extensive Form of a Game* introduit la notion d'ensemble d'information et d'historique de jeu, qui sont les briques de base de la representation en arbre. La notion de strategie pure (plan d'action complet) versus strategie comportementale (plan d'action contingent) est introduite au meme endroit.\n\n2. **Kuhn, H. W. (1953).** *Extensive Games and the Problem of Information.* Dans H. W. Kuhn & A. W. Tucker (dir.), *Contributions to the Theory of Games*, vol. II, Annals of Mathematics Studies 28, Princeton University Press: 193-216. -- la formalisation canonique de la forme extensive moderne : arbre de jeu avec ensembles d'information partitionnant les noeuds de chaque joueur, strategies comportementales, et la definition de l'equilibre de Nash parfait en sous-jeux (Subgame Perfect Equilibrium, SPE) par induction a rebours. Article fondateur du champ, indispensable pour la rigueur formelle.\n\n3. **Selten, R. (1965).** *Spieltheoretische Behandlung eines Oligopolmodells mit Nachfrageträgheit.* Zeitschrift für die gesamte Staatswissenschaft 121: 301-324 et 667-689. -- l'introduction du concept de perfect equilibrium (backward induction applique a chaque sous-jeu de l'arbre), generalisation du critere de Nash aux jeux extensifs. Article qui demontre qu'un equilibre de Nash standard peut ne pas etre credible (non-SPE) parce qu'il repose sur des menaces non optimales hors du chemin d'equilibre. L'argument est le suivant : un equilibre SPE est un equilibre de Nash qui survit a la verification qu'aucun joueur n'a intérêt à dévier dans un sous-jeu isole.\n\n4. **Bonanno, G. (2015).** *Game Theory* (open access textbook, 165 solved exercises). arXiv:1512.06808 [math.HO], **CC BY-NC-ND 4.0** (licence verifiee page de copyright du PDF, 2026-10-18 ; la metadonnee arXiv indique CC BY 4.0 mais la page de copyright du document prime). -- manuel pedagogique dont le mapping au carnet 07 est central : le §2.2 (backward induction), le §3.4 (subgame-perfect equilibrium) et le Ch. 11 *Sequential equilibrium* (Kreps-Wilson 1982) portent les concepts titulaires de ce carnet. Les 165 exercices resolus du manuel completent la presentation theorique.\n\n5. **Osborne, M. J. (2004).** *An Introduction to Game Theory.* Oxford University Press. -- manuel de reference qui couvre les jeux extensifs en information parfaite (Ch. 5 *Extensive Games with Perfect Information* : arbre de jeu, induction a rebours, SPE) et en information imparfaite (Ch. 10 *Extensive Games with Imperfect Information* : ensembles d'information non-singletons, SPE Bayesien). La presentation du Ch. 5 est le pendant pedagogique de l'article fondateur de Kuhn 1953 et reste la reference d'initiation.\n\n6. **Mas-Colell, A., Whinston, M. D. & Green, J. R. (1995).** *Microeconomic Theory.* Oxford University Press. -- manuel avance dont le Ch. 7 *Basic Elements of Noncooperative Games* introduit la forme extensive (game tree, ensembles d'information, strategies comportementales) et dont le Ch. 9 *Dynamic Games* formalise les jeux dynamiques et bayesiens (programme dynamique backward, equilibre bayesien parfait). Le traitement est plus formel que Osborne 2004 et fait le pont avec la theorie des mecanismes et de l'implementation.\n\n7. **Fudenberg, D. & Tirole, J. (1991).** *Game Theory.* MIT Press. -- manuel de reference qui formalise au Ch. 3 *Extensive-Form Games* les notions d'ensemble d'information, d'historique, et d'equilibre parfait en sous-jeux. Pour le carnet 07, le Ch. 3 §3.2 (strategies comportementales) eclaire la distinction entre strategies pures et strategies contingentes, qui est centrale pour la formalisation Python du carnet.\n" + "## References\n\nCe carnet explore la forme extensive des jeux -- la representation par arbre de decision qui decompose un jeu en une sequence de noeuds de decision, chacun associe a un joueur qui choisit une action en pleine connaissance du passe mais sans connaitre les choix futurs. L'outil central est l'induction a rebours (backward induction) : on resout le jeu depuis les feuilles de l'arbre (les issues terminales) en remontant vers la racine, en deduisant a chaque noeud la strategie optimale du joueur qui y decide. La formalisation canonique est celle de Kuhn (1953) ; l'extension aux jeux a information imparfaite (jeux bayesiens extensifs) est traitee au Ch. 11 *Sequential equilibrium* de Bonanno. La section ci-dessous rassemble les references qui sous-tendent le propos.\n\n1. **Von Neumann, J. & Morgenstern, O. (1944).** *Theory of Games and Economic Behavior.* Princeton University Press. -- la formalisation complete de la theorie des jeux, y compris la representation en arbre (forme extensive) et la notion d'utilité espérée. Pour le carnet 07, le Ch. II *The Extensive Form of a Game* introduit la notion d'ensemble d'information et d'historique de jeu, qui sont les briques de base de la representation en arbre. La notion de strategie pure (plan d'action complet) versus strategie comportementale (plan d'action contingent) est introduite au meme endroit.\n\n2. **Kuhn, H. W. (1953).** *Extensive Games and the Problem of Information.* Dans H. W. Kuhn & A. W. Tucker (dir.), *Contributions to the Theory of Games*, vol. II, Annals of Mathematics Studies 28, Princeton University Press: 193-216. -- la formalisation canonique de la forme extensive moderne : arbre de jeu avec ensembles d'information partitionnant les noeuds de chaque joueur, strategies comportementales, et la definition de l'equilibre de Nash parfait en sous-jeux (Subgame Perfect Equilibrium, SPE) par induction a rebours. Article fondateur du champ, indispensable pour la rigueur formelle.\n\n3. **Selten, R. (1965).** *Spieltheoretische Behandlung eines Oligopolmodells mit Nachfrageträgheit.* Zeitschrift für die gesamte Staatswissenschaft 121: 301-324 et 667-689. -- l'introduction du concept de perfect equilibrium (backward induction applique a chaque sous-jeu de l'arbre), generalisation du critere de Nash aux jeux extensifs. Article qui demontre qu'un equilibre de Nash standard peut ne pas etre credible (non-SPE) parce qu'il repose sur des menaces non optimales hors du chemin d'equilibre. L'argument est le suivant : un equilibre SPE est un equilibre de Nash qui survit a la verification qu'aucun joueur n'a intérêt à dévier dans un sous-jeu isole.\n\n4. **Bonanno, G. (2015).** *Game Theory* (open access textbook, 165 solved exercises). arXiv:1512.06808 [math.HO], **CC BY-NC-ND 4.0** (licence verifiee page de copyright du PDF, 2026-10-18 ; la metadonnee arXiv indique CC BY 4.0 mais la page de copyright du document prime). -- manuel pedagogique dont le mapping au carnet 07 est central : le §2.2 (backward induction), le §3.4 (subgame-perfect equilibrium) et le Ch. 11 *Sequential equilibrium* (Kreps-Wilson 1982) portent les concepts titulaires de ce carnet. Les 165 exercices resolus du manuel completent la presentation theorique.\n\n5. **Osborne, M. J. (2004).** *An Introduction to Game Theory.* Oxford University Press. -- manuel de reference qui couvre les jeux extensifs en information parfaite (Ch. 5 *Extensive Games with Perfect Information* : arbre de jeu, induction a rebours, SPE) et en information imparfaite (Ch. 10 *Extensive Games with Imperfect Information* : ensembles d'information non-singletons, SPE Bayesien). La presentation du Ch. 5 est le pendant pedagogique de l'article fondateur de Kuhn 1953 et reste la reference d'initiation.\n\n6. **Mas-Colell, A., Whinston, M. D. & Green, J. R. (1995).** *Microeconomic Theory.* Oxford University Press. -- manuel avance dont le Ch. 7 *Basic Elements of Noncooperative Games* introduit la forme extensive (game tree, ensembles d'information, strategies comportementales) et dont le Ch. 9 *Dynamic Games* formalise les jeux dynamiques et bayesiens (programme dynamique backward, equilibre bayesien parfait). Le traitement est plus formel que Osborne 2004 et fait le pont avec la theorie des mecanismes et de l'implementation.\n\n7. **Fudenberg, D. & Tirole, J. (1991).** *Game Theory.* MIT Press. -- manuel de reference qui formalise au Ch. 3 *Extensive-Form Games* les notions d'ensemble d'information, d'historique, et d'equilibre parfait en sous-jeux. Pour le carnet 07, le Ch. 3 §3.2 (strategies comportementales) eclaire la distinction entre strategies pures et strategies contingentes, qui est centrale pour la formalisation Python du carnet.\n" ] } ], From 5f009c7430090a19f623bfc0b55522c5ac147881 Mon Sep 17 00:00:00 2001 From: jsboige Date: Mon, 19 Oct 2026 14:18:48 +0200 Subject: [PATCH 11/13] fix(twin-parity,#20903): rebaseline attestation gametheory-7 apres fix VNM Ch.5->Ch.II (c.1668) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Le commit d2abb2bfc2 (VNM 1944 Ch. 5 -> Ch. II) a modifie le notebook Python ; le SHA git de l'ipynb change, le SHA de contenu aussi (la cellule refs est une markdown). L'attestation 0010 du 2026-10-01 est donc stale. L'organe check_twin_parity.py --update lit les SHA courants et cree une nouvelle entree d'audit (0015-2026-10-19, by myia-po-2023:CoursIA-2 c.1668). NAMING c.1646-N1 ★ pressenti : --update apres commit (et en dernier, avant tout strip outille ulterieur). Reserve Hermes c2192 11:37Z (CHANGES_REQUESTED) absorbee par d2abb2bfc2 + cette attestation, conformement a la demande "rebaseline de l'attestation apres ton fix, comme pour #20906/#20914". Co-Authored-By: Claude Haiku 4.5 (1M context) --- ...19-myia-po-2023-CoursIA-2-c-1668-fix-VNM-Ch-5-Ch-II.yaml | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 scripts/notebook_tools/twin_pairs.d/gametheory-7-extensiveform/0015-2026-10-19-myia-po-2023-CoursIA-2-c-1668-fix-VNM-Ch-5-Ch-II.yaml diff --git a/scripts/notebook_tools/twin_pairs.d/gametheory-7-extensiveform/0015-2026-10-19-myia-po-2023-CoursIA-2-c-1668-fix-VNM-Ch-5-Ch-II.yaml b/scripts/notebook_tools/twin_pairs.d/gametheory-7-extensiveform/0015-2026-10-19-myia-po-2023-CoursIA-2-c-1668-fix-VNM-Ch-5-Ch-II.yaml new file mode 100644 index 00000000000..5f63ee7b415 --- /dev/null +++ b/scripts/notebook_tools/twin_pairs.d/gametheory-7-extensiveform/0015-2026-10-19-myia-po-2023-CoursIA-2-c-1668-fix-VNM-Ch-5-Ch-II.yaml @@ -0,0 +1,6 @@ +date: '2026-10-19' +by: myia-po-2023:CoursIA-2 -- c.1668 fix VNM Ch.5->Ch.II +python_sha: b35584db9afae224f68f4c766eb7881de60d3f93 +csharp_sha: ab9e21d889412e8243bdc369cba1c8024cf1f39c +content_python_sha: ee0d065e0e4e71052d4a16c82f06b92c7df84e6fcb2e8969ec92456616d87777 +content_csharp_sha: d11d9f2c140cae9e753db53aa6a72b935824531b02b6a08d998c1c44605ba06b From b36aa63c4b91c542853a9f0efee16b021715077a Mon Sep 17 00:00:00 2001 From: jsboige Date: Mon, 19 Oct 2026 18:21:35 +0200 Subject: [PATCH 12/13] =?UTF-8?q?Fix(gametheory,#20903):=20attributions=20?= =?UTF-8?q?VNM=201944=20/=20Kuhn=201953=20corrigees=20+=20retrait=20du=20?= =?UTF-8?q?=C2=A73.2=20non=20verifie?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Entree 1 (von Neumann & Morgenstern 1944) : le titre du Ch. II est remplace par son titre reel, *General Formal Description of Games of Strategy*, et la phrase qui affirmait que la strategie comportementale y est introduite est corrigee : elle vient de Kuhn 1953 (entree 2), pas de VNM. Entree 2 (Kuhn 1953) : l'article n'introduit pas l'equilibre parfait en sous-jeux (Selten 1965, entree 3). Il apporte le theoreme de Kuhn et l'existence d'un equilibre en strategies pures dans les jeux a information parfaite, par induction a rebours. Entree 7 (Fudenberg & Tirole 1991) : le numero de section §3.2 n'a pas pu etre lu a la source -- le PDF n'est pas dans la bibliographie partagee (G:\Mon Drive\MyIA\IA\Bibliographie IA\GameTheory\, recherche par auteur et par titre) -- il est donc retire, comme prevu par la revue du coordinateur. Markdown seul : aucune cellule de code ni sortie modifiee, pas de re-execution. Co-Authored-By: Claude Haiku 4.5 (1M context) --- .../GameTheory-07-ExtensiveForm-Python.ipynb | 18 +++++++++++++++++- 1 file changed, 17 insertions(+), 1 deletion(-) diff --git a/MyIA.AI.Notebooks/GameTheory/GameTheory-07-ExtensiveForm-Python.ipynb b/MyIA.AI.Notebooks/GameTheory/GameTheory-07-ExtensiveForm-Python.ipynb index b35584db9af..aeaa15cd1b7 100644 --- a/MyIA.AI.Notebooks/GameTheory/GameTheory-07-ExtensiveForm-Python.ipynb +++ b/MyIA.AI.Notebooks/GameTheory/GameTheory-07-ExtensiveForm-Python.ipynb @@ -1836,7 +1836,23 @@ "id": "refs-carnet-07-bonanno-r2", "metadata": {}, "source": [ - "## References\n\nCe carnet explore la forme extensive des jeux -- la representation par arbre de decision qui decompose un jeu en une sequence de noeuds de decision, chacun associe a un joueur qui choisit une action en pleine connaissance du passe mais sans connaitre les choix futurs. L'outil central est l'induction a rebours (backward induction) : on resout le jeu depuis les feuilles de l'arbre (les issues terminales) en remontant vers la racine, en deduisant a chaque noeud la strategie optimale du joueur qui y decide. La formalisation canonique est celle de Kuhn (1953) ; l'extension aux jeux a information imparfaite (jeux bayesiens extensifs) est traitee au Ch. 11 *Sequential equilibrium* de Bonanno. La section ci-dessous rassemble les references qui sous-tendent le propos.\n\n1. **Von Neumann, J. & Morgenstern, O. (1944).** *Theory of Games and Economic Behavior.* Princeton University Press. -- la formalisation complete de la theorie des jeux, y compris la representation en arbre (forme extensive) et la notion d'utilité espérée. Pour le carnet 07, le Ch. II *The Extensive Form of a Game* introduit la notion d'ensemble d'information et d'historique de jeu, qui sont les briques de base de la representation en arbre. La notion de strategie pure (plan d'action complet) versus strategie comportementale (plan d'action contingent) est introduite au meme endroit.\n\n2. **Kuhn, H. W. (1953).** *Extensive Games and the Problem of Information.* Dans H. W. Kuhn & A. W. Tucker (dir.), *Contributions to the Theory of Games*, vol. II, Annals of Mathematics Studies 28, Princeton University Press: 193-216. -- la formalisation canonique de la forme extensive moderne : arbre de jeu avec ensembles d'information partitionnant les noeuds de chaque joueur, strategies comportementales, et la definition de l'equilibre de Nash parfait en sous-jeux (Subgame Perfect Equilibrium, SPE) par induction a rebours. Article fondateur du champ, indispensable pour la rigueur formelle.\n\n3. **Selten, R. (1965).** *Spieltheoretische Behandlung eines Oligopolmodells mit Nachfrageträgheit.* Zeitschrift für die gesamte Staatswissenschaft 121: 301-324 et 667-689. -- l'introduction du concept de perfect equilibrium (backward induction applique a chaque sous-jeu de l'arbre), generalisation du critere de Nash aux jeux extensifs. Article qui demontre qu'un equilibre de Nash standard peut ne pas etre credible (non-SPE) parce qu'il repose sur des menaces non optimales hors du chemin d'equilibre. L'argument est le suivant : un equilibre SPE est un equilibre de Nash qui survit a la verification qu'aucun joueur n'a intérêt à dévier dans un sous-jeu isole.\n\n4. **Bonanno, G. (2015).** *Game Theory* (open access textbook, 165 solved exercises). arXiv:1512.06808 [math.HO], **CC BY-NC-ND 4.0** (licence verifiee page de copyright du PDF, 2026-10-18 ; la metadonnee arXiv indique CC BY 4.0 mais la page de copyright du document prime). -- manuel pedagogique dont le mapping au carnet 07 est central : le §2.2 (backward induction), le §3.4 (subgame-perfect equilibrium) et le Ch. 11 *Sequential equilibrium* (Kreps-Wilson 1982) portent les concepts titulaires de ce carnet. Les 165 exercices resolus du manuel completent la presentation theorique.\n\n5. **Osborne, M. J. (2004).** *An Introduction to Game Theory.* Oxford University Press. -- manuel de reference qui couvre les jeux extensifs en information parfaite (Ch. 5 *Extensive Games with Perfect Information* : arbre de jeu, induction a rebours, SPE) et en information imparfaite (Ch. 10 *Extensive Games with Imperfect Information* : ensembles d'information non-singletons, SPE Bayesien). La presentation du Ch. 5 est le pendant pedagogique de l'article fondateur de Kuhn 1953 et reste la reference d'initiation.\n\n6. **Mas-Colell, A., Whinston, M. D. & Green, J. R. (1995).** *Microeconomic Theory.* Oxford University Press. -- manuel avance dont le Ch. 7 *Basic Elements of Noncooperative Games* introduit la forme extensive (game tree, ensembles d'information, strategies comportementales) et dont le Ch. 9 *Dynamic Games* formalise les jeux dynamiques et bayesiens (programme dynamique backward, equilibre bayesien parfait). Le traitement est plus formel que Osborne 2004 et fait le pont avec la theorie des mecanismes et de l'implementation.\n\n7. **Fudenberg, D. & Tirole, J. (1991).** *Game Theory.* MIT Press. -- manuel de reference qui formalise au Ch. 3 *Extensive-Form Games* les notions d'ensemble d'information, d'historique, et d'equilibre parfait en sous-jeux. Pour le carnet 07, le Ch. 3 §3.2 (strategies comportementales) eclaire la distinction entre strategies pures et strategies contingentes, qui est centrale pour la formalisation Python du carnet.\n" + "## References\n", + "\n", + "Ce carnet explore la forme extensive des jeux -- la representation par arbre de decision qui decompose un jeu en une sequence de noeuds de decision, chacun associe a un joueur qui choisit une action en pleine connaissance du passe mais sans connaitre les choix futurs. L'outil central est l'induction a rebours (backward induction) : on resout le jeu depuis les feuilles de l'arbre (les issues terminales) en remontant vers la racine, en deduisant a chaque noeud la strategie optimale du joueur qui y decide. La formalisation canonique est celle de Kuhn (1953) ; l'extension aux jeux a information imparfaite (jeux bayesiens extensifs) est traitee au Ch. 11 *Sequential equilibrium* de Bonanno. La section ci-dessous rassemble les references qui sous-tendent le propos.\n", + "\n", + "1. **Von Neumann, J. & Morgenstern, O. (1944).** *Theory of Games and Economic Behavior.* Princeton University Press. -- la formalisation complete de la theorie des jeux, y compris la representation en arbre (forme extensive) et la notion d'utilité espérée. Pour le carnet 07, le Ch. II *General Formal Description of Games of Strategy* (§6-§7 pour l'information) pose les coups, l'information et les ensembles d'information, briques de la representation en arbre ; la stratégie pure y est définie au §11. La stratégie comportementale vient de Kuhn 1953 (entrée 2).\n", + "\n", + "2. **Kuhn, H. W. (1953).** *Extensive Games and the Problem of Information.* Dans H. W. Kuhn & A. W. Tucker (dir.), *Contributions to the Theory of Games*, vol. II, Annals of Mathematics Studies 28, Princeton University Press: 193-216. -- la formalisation canonique de la forme extensive moderne : arbre de jeu avec ensembles d'information partitionnant les noeuds de chaque joueur, strategies comportementales, le théorème de Kuhn (équivalence stratégies mixtes / comportementales sous mémoire parfaite) et l'existence d'un équilibre en stratégies pures dans les jeux à information parfaite, par induction à rebours. La notion d'équilibre parfait en sous-jeux viendra avec Selten 1965 (entrée 3).. Article fondateur du champ, indispensable pour la rigueur formelle.\n", + "\n", + "3. **Selten, R. (1965).** *Spieltheoretische Behandlung eines Oligopolmodells mit Nachfrageträgheit.* Zeitschrift für die gesamte Staatswissenschaft 121: 301-324 et 667-689. -- l'introduction du concept de perfect equilibrium (backward induction applique a chaque sous-jeu de l'arbre), generalisation du critere de Nash aux jeux extensifs. Article qui demontre qu'un equilibre de Nash standard peut ne pas etre credible (non-SPE) parce qu'il repose sur des menaces non optimales hors du chemin d'equilibre. L'argument est le suivant : un equilibre SPE est un equilibre de Nash qui survit a la verification qu'aucun joueur n'a intérêt à dévier dans un sous-jeu isole.\n", + "\n", + "4. **Bonanno, G. (2015).** *Game Theory* (open access textbook, 165 solved exercises). arXiv:1512.06808 [math.HO], **CC BY-NC-ND 4.0** (licence verifiee page de copyright du PDF, 2026-10-18 ; la metadonnee arXiv indique CC BY 4.0 mais la page de copyright du document prime). -- manuel pedagogique dont le mapping au carnet 07 est central : le §2.2 (backward induction), le §3.4 (subgame-perfect equilibrium) et le Ch. 11 *Sequential equilibrium* (Kreps-Wilson 1982) portent les concepts titulaires de ce carnet. Les 165 exercices resolus du manuel completent la presentation theorique.\n", + "\n", + "5. **Osborne, M. J. (2004).** *An Introduction to Game Theory.* Oxford University Press. -- manuel de reference qui couvre les jeux extensifs en information parfaite (Ch. 5 *Extensive Games with Perfect Information* : arbre de jeu, induction a rebours, SPE) et en information imparfaite (Ch. 10 *Extensive Games with Imperfect Information* : ensembles d'information non-singletons, SPE Bayesien). La presentation du Ch. 5 est le pendant pedagogique de l'article fondateur de Kuhn 1953 et reste la reference d'initiation.\n", + "\n", + "6. **Mas-Colell, A., Whinston, M. D. & Green, J. R. (1995).** *Microeconomic Theory.* Oxford University Press. -- manuel avance dont le Ch. 7 *Basic Elements of Noncooperative Games* introduit la forme extensive (game tree, ensembles d'information, strategies comportementales) et dont le Ch. 9 *Dynamic Games* formalise les jeux dynamiques et bayesiens (programme dynamique backward, equilibre bayesien parfait). Le traitement est plus formel que Osborne 2004 et fait le pont avec la theorie des mecanismes et de l'implementation.\n", + "\n", + "7. **Fudenberg, D. & Tirole, J. (1991).** *Game Theory.* MIT Press. -- manuel de reference qui formalise au Ch. 3 *Extensive-Form Games* les notions d'ensemble d'information, d'historique, et d'equilibre parfait en sous-jeux. Pour le carnet 07, le Ch. 3 (strategies comportementales) eclaire la distinction entre strategies pures et strategies contingentes, qui est centrale pour la formalisation Python du carnet.\n" ] } ], From 906e396919cf907d9c38d84357114ead0818b906 Mon Sep 17 00:00:00 2001 From: jsboige Date: Mon, 19 Oct 2026 18:22:13 +0200 Subject: [PATCH 13/13] Add(gametheory,#20903): rebaseline attestation jumeaux carnet 07 apres fix markdown Attestation 0016 pour la paire GameTheory-7 ExtensiveForm, rebaselinee en dernier apres le commit de correction (b36aa63c4b) -- l'ordre impose par l'organe : toute normalisation outillee ulterieure deplace le blob SHA. Cote Python : content_sha change par le seul correctif de prose. Cote C# : le fichier jumeau C# est identique a origin/main sur cette branche (diff vide) -- la variation du blob C# est heritee de main, pas introduite ici. Co-Authored-By: Claude Haiku 4.5 (1M context) --- .../0016-2026-10-19-myia-po-2023-CoursIA-2.yaml | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 scripts/notebook_tools/twin_pairs.d/gametheory-7-extensiveform/0016-2026-10-19-myia-po-2023-CoursIA-2.yaml diff --git a/scripts/notebook_tools/twin_pairs.d/gametheory-7-extensiveform/0016-2026-10-19-myia-po-2023-CoursIA-2.yaml b/scripts/notebook_tools/twin_pairs.d/gametheory-7-extensiveform/0016-2026-10-19-myia-po-2023-CoursIA-2.yaml new file mode 100644 index 00000000000..3e3f04a3164 --- /dev/null +++ b/scripts/notebook_tools/twin_pairs.d/gametheory-7-extensiveform/0016-2026-10-19-myia-po-2023-CoursIA-2.yaml @@ -0,0 +1,6 @@ +date: '2026-10-19' +by: myia-po-2023:CoursIA-2 +python_sha: aeaa15cd1b7e5851ce5be5c56e1dd73bd8af7bde +csharp_sha: d6bce9e5f4229ec6802c4b78687c45783ef4d8b0 +content_python_sha: 83440fcf5681eb63acf86632ad6a63f22f5c8e3b6300f39e6d0690e38922c0f4 +content_csharp_sha: 9f1f85beedf86a86c6b76088749cdadbd2ff0e876c3210a24233030adfb6bfa2