Skip to content

fix(docs,#15516): sweep mermaid fill-sans-color — GameTheory/SMT/Tweety/slides (4 fichiers, 11 règles) #15552

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
jsboige merged 1 commit into from
Sep 11, 2026
Merged

fix(docs,#15516): sweep mermaid fill-sans-color — GameTheory/SMT/Tweety/slides (4 fichiers, 11 règles) #15552

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
13 changes: 7 additions & 6 deletions MyIA.AI.Notebooks/GameTheory/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down
5 changes: 3 additions & 2 deletions MyIA.AI.Notebooks/SymbolicAI/SMT/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -36,8 +36,9 @@ flowchart LR
TH4 --> V
V -->|"sat"| M["modèle<br/>(solution)"]
V -->|"unsat"| U["impossibilité<br/>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;
```
Expand Down
3 changes: 2 additions & 1 deletion MyIA.AI.Notebooks/SymbolicAI/Tweety/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -81,7 +81,8 @@ flowchart LR
P4["<b>Phase 4</b><br/>Frameworks avancés<br/>ADF, WAF, ranking, probabiliste<br/>NB 7a-7b"]
P5["<b>Phase 5</b><br/>Applications<br/>dialogues, vote, préférences<br/>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;
```

Expand Down
5 changes: 3 additions & 2 deletions slides/02-resolution-problemes/analysis/vision-compare-s17.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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é).
Expand Down
Loading