Skip to content

fix(argu,#18419): anchor the 3 dialogue-protocol classes as #2137 snapshot + cite DialogueHandler #18508

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 1 commit into from
Sep 30, 2026
Merged

fix(argu,#18419): anchor the 3 dialogue-protocol classes as #2137 snapshot + cite DialogueHandler #18508

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
14 changes: 9 additions & 5 deletions ...tebooks/SymbolicAI/Argument_Analysis/Argumentation-04-Dialogues-Protocolises-Python.ipynb
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -29,7 +29,8 @@
"est permis ou interdit par une table de transitions ; et la fin du dialogue n'est pas\n",
"une impression mais une condition testable. Deux protocoles suffisent à couvrir deux\n",
"natures opposées de l'échange : l'*inquiry*, coopératif, qui cherche un accord sur\n",
"les faits, et la *persuasion*, adversarial, où l'un des deux doit céder.\n"
"les faits, et la *persuasion*, adversarial, où l'un des deux doit céder.\n",
"\n\n**Statut et provenance.** Les trois classes `DialogueProtocol` /\n`InquiryProtocol` / `PersuasionProtocol` que ce carnet enseigne ont ete\n**retirees du tronc amont** par #2137 (2026-09-17). Le tronc EPITA declare\nmot pour mot : *\"dead twins — the living workflow path for formal dialogue\nis the JVM `logic/dialogue_handler.py`\"* ; leurs seuls utilisateurs\nrestants y sont *\"the CoursIA teaching notebooks\"*. Le module\n`dialogue_protocols.py` documente ce statut (lignes 19-32) et assume la\ndistillation comme **contenu pedagogique executable sans JVM**. Le pendant\nde production est `argumentation_analysis/agents/core/logic/dialogue_handler.py`\ndu tronc EPITA ([DialogueHandler.execute_dialogue](https://github.com/jsboigeEpita/2025-Epita-Intelligence-Symbolique/blob/ecfd9b9c31d299ad9e08ee0e7a726d436f4ebd8e/argumentation_analysis/agents/core/logic/dialogue_handler.py#L33)),\nun pont `jpype` vers Tweety qui execute un dialogue proponent/opponent\nreel : fusion des vues du cadre de Dung, extension *fondée* via\n`SimpleGroundedReasoner`, verdict `accepted`/`rejected` sur le sujet\ndebattu. Ce carnet n'est donc pas *le* moteur de la maison : c'est la\nseule implementation vivante de cette abstraction, sous forme de pure\nPython stdlib, et il le dit."
]
},
{
Expand Down Expand Up @@ -70,7 +71,8 @@
"Le registre Walton–Krabbe déclare six types de dialogue ; deux seulement ont une\n",
"machine. Ce n'est pas un défaut à corriger mais un état de la recherche : une\n",
"typologie nomme plus qu'elle ne construit, et l'écart entre les deux est en soi\n",
"instructif — c'est la première chose que mesure ce carnet."
"instructif — c'est la première chose que mesure ce carnet.",
"\n\nNote de portee. Le pendant *de production* d'un dialogue protocolise\nest `DialogueHandler` (Tweety/JVM) dans le tronc amont — voir l'encart de\nla cellule d'introduction pour le statut de cette distillation et le chemin\nvivant."
]
},
{
Expand Down Expand Up @@ -1065,7 +1067,8 @@
"argument — appel à l'expert, exemple, cause… — et la base de connaissances\n",
"(`knowledge_base.py`, carnet `04b`) structure prémisses, conclusion et schéma dans\n",
"un `FormalArgument`. Le carnet de référence joint les trois niveaux : un argument\n",
"du dialogue dont le champ `scheme` est peuplé par le classifieur."
"du dialogue dont le champ `scheme` est peuplé par le classifieur.",
"\n\nLe pendant formel de l'echange lui-meme — pas seulement de l'argument\nunitaire — est `DialogueHandler` (Tweety/JVM) cote production : la\ntrace d'un dialogue execute se materialise par un verdict `accepted`/\n`rejected` sur le sujet debattu, et c'est ce qui rend le `scheme` ci-dessus\nnon seulement descriptible mais *decidable*."
]
},
{
Expand Down Expand Up @@ -1428,7 +1431,8 @@
"d'agents, la gouvernance multi-agents décide collectivement — ici, c'est l'échange\n",
"lui-même qui est procéduralisé, acte par acte. La question « comment parle-t-on ? »\n",
"précède la question « que conclut-on ? » : le protocole est ce qui rend la seconde\n",
"posée honnêtement."
"posée honnêtement.",
"\n\n**Statut et perenite.** Les trois machines que ce carnet enseigne sont\nun snapshot du retrait tronc #2137 (2026-09-17) ; le chemin de production\nest `logic/dialogue_handler.py` (Tweety/JVM). La distillation est assumee\ncomme contenu pedagogique executable sans JVM — sa portee est l'enseignement\nde la machine a etats, pas l'execution de dialogue reel. Le present carnet\nest l'un des derniers lieux ou ce code mort-vivant est maintenu ; tant qu'il\nexiste comme organe d'enseignement, les divergences documentees (periode 3,\n`_term_double_retract` inatteignable, asymetrie 25/30) restent visibles aux\neleves qui etudient la theorie des protocoles."
]
}
],
Expand Down Expand Up @@ -1465,4 +1469,4 @@
},
"nbformat": 4,
"nbformat_minor": 5
}
}
Loading