Skip to content

docs(argument-analysis,#18586): Setup -- prose jars sans compte fixe + table JDK honnete (stamps et normalisation deja sur main) #18614

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
myia-ai-01 merged 2 commits into from
Oct 3, 2026
Merged

docs(argument-analysis,#18586): Setup -- prose jars sans compte fixe + table JDK honnete (stamps et normalisation deja sur main) #18614

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
f5befc8
docs(argument-analysis,#18614): Setup -- prose jars sans compte fixe,…
jsboige Sep 30, 2026
83215b9
docs(arg,#18586): 00-Setup prose -- decompte jars dependant de la mac…
jsboige Oct 3, 2026
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
6 changes: 3 additions & 3 deletions MyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/Argumentation-00-Setup-Tweety-Python.ipynb
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -151,7 +151,7 @@
"source": [
"## 3. Localisation du dossier Tweety (JDK + jars)\n",
"\n",
"`init_tweety()` cherche les dossiers `libs/` (les 76 jars Tweety) et `jdk-17-portable/` (le JDK Zulu 17) **relativement au repertoire de travail courant**. On marche donc vers le haut depuis le cwd jusqu'a trouver `Tweety/libs`. Si rien n'est trouve, echec bruyant : le mode degrade est interdit.\n"
"`init_tweety()` cherche les dossiers `libs/` (les jars Tweety -- le decompte depend de la machine, cf sortie de la cellule de localisation) et `jdk-17-portable/` (le JDK Zulu 17) **relativement au repertoire de travail courant**. On marche donc vers le haut depuis le cwd jusqu'a trouver `Tweety/libs`. Si rien n'est trouve, echec bruyant : le mode degrade est interdit.\n"
]
},
{
Expand Down Expand Up @@ -222,7 +222,7 @@
"source": [
"## 4. Demarrage de la JVM via `init_tweety()`\n",
"\n",
"`init_tweety()` configure `JAVA_HOME` sur le JDK Zulu 17, construit le classpath avec les 76 jars, et amorce la JVM via JPype. L'appel se fait **depuis le dossier Tweety** (il resout les chemins relativement au cwd). Echec bruyant si la JVM ne demarre pas.\n"
"`init_tweety()` configure `JAVA_HOME` sur le JDK Zulu 17, construit le classpath avec les jars du dossier `libs/` (decompte dependant de la machine, cf sortie de la cellule de localisation), et amorce la JVM via JPype. L'appel se fait **depuis le dossier Tweety** (il resout les chemins relativement au cwd). Echec bruyant si la JVM ne demarre pas.\n"
]
},
{
Expand Down Expand Up @@ -394,7 +394,7 @@
"| Composant | Rôle | Etat |\n",
"|-----------|------|------|\n",
"| Python + JPype | Passerelle Python-Java | OK |\n",
"| JDK Zulu 17 portable | Machine virtuelle Java | OK |\n",
"| JDK (Zulu 17 portable, sinon JAVA_HOME) | Machine virtuelle Java | OK via la sonde JVM ci-dessus |\n",
"| Jars Tweety | Solveurs (PL, FOL, modale, Dung) | OK |\n",
"| `argumentation_lib.initialize_jvm()` | Amorcage JVM + classpath (via la shim) | OK |\n",
"| Smoke test PL | Modus ponens resolu | OK |\n",
Expand Down
Loading