Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@
"\n",
"**Sous-serie ICT** (trajectoires integrees, Epic #4588, strate 3). Suite du Cran A\n",
"ICT-10 (durcissement du banc $\\hat{p}$, verdict honnete « avantage regime-dependant »)\n",
"et d'ICT-11 (profils d'agence multi-echelle). Voir [#4588](../README.md), [#4878](https://github.com/jsboige/CoursIA/issues/4878).\n",
"et d'ICT-11 (profils d'agence multi-echelle). Voir [#4588](../../README.md), [#4878](https://github.com/jsboige/CoursIA/issues/4878).\n",
"\n",
"## Question directrice\n",
"\n",
Expand Down Expand Up @@ -55,7 +55,7 @@
"id": "d4db96e5",
"metadata": {},
"source": [
"> **Statut épistémique** — **Établi** : `p̂` est régime-dépendant (capture x4 sur balistique rapide, perd sur erratique). Portée et détail dans la [matrice de dissociations](../../../docs/ict/dissociations-matrix.md)."
"> **Statut épistémique** — **Établi** : `p̂` est régime-dépendant (capture x4 sur balistique rapide, perd sur erratique). Portée et détail dans la [matrice de dissociations](../../../../docs/ict/dissociations-matrix.md)."
]
},
{
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -54,7 +54,7 @@
"tags": []
},
"source": [
"> **Statut épistémique** — **Établi** : La valence est **apprise** (Rescorla-Wagner), transférable et **distincte** de la prédiction `p̂` (banc désincarné). Portée et détail dans la [matrice de dissociations](../../../docs/ict/dissociations-matrix.md)."
"> **Statut épistémique** — **Établi** : La valence est **apprise** (Rescorla-Wagner), transférable et **distincte** de la prédiction `p̂` (banc désincarné). Portée et détail dans la [matrice de dissociations](../../../../docs/ict/dissociations-matrix.md)."
]
},
{
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -30,7 +30,7 @@
"id": "a84f6b88",
"metadata": {},
"source": [
"> **Statut épistémique** — **Établi** : Incarné, `p̂` et `π` se **dissocient** : erratique détruit `p̂` mais le conditionnement tient. Portée et détail dans la [matrice de dissociations](../../../docs/ict/dissociations-matrix.md)."
"> **Statut épistémique** — **Établi** : Incarné, `p̂` et `π` se **dissocient** : erratique détruit `p̂` mais le conditionnement tient. Portée et détail dans la [matrice de dissociations](../../../../docs/ict/dissociations-matrix.md)."
]
},
{
Expand Down Expand Up @@ -1064,7 +1064,7 @@
"\n",
"*Portée honnête* : ce notebook couvre les **six mesures** 1, 2, 3, 4, 5, 6 + la matrice de dissociation. Les mesures 4 (énergie-libre adaptive) et 5 (information prédictive), différées en PR-A comme recherche, sont désormais livrées (§7) : `free_energy` mode `fixed` n'est qu'un habillage du MSE (gate 1), mais la précision *adaptive* amortit l'explosion erratique (gate 2), et l'information mutuelle $I(\\hat q;o)$ y est *anti-corrélée* au MSE (plafond épistémique). Trois lecteurs orthogonaux de $\\hat q$.\n",
"\n",
"> **Voir aussi.** [ICT-12](ICT-12-ValenceFieldsAndAnimats-Python.ipynb) (valence programmée, champ spatial), [ICT-12b](ICT-12b-LearnedValence-Python.ipynb) (valence apprise désincarnée, le banc algorithmique que cet animat incarne), [ICT-0-Framing](ICT-0-Framing.md) (jambe C1, #7740)."
"> **Voir aussi.** [ICT-12](ICT-12-ValenceFieldsAndAnimats-Python.ipynb) (valence programmée, champ spatial), [ICT-12b](ICT-12b-LearnedValence-Python.ipynb) (valence apprise désincarnée, le banc algorithmique que cet animat incarne), [ICT-0-Framing](../ICT-0-Framing.md) (jambe C1, #7740)."
]
}
],
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -16,13 +16,13 @@
"source": [
"# ICT-12d — Animat inhibé (Laborit) : contrôlabilité, rigidification, dette d'irréversibilité (#7741)\n",
"\n",
"**Sous-série ICT** (trajectoires intégrées, Epic #4588). Notebook compagnon du module [`ict.inhibited_action`](ict/inhibited_action.py) (PR [#8825](https://github.com/jsboige/CoursIA/pull/8825)). **Jambe C2** de la tresse transverse — *parallèle* à [C1 — ICT-12c](ICT-12c-PregnanceAnimat-Python.ipynb) (prégnance/valence incarnée, #7740), et distincte d'[ICT-30](ICT-30-InhibitedInvention-Python.ipynb) (inhibition de l'**innovation**, strate 7 collective, #7746) : ici l'inhibition porte sur l'**action** d'un animat individuel (strate 3/5).\n",
"**Sous-série ICT** (trajectoires intégrées, Epic #4588). Notebook compagnon du module [`ict.inhibited_action`](../ict/inhibited_action.py) (PR [#8825](https://github.com/jsboige/CoursIA/pull/8825)). **Jambe C2** de la tresse transverse — *parallèle* à [C1 — ICT-12c](ICT-12c-PregnanceAnimat-Python.ipynb) (prégnance/valence incarnée, #7740), et distincte d'[ICT-30](../ICT-30-InhibitedInvention-Python.ipynb) (inhibition de l'**innovation**, strate 7 collective, #7746) : ici l'inhibition porte sur l'**action** d'un animat individuel (strate 3/5).\n",
"\n",
"## Le maillon Laborit\n",
"\n",
"Henri Laborit (*L'Éloge de la fuite*, 1976) : des rats soumis à des chocs développent une hypertension durable surtout quand **ni fuite ni action défensive** ne sont possibles. Ce n'est pas le choc qui pathologise, c'est l'**inhibition de l'action** — « le système apprend que ses actions ne contrôlent plus son environnement ». L'analogue formel est un animat dont les actions, à mesure que la **contrôlabilité** s'effondre, deviennent **sans effet** sur la transition d'état, et qui, le détectant, **rigidifie** sa politique.\n",
"\n",
"Ce notebook incarne ce maillon comme un substrat expérimental **falsifiable** (substrat + bancs dans `ict.inhibited_action`), puis le relie quantitativement à la **dette d'irréversibilité** $I(R)$ d'[ICT-18](ICT-18-ArrowOfTimeReversibilization-Python.ipynb). Quatre verdicts falsifiables, chacun avec son contrôle négatif.\n",
"Ce notebook incarne ce maillon comme un substrat expérimental **falsifiable** (substrat + bancs dans `ict.inhibited_action`), puis le relie quantitativement à la **dette d'irréversibilité** $I(R)$ d'[ICT-18](../ICT-18-ArrowOfTimeReversibilization-Python.ipynb). Quatre verdicts falsifiables, chacun avec son contrôle négatif.\n",
"\n",
"> *Portée honnête* : la rencontre avec la strate 7 (inhibition de l'**innovation**, ICT-30) est une issue ultérieure ; ce notebook reste au niveau **animat** (strate 3/5). La lecture post-structuraliste (Foucault/Derrida/Serres) de la boucle signifiant/signifié = générateur de modèles, hors scope expérimental (spec #7741).\n"
]
Expand All @@ -32,7 +32,7 @@
"id": "statut-epistemique",
"metadata": {},
"source": [
"> **Statut épistémique** — **Établi** : L'animat inhibé (Laborit) rigidifie son action sous perte de contrôle, et la dette d'irréversibilité `I(R)` échappe à l'action. Portée et détail dans la [matrice de dissociations](../../../docs/ict/dissociations-matrix.md)."
"> **Statut épistémique** — **Établi** : L'animat inhibé (Laborit) rigidifie son action sous perte de contrôle, et la dette d'irréversibilité `I(R)` échappe à l'action. Portée et détail dans la [matrice de dissociations](../../../../docs/ict/dissociations-matrix.md)."
]
},
{
Expand Down Expand Up @@ -475,7 +475,7 @@
"source": [
"## 5. Le pont $I(R)$ : la dette d'irréversibilité échappe à l'action\n",
"\n",
"Le pont vers la dette d'irréversibilité $I(R)$ (cf. [ICT-18](ICT-18-ArrowOfTimeReversibilization-Python.ipynb), `ict.reversibility_budget.work_budget`) n'est pas « la dette monte sous inhibition » : une permutation déterministe porte *aussi* une forte flèche du temps. Le finding est plus fin — **sous inhibition ($\\alpha=0$), changer d'action ne change plus la dette subie** : l'animat a perdu toute prise sur l'irréversibilité qu'il subit, devenue dictée par la dérive seule. À contrôlabilité partielle ($\\alpha=0.5$), l'action modulait encore cette dette.\n",
"Le pont vers la dette d'irréversibilité $I(R)$ (cf. [ICT-18](../ICT-18-ArrowOfTimeReversibilization-Python.ipynb), `ict.reversibility_budget.work_budget`) n'est pas « la dette monte sous inhibition » : une permutation déterministe porte *aussi* une forte flèche du temps. Le finding est plus fin — **sous inhibition ($\\alpha=0$), changer d'action ne change plus la dette subie** : l'animat a perdu toute prise sur l'irréversibilité qu'il subit, devenue dictée par la dérive seule. À contrôlabilité partielle ($\\alpha=0.5$), l'action modulait encore cette dette.\n",
"\n",
"**Verdict falsifiable** : `trapped` ssi (a) l'effet de l'action sur la dette est nul sous inhibition ($|\\Delta| < 10^{-9}$), ET (b) non-négligeable à contrôle partiel ($|\\Delta(\\alpha{=}0.5)| > 0.5$) — preuve que l'action était opérante puis a cessé de l'être.\n"
]
Expand Down Expand Up @@ -824,9 +824,9 @@
"source": [
"## 7. Synthèse — la factorisation 4-objets et le seuil de bascule\n",
"\n",
"Les quatre verdicts se laissent lire sur la [factorisation 4-objets](../../../docs/ict/dissociations-matrix.md) $(s, q, \\pi, W)$ : l'inhibition de l'action attaque l'**opérateur de workspace** $W$ (l'animat ne peut plus *agir en retour* sur la totalité), puis, par rétroaction, la **prégnance/valence** $\\pi$ (rigidification) et la **représentation prédictive** $q$ (perte d'efficacité). C'est l'envers de la [dissociation $\\hat p / \\pi$ d'ICT-12c](ICT-12c-PregnanceAnimat-Python.ipynb) : là-bas on séparait deux grandeurs qui *tiennent* ; ici on montre une grandeur ($W$) qui *s'effondre*, et emporte les autres.\n",
"Les quatre verdicts se laissent lire sur la [factorisation 4-objets](../../../../docs/ict/dissociations-matrix.md) $(s, q, \\pi, W)$ : l'inhibition de l'action attaque l'**opérateur de workspace** $W$ (l'animat ne peut plus *agir en retour* sur la totalité), puis, par rétroaction, la **prégnance/valence** $\\pi$ (rigidification) et la **représentation prédictive** $q$ (perte d'efficacité). C'est l'envers de la [dissociation $\\hat p / \\pi$ d'ICT-12c](ICT-12c-PregnanceAnimat-Python.ipynb) : là-bas on séparait deux grandeurs qui *tiennent* ; ici on montre une grandeur ($W$) qui *s'effondre*, et emporte les autres.\n",
"\n",
"Le **seuil de bascule** est la contrôlabilité $\\alpha_c$ en-dessous de laquelle l'animat inhibe — l'analogue, au niveau animat, du seuil de performativité $\\rho_c$ du [cadrage strate 7](ICT-0-Framing.md) (D1/D2). Sa rencontre avec l'inhibition de l'**innovation** collective (ICT-30, #7746) est l'issue ultérieure."
"Le **seuil de bascule** est la contrôlabilité $\\alpha_c$ en-dessous de laquelle l'animat inhibe — l'analogue, au niveau animat, du seuil de performativité $\\rho_c$ du [cadrage strate 7](../ICT-0-Framing.md) (D1/D2). Sa rencontre avec l'inhibition de l'**innovation** collective (ICT-30, #7746) est l'issue ultérieure."
]
},
{
Expand Down Expand Up @@ -1033,9 +1033,9 @@
"\n",
"**Robustesse** : les trois bancs stochastiques tiennent leurs verdicts sur cinq seeds externes $[0, 1, 7, 42, 99]$ — aucune bascule, dispersion faible devant les marges (section 6, tableau par métrique) ; le pont $I(R)$ est déterministe, robuste par construction.\n",
"\n",
"**Portée honnête** : substrat 1-torus minimal (anneau à 9 états) — l'objet est la *mécanique* de l'inhibition de l'action (détection → rigidification → perte de prise sur $I(R)$), transposable à des animats richer. La rencontre avec la strate 7 (inhibition de l'**innovation**, [ICT-30](ICT-30-InhibitedInvention-Python.ipynb), #7746) est une issue ultérieure ; ce notebook reste au niveau **animat individuel**.\n",
"**Portée honnête** : substrat 1-torus minimal (anneau à 9 états) — l'objet est la *mécanique* de l'inhibition de l'action (détection → rigidification → perte de prise sur $I(R)$), transposable à des animats richer. La rencontre avec la strate 7 (inhibition de l'**innovation**, [ICT-30](../ICT-30-InhibitedInvention-Python.ipynb), #7746) est une issue ultérieure ; ce notebook reste au niveau **animat individuel**.\n",
"\n",
"*Module* : [`ict.inhibited_action`](ict/inhibited_action.py) (PR [#8825](https://github.com/jsboige/CoursIA/pull/8825)). *Parallèle* : [C1 — ICT-12c](ICT-12c-PregnanceAnimat-Python.ipynb) (#7740). *Références* : Laborit 1976 (*L'Éloge de la fuite*) ; spec #7741 (conversation de conception tours 756-761, 2026-07-20) ; pont $I(R)$ via `ict.reversibility_budget` (ICT-18)."
"*Module* : [`ict.inhibited_action`](../ict/inhibited_action.py) (PR [#8825](https://github.com/jsboige/CoursIA/pull/8825)). *Parallèle* : [C1 — ICT-12c](ICT-12c-PregnanceAnimat-Python.ipynb) (#7740). *Références* : Laborit 1976 (*L'Éloge de la fuite*) ; spec #7741 (conversation de conception tours 756-761, 2026-07-20) ; pont $I(R)$ via `ict.reversibility_budget` (ICT-18)."
]
}
],
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@
"de l'animat décisionnel. Suite du Cran A: [ICT-12](ICT-12-ValenceFieldsAndAnimats-Python.ipynb)\n",
"(champs de valence, modèle interne payant ou ruineux), [ICT-12c](ICT-12c-PregnanceAnimat-Python.ipynb)\n",
"(prégnance/valence incarnée), [ICT-12d](ICT-12d-InhibitedActionAnimat-Python.ipynb)\n",
"(inhibition de Laborit). Voir [#4588](../README.md), [#13569](https://github.com/jsboige/CoursIA/issues/13569).\n",
"(inhibition de Laborit). Voir [#4588](../../README.md), [#13569](https://github.com/jsboige/CoursIA/issues/13569).\n",
"\n",
"**Ce que ce notebook est.** Une greffe : ICT *pose* un problème de décision\n",
"d'animat — faut-il observer avant d'agir, et à quel coût ? — et **laisse les\n",
Expand All @@ -22,9 +22,9 @@
"\n",
"| Organe | Moteur | Calcul |\n",
"|---|---|---|\n",
"| [`DecInfer-06`](../../Probas/DecisionTheory/DecInfer/DecInfer-06-Value-Information.ipynb) | Infer.NET | bayésien déterministe |\n",
"| [`DecPyMC-5`](../../Probas/DecisionTheory/DecPyMC/DecPyMC-5-Value-Information.ipynb) | PyMC | bayésien + MCMC |\n",
"| [`Actuariat-05`](../../Probas/DecisionTheory/Actuariat/Actuariat-05-Valeur-Info-Souscription.ipynb) | PyMC | cas appliqué (souscription) |\n",
"| [`DecInfer-06`](../../../Probas/DecisionTheory/DecInfer/DecInfer-06-Value-Information.ipynb) | Infer.NET | bayésien déterministe |\n",
"| [`DecPyMC-5`](../../../Probas/DecisionTheory/DecPyMC/DecPyMC-5-Value-Information.ipynb) | PyMC | bayésien + MCMC |\n",
"| [`Actuariat-05`](../../../Probas/DecisionTheory/Actuariat/Actuariat-05-Valeur-Info-Souscription.ipynb) | PyMC | cas appliqué (souscription) |\n",
"\n",
"**Le double portage Infer.NET / PyMC est un atout, pas une redondance** : il\n",
"donne un contrôle croisé gratuit. Un EVSI calculé par les deux moteurs et qui\n",
Expand All @@ -33,7 +33,7 @@
"et **consomme** le comparateur cross-engine `voi/` (tranche 3/3) qui fait tourner\n",
"les deux moteurs sur le même contrat JSON et journalise l'accord/désaccord.\n",
"\n",
"**Navigation** : [**Index**](README.md) | [<< ICT-12d](ICT-12d-InhibitedActionAnimat-Python.ipynb) | [ICT-13 >>](ICT-13-AxelrodStrategicMorphodynamics-Python.ipynb)"
"**Navigation** : [**Index**](../README.md) | [<< ICT-12d](ICT-12d-InhibitedActionAnimat-Python.ipynb) | [ICT-13 >>](../ICT-13-AxelrodStrategicMorphodynamics-Python.ipynb)"
]
},
{
Expand All @@ -43,7 +43,7 @@
"tags": []
},
"source": [
"> **Statut épistémique** — **Sans verdict à ce jour** : aucune ligne de la [matrice de dissociations](../../../docs/ict/dissociations-matrix.md) ne concerne ce notebook ; son statut épistémique sera porté par la matrice le cas échéant."
"> **Statut épistémique** — **Sans verdict à ce jour** : aucune ligne de la [matrice de dissociations](../../../../docs/ict/dissociations-matrix.md) ne concerne ce notebook ; son statut épistémique sera porté par la matrice le cas échéant."
]
},
{
Expand Down Expand Up @@ -108,7 +108,7 @@
"\n",
"C'est exactement l'EVPI/EVSI. ICT ne re-dérive pas la formule — il **appelle**\n",
"l'organe canonique qui la porte déjà. La structure est celle de\n",
"[`DecPyMC-5` §forage](../../Probas/DecisionTheory/DecPyMC/DecPyMC-5-Value-Information.ipynb) :\n",
"[`DecPyMC-5` §forage](../../../Probas/DecisionTheory/DecPyMC/DecPyMC-5-Value-Information.ipynb) :\n",
"le même problème, présenté depuis le point de vue de l'animat. "
]
},
Expand Down Expand Up @@ -332,8 +332,8 @@
"source": [
"## Contrôle 3 — le cas parapluie canonique (EVPI de référence)\n",
"\n",
"Pour ancrer la mesure, on rejoue le cas **canonique** de [`DecPyMC-5` §parapluie](../../Probas/DecisionTheory/DecPyMC/DecPyMC-5-Value-Information.ipynb)\n",
"et de [`DecInfer-06`](../../Probas/DecisionTheory/DecInfer/DecInfer-06-Value-Information.ipynb).\n",
"Pour ancrer la mesure, on rejoue le cas **canonique** de [`DecPyMC-5` §parapluie](../../../Probas/DecisionTheory/DecPyMC/DecPyMC-5-Value-Information.ipynb)\n",
"et de [`DecInfer-06`](../../../Probas/DecisionTheory/DecInfer/DecInfer-06-Value-Information.ipynb).\n",
"Son EVPI vaut $3{,}5$ (unités arbitraires) — la référence que les tests du dépôt\n",
"`ict/tests/test_voi.py` vérifient déjà. L'animat *sensoriel* (proprioception\n",
"imparfaite $85/75$) en est une déclinaison : la mesure sensorielle ne capte\n",
Expand Down Expand Up @@ -418,13 +418,13 @@
"La valeur mesurée ci-dessus est close-form (analytique). Mais l'acceptance\n",
"[#13569] demande un **contrôle croisé** : la *même* décision passée dans **les\n",
"deux moteurs** (Infer.NET et PyMC), avec un écart **rapporté**, jamais lissé. Le\n",
"comparateur [`voi/run_comparison.py`](../../Probas/DecisionTheory/voi/run_comparison.py)\n",
"comparateur [`voi/run_comparison.py`](../../../Probas/DecisionTheory/voi/run_comparison.py)\n",
"le fait déjà : un contrat JSON commun, deux adaptateurs indépendants\n",
"(`InferNetVoi` pour Infer.NET, `pymc_voi` pour PyMC), qui exécutent les moteurs\n",
"réels et journalisent l'accord/désaccord.\n",
"\n",
"Le notebook **consomme** cet organe — il n'en ré-implémente pas une once. On lit\n",
"l'artefact de preuve déjà committé sur `main` ([`comparison.json`](../../Probas/DecisionTheory/voi/comparison.json)),\n",
"l'artefact de preuve déjà committé sur `main` ([`comparison.json`](../../../Probas/DecisionTheory/voi/comparison.json)),\n",
"puis on invoque le comparateur pour régénérer un verdict frais."
]
},
Expand Down
Loading
Loading