Construction de l'hypergraphe et H-Logic
Statut documentaire : guide. Syntaxe H-Logic et contrats publics dépendent de leurs références versionnées ; cette page explique le choix du parcours.
Deux surfaces de construction de premier plan
Le guide Runtime et le guide d'architecture neuro-symbolique reconnaissent deux choix à part entière pour construire un hypergraphe sémantique :
| Point de départ | Privilégier | Pourquoi |
|---|---|---|
| Algorithmes natifs disposant déjà de valeurs typées, rôles et relations précises | API Hypergraph Delphi | Construire directement nœuds et relations |
| Programme sémantique devant rester lisible ou portable | Parseur H-Logic + commit contrôlé | Réutiliser règles de composition et de validation du langage |
Aucune surface n'est un simple recours de l'autre. Les deux doivent préserver la même identité sémantique, la structure des rôles et le sens des contraintes.
Décider comment le parsing valide les modifications
Le livre source distingue parse only, commit géré par le parseur et inspection/commit manuel. Avant d'appeler le parseur, déterminer l'hypergraphe et le contexte cibles, la validation, l'autorité habilitée à valider, et la durée de vie des valeurs intermédiaires après un événement de parsing. Ne pas conserver des valeurs natives locales à un événement au-delà de leur durée de vie documentée.
Contraintes et composition polyadique
La compilation des contraintes FunctionalP est un cas particulier où l'implémentation émet volontairement du H-Logic canonique et passe par son parseur. Cela évite un deuxième constructeur pour AND/OR/XOR, littéraux, rôles locaux et compositions imbriquées. Par exemple, A and (B or C) ne doit pas être aplati en conjonction de trois termes. Les types conceptuels déjà enregistrés restent l'autorité structurelle ; les noms de rôles locaux n'en redéfinissent pas l'arité.
Pour approfondir
Hypergraphe conceptuel · Référence H-Logic · Parcours H-Logic-first · Architecture neuro-symbolique
Sources LaTeX : running-hlogic-from-radstudio-code.tex ; hlogic-quick-reference.tex ; neuro-symbolique chapters/authority-layers-and-representations.tex.