diff --git a/MyIA.AI.Notebooks/GameTheory/README.md b/MyIA.AI.Notebooks/GameTheory/README.md index 1a2a5c622d..b5602be6ed 100644 --- a/MyIA.AI.Notebooks/GameTheory/README.md +++ b/MyIA.AI.Notebooks/GameTheory/README.md @@ -476,12 +476,13 @@ flowchart LR N4 -. "balanced ⟹ Core non-vide" .-> L4 N5 -. "optimalité proposant" .-> L5 N6 -. "stabilité sous menace" .-> L6 - style L1 fill:#e8f5e9 - style L2 fill:#e8f5e9 - style L3 fill:#e8f5e9 - style L4 fill:#e8f5e9 - style L5 fill:#e8f5e9 - style L6 fill:#e8f5e9 + %% color: explicite -- sans lui, libelle clair sur fond clair en mode sombre GitHub (#15022) ; ton parfois plus fonce que le stroke (le stroke en couleur de texte rendrait infer illisible) : ne pas harmoniser + style L1 fill:#e8f5e9,color:#1b5e20 + style L2 fill:#e8f5e9,color:#1b5e20 + style L3 fill:#e8f5e9,color:#1b5e20 + style L4 fill:#e8f5e9,color:#1b5e20 + style L5 fill:#e8f5e9,color:#1b5e20 + style L6 fill:#e8f5e9,color:#1b5e20 ``` Le pipeline complet relie les **notebooks** (qui motivent — Lemke-Howson, Axelrod, Folk Theorem, Gale-Shapley via `game_theory_lean`) aux **lakes** (qui prouvent — Arrow résolu 0 sorry, Bondareva-Shapley résolu 0 sorry #3954, von Neumann/Sion, Vickrey, Gale-Shapley existence et optimalité côté proposant, grim-trigger). Sans la couche Lean, ces résultats seraient des théorèmes réputés « standard » mais jamais démontrés ; avec elle, la justification est **formellement garantie** — pas seulement admise. La spécificité GameTheory : la simulation (Lemke-Howson numérique, OpenSpiel CFR, Axelrod tournois) précède la preuve, mais les deux faces du même raisonnement sont également outillées. diff --git a/MyIA.AI.Notebooks/SymbolicAI/SMT/README.md b/MyIA.AI.Notebooks/SymbolicAI/SMT/README.md index 473afb2ca3..8a29549d75 100644 --- a/MyIA.AI.Notebooks/SymbolicAI/SMT/README.md +++ b/MyIA.AI.Notebooks/SymbolicAI/SMT/README.md @@ -36,8 +36,9 @@ flowchart LR TH4 --> V V -->|"sat"| M["modèle
(solution)"] V -->|"unsat"| U["impossibilité
prouvée"] - classDef sat fill:#fff3cd,stroke:#856404,stroke-width:2px; - classDef smt fill:#d1ecf1,stroke:#0c5460,stroke-width:2px; + %% color: explicite -- sans lui, libelle clair sur fond clair en mode sombre GitHub (#15022) ; ton parfois plus fonce que le stroke (le stroke en couleur de texte rendrait infer illisible) : ne pas harmoniser + classDef sat fill:#fff3cd,stroke:#856404,stroke-width:2px,color:#856404; + classDef smt fill:#d1ecf1,stroke:#0c5460,stroke-width:2px,color:#0c5460; class SAT sat; class SMT smt; ``` diff --git a/MyIA.AI.Notebooks/SymbolicAI/Tweety/README.md b/MyIA.AI.Notebooks/SymbolicAI/Tweety/README.md index e778e8a21e..d68b4c5e5b 100644 --- a/MyIA.AI.Notebooks/SymbolicAI/Tweety/README.md +++ b/MyIA.AI.Notebooks/SymbolicAI/Tweety/README.md @@ -81,7 +81,8 @@ flowchart LR P4["Phase 4
Frameworks avancés
ADF, WAF, ranking, probabiliste
NB 7a-7b"] P5["Phase 5
Applications
dialogues, vote, préférences
NB 8-9"] P1 --> P2 --> P3 --> P4 --> P5 - classDef core fill:#fff3cd,stroke:#856404,stroke-width:2px; + %% color: explicite -- sans lui, libelle clair sur fond clair en mode sombre GitHub (#15022) ; ton parfois plus fonce que le stroke (le stroke en couleur de texte rendrait infer illisible) : ne pas harmoniser + classDef core fill:#fff3cd,stroke:#856404,stroke-width:2px,color:#856404; class P3 core; ``` diff --git a/slides/02-resolution-problemes/analysis/vision-compare-s17.md b/slides/02-resolution-problemes/analysis/vision-compare-s17.md index 7034501774..4a0d39e021 100644 --- a/slides/02-resolution-problemes/analysis/vision-compare-s17.md +++ b/slides/02-resolution-problemes/analysis/vision-compare-s17.md @@ -91,8 +91,9 @@ graph TD Timisoara --> Lugoj:::frontier Zerind --> Arad4[Arad]:::frontier Zerind --> Oradea2[Oradea]:::frontier - classDef root fill:#ccc,stroke:#333 - classDef frontier fill:#fff,stroke:#00aa00,stroke-dasharray:5 + %% color: explicite -- sans lui, libelle clair sur fond clair en mode sombre GitHub (#15022) ; ton parfois plus fonce que le stroke (le stroke en couleur de texte rendrait infer illisible) : ne pas harmoniser + classDef root fill:#ccc,stroke:#333,color:#333 + classDef frontier fill:#fff,stroke:#00aa00,stroke-dasharray:5,color:#006600 ``` Cela reproduit fidèlement le codage couleur du PPTX (nœuds frontière en vert pointillé).