Densite Argument_Analysis Ontology_Virtues: lectures chiffrees (966 -> 1245, #13410)

MyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/Argument_Analysis_Ontology_Virtues.ipynb

@@ -145,6 +145,14 @@
     "print(\"   puis interrogation en SPARQL (le vrai outil SOTA opere sur le graphe RDF resultant).\")\n"
    ]
   },
+  {
+   "cell_type": "markdown",
+   "id": "590f118e",
+   "metadata": {},
+   "source": [
+    "**Lecture chiffree — deux echecs differents, chiffres par le fichier lui-meme.** Le fichier pese `848,820 octets` pour `846,857 caracteres` de texte : 1,963 octets d'ecart, soit la somme des octets supplementaires des caracteres non ASCII (libelles accentues) une fois encodes en UTF-8. Face a lui, les deux outils SOTA echouent chacun de son cote : rdflib leve `parse direct impossible (TypeError)` — son parseur attend du RDF/XML — et owlready2 lit sans erreur mais `recompose 0 classe(s)` : le contenu SKOS n'est pas reconstruit. Un echec de format, un echec de reconstruction. Le pont de la cellule suivante ne contourne aucun moteur : il alimente le vrai, les requetes SPARQL sur un graphe rdflib.\n"
+   ]
+  },
   {
    "cell_type": "code",
    "execution_count": 2,
@@ -309,13 +317,7 @@
    "id": "76ec68e5",
    "metadata": {},
    "source": [
-    "**Lecture** : le thesaurus compte **223 concepts** (chacun avec un `prefLabel`), **446\n",
-    "definitions** (223 x 2 langues), **222 relations `broader`** et autant de `narrower` -- la\n",
-    "double declaration est la convention SKOS (chaque lien hiérarchique est pose dans les deux\n",
-    "sens). Contrairement au pole sophismes, il n'y a **aucun** `NamedIndividual` ni\n",
-    "`ObjectPropertyAssertion` : la connaissance est portee par la **hiérarchie de concepts** et les\n",
-    "**annotations multilingues**, pas par un graphe de relations entre individus. Deux ontologies\n",
-    "soeurs, deux paradigmes : ABox relationnel pour les sophismes, thesaurus SKOS pour les vertus.\n"
+    "**Lecture** : le thesaurus compte **223 concepts** (chacun avec un `prefLabel`), **446 définitions** (223 x 2 langues), **222 relations `broader`** et autant de `narrower` -- la double declaration est la convention SKOS (chaque lien hiérarchique est posé dans les deux sens). Le recensement se referme sur le compte de construction : la construction annonçait `Graphe SKOS construit : 2,639 triplets` ; la table des prédicats, additionnée, rend exactement ce total : 446 + 446 + 410 + 224 + 223 + 222 + 222 + 222 + 222 + 1 + 1 = 2,639 -- aucun triplet hors inventaire. Deux cohérences de plus se lisent dans la même table : `Concepts distincts (sujets) : 224` contre 223 avec prefLabel -- le 224e sujet est le scheme lui-même, qui n'est pas un concept mais porte l'unique `hasTopConcept` ; et le compte `rdf:type` monte aussi à 224 : chaque concept typé, plus le scheme. Contrairement au pôle sophismes, il n'y a **aucun** `NamedIndividual` ni `ObjectPropertyAssertion` : la connaissance est portée par la **hiérarchie de concepts** et les **annotations multilingues**, pas par un graphe de relations entre individus. Deux ontologies sœurs, deux paradigmes : ABox relationnel pour les sophismes, thesaurus SKOS pour les vertus."
    ]
   },
   {
@@ -422,12 +424,7 @@
    "id": "e786ec67",
    "metadata": {},
    "source": [
-    "**Lecture** : le concept racine est **`validArgument` (\"Argument valable\")** -- toute\n",
-    "vertu est une facette de l'argument valable. Les tetes de familles (`simpleInference`,\n",
-    "`thirdfigureSyllogism`, `acceptableInformalLogic`, `tangibleEvidence`, `credibleSources`...)\n",
-    "recouvrent les **7 familles** annoncees : logique formelle, logique informelle, qualite des\n",
-    "sources, des preuves, etc. La chaîne `broader` remonte de chaque feuille jusqu'a la racine :\n",
-    "c'est la profondeur du thesaurus, exploitable pour situer une vertu dans sa lignee.\n"
+    "**Lecture** : le concept racine est **`validArgument` (\"Argument valable\")** -- toute vertu est une facette de l'argument valable. L'arithmétique confirme un arbre : `Concepts (avec prefLabel) : 223`, racine unique, 222 relations `broader` -- 223 - 1 = 222, la signature d'un arbre où chaque concept non racine a exactement un parent, pas de DAG à héritage multiple. La racine affiche 7 `narrower` : exactement les 7 familles que l'ontologie s'attribue (`223 nodes, 7 families`), tandis que la tête la plus ramifiée, `simpleInference`, en compte 8 -- une famille qui se subdivise. La lignée la plus profonde visible fait 4 sauts : de la feuille `absenceOfInternalContradictions` par `coherentDemonstration`, `correctDeductions` et `validReasoning` jusqu'à `validArgument`. Les têtes de familles (`simpleInference`, `thirdfigureSyllogism`, `acceptableInformalLogic`, `tangibleEvidence`, `credibleSources`...) recouvrent les **7 familles** annoncées : logique formelle, logique informelle, qualité des sources, des preuves, etc. Et 222 broader = 222 narrower : chaque lien hiérarchique déclaré dans les deux sens, la convention SKOS sans exception. La chaîne `broader` remonte de chaque feuille jusqu'à la racine : c'est la profondeur du thesaurus, exploitable pour situer une vertu dans sa lignée."
    ]
   },
   {
@@ -619,12 +616,7 @@
    "id": "6e503d32",
    "metadata": {},
    "source": [
-    "**Lecture** : les **14 schemes** de Walton relies aux vertus sont exactement ceux qui\n",
-    "apparaissent cote sophismes. Les plus productifs -- *Argument from Rule* (50 vertus), *from\n",
-    "Commitment* (40), *from Bias* (27), *from Sign* (26) -- sont les schemes ou l'argumentation\n",
-    "correcte se decline en de nombreuses bonnes pratiques. La propriete `goodTenorOf` est donc le\n",
-    "**pivot** qui permettra, dans les exercices, de relier une vertu a son sophisme miroir via le\n",
-    "schema partage.\n"
+    "**Lecture** : les **14 schemes** de Walton reliés aux vertus sont exactement ceux qui apparaissent côté sophismes. `Schemes de Walton distincts portés par les vertus : 14`, et les 14 barres additionnées rendent le compte du recensement : 50 + 40 + 27 + 26 + 21 + 11 + 10 + 8 + 8 + 7 + 6 + 4 + 3 + 1 = 222, le total des liens `goodTenorOf`. La répartition est très inégale : les quatre schemes de tête -- *Argument from Rule* (50 vertus), *from Commitment* (40), *from Bias* (27), *from Sign* (26) -- portent 143 vertus sur 222 (environ 64 %), là où l'argumentation correcte se décline en nombreuses bonnes pratiques ; à l'autre extrémité, les sept moins productifs (8, 8, 7, 6, 4, 3, 1) totalisent 37 -- moins que Rule seul -- et le scheme Danger ne porte qu'une seule vertu. La propriété `goodTenorOf` est donc le **pivot** qui permettra, dans les exercices, de relier une vertu à son sophisme miroir via le schéma partagé."
    ]
   },
   {