Index complet de la documentation
Toutes les pages publiées, classées par domaine. Depuis l’accueil, cet index permet d’accéder à chaque page en deux clics.
API
- Recherche neuro-symbolique composite
- Architecture des embeddings d'hypergraphe
- Utiliser les embeddings pour la recherche conceptuelle
- Registre d'embeddings
- Index vectoriel HNSW
- Embeddings et recherche conceptuelle
- Durabilité et journal Write-Ahead Log
- Comment manipuler un graphe à partir d'un hypergraphe
- H-Logic et équivalents en code hôte
- Définitions composites et règles
- Concepts, instances et interfaces
- Syntaxe de base et termes
- Checklist développeur H-Logic
- Building a Temporal ERP Stock Ontology in H-Logic
- Utiliser H-Logic
- H-Logic
- H-Logic et Cypher
- H-Logic et SQL
- H-Logic et TypeDB
- H-Logic et triple stores
- Requêtes et quantificateurs
- Modes de requête et portée
- Relations, contextes et termes nommés
- Sémantique des résultats et mappings de types
- Patterns testés et formes invalides
- Exemples H-Logic v3.2
- Syntaxe H-Logic
- Cas d'usage H-Logic
- H-Logic
- Frontière d'implémentation de l'hypergraphe
- Hypergraph Iterators
- Programmation de l’hypergraphe
- Le moteur sémantique intégré au logiCells Knowledge Graph
- Tutoriel hypergraphe
- Valeurs de l’hypergraphe
- La manipulation des noms formels
- Identifiants des objets Runtime et des nœuds
- Accès à l'information contenue dans l'hypergraphe conceptuel
- Architecture en couches de l'hypergraphe
- Utilisation du système de couche dans l'hypergraphe conceptuel.
- Atomic Node
- Hypergraph Node
- Projection Polyadic Map
- Architecture de l'hypergraphe persistant
- Set Hypergraphs
- Dimensions structurelles et accès réservés
- Context
- Accès étendus réservés
- Dimensions structurelles et accès réservés
me, identité conceptuelle etSelf- Kind
- Polyadic Map
- Quantifier
- Inférence en avant
- Plus court chemin de Dijkstra symbolique
- Algorithmes d’inférence dans l’hypergraphe
- Operateur dot (.) sous H-Logic
- Programmation logique inductive en mode Hypergraphe
- Formes implicites et explicites des concepts
- Indexation des jointures
- Relation de spécialisation
- Agents de transformation
- Valeurs par défaut
- Valeurs fixes et contraintes strictes
- Contraintes de type et métadonnées
- Métadonnées comme informations de contraintes associées au type
- Contraintes de rôle
- Domaines de slots
- Valeurs dans l'hypergraphe
- Accès à l'information contenue dans l'hypergraphe conceptuel
- Référence technique de l'hypergraphe
- Dimensions de passage à l'échelle
- Passage à l’échelle du graphe
- Scaling dans le contexte de l'hypergraphe conceptuel
- Tenseurs conceptuels
- Tenseurs denses
- Construire un réseau neuronal dense
- Construire un GNN multicouche
- Construire un GNN à une couche
- Training an AI
- Réseaux neuronaux sur données conceptuelles
- Quantification vectorielle
- Exécution tensorielle WebGPU
- Tenseurs de l’hypergraphe conceptuel
- API — Hypergraphe conceptuel
- Contrat de service LLM
- Cycle de vie du provider llama.cpp
- Exécuter un modèle local avec le provider llama.cpp
- Intégration LLM du Runtime
- Patterns d’usage des LLM
- Backends de calcul tensoriel
- Tenseurs conceptuels
- Tenseurs denses
- Réseaux feed-forward (FFN)
- Graph Neural Networks (GNN) dans logiCells
- Opérations tensorielles
- Runtime Transformer
- Quantification des poids
- Tenseurs — Calcul numérique relié aux concepts
- Automate d'évaluation — accès par point
a.b - Automate d'évaluation —
for ... to ... do - Automate d'évaluation — expression
if - Automate d'évaluation — lambda et application
- Automate d'évaluation —
map - Automate d'évaluation — pattern matching
- Automates d'évaluation FPLN
- Machines d'état d'évaluation
- Stratégie d'évaluation FPLN
- Moteur multiparadigme
- Actions
- Classe
- Collections
- Collection elements
- Joins
- Unions
- Collection reference
- Actions declaration in YAML
- Class declaration in YAML
- Collections declaration in YAML
- Concepts declaration in YAML
- Events declaration in YAML
- Index declarations in YAML
- States declaration in YAML
- Declarative YAML reference
- Entities
- Events
- Execution flow
- Lifecycle
- Processes
- Building a process
- Relations
- Roles and role paths
- Rules
- States
- Transitions
- Views
- Métadonnées applicatives
- Applications
- Déclaration d'application YAML
- Manifest de classes YAML
- Déclaration de package YAML
- Manifest — Manifeste de module de modèles
- Package — Rôle conceptuel dans l’architecture logiCells
- Organisation d’un projet logiCells
- Publication d'applications desktop
- Vues, contrôleurs et publication UI
- Publication d'une application Web
- UXfc — Consultation
- UXfc — Exploration
- UXfc — Selection
- Composants UXfc intentionnels
- Sélection avec autocomplétion
- Case à cocher
- Visualisation de données
- Sélecteur de date
- Champ d’édition
- Libellé
- Interrupteur
- Champ de sélection
- Action List
- Action Menus
- Browser View
- Button
- Class Item Inspector Tree
- Collection Management Panel
- Panel
- Data Action Panel
- Data Navigation Panel
- Grille de dataset
- Dataset List View
- Vue de sélection de relations
- Dataset Relation Panel
- Explorer View
- Panneau d'aide
- Log View
- Master View
- Object Icon
- Object Inspector
- Vue d’un objet
- Object Tree
- Retractable Region
- Split View
- Status View
- Tabbed View
- Tabular View
- Éditeur de texte
- UXfc — composants fonctionnels et intentionnels
- Publication de services et OpenAPI
- Publication de services
- Intégration REST externe
- Publication
- Manifeste ABI
- Chaîne de génération des bindings
- Buffers d'octets et charges binaires
- Pont FPL vers ABI
- Contrat de fidélité d'interopérabilité
- Tableaux générés
- Invocation et exécution ABI
- Marshalling ABI et types de valeurs
- Contrat de module natif
- Ownership et libération ABI
- Transport RPC fondé sur l'identité ABI
- Identité d'invocation stable
- Chaînes UTF-8 dans les wrappers ABI générés
- Architecture du générateur ABI
- Stratégie du runtime C au niveau ABI
- ABI logiCells : contrat binaire public
- Modèle de threading et d’exécution
- API publique logiCells
Agents
- Action
- Architecture agentique de logiCells
- Collaboration
- Runtime de monde conceptuel
- Gouvernance des agents
- Architecture
- Mémoire
- Perception
- Raisonnement
- Réflexion
- Agents
- Ontologie des agents
- Exemples agentiques
- Modèle d’agent H-Logic
- Implémentation
- Raisonnement basé sur les itérateurs
- API mémoire
- API du modèle du monde
- Graphe de mémoire de l’agent
- Mémoire épisodique
- Mémoire
- Récupération et contexte
- Mémoire sémantique
- Rôles d’agents
- Modèles de collaboration
- Délégation
- Délégation
- Mémoire partagée
- Supervision
- Routage de complexité
- Prise de décision
- Raisonnement GNN / HGNN
- Raisonnement
- LLM Reasoning
- Planification
- Raisonnement symbolique
- Architecture de raisonnement tri-moteur
- ERP adaptatif
- Gouvernance du code agentique
- Stratégie
- Machine virtuelle sémantique
- Traces d’action
- Outils et MCP
- Validation humaine
- Frontière MCP
- Governance des outils
- Modèle ToolCall
- Consolidation
- Mémoire contextuelle
- Modèle conceptuel du monde
- Couches d’hypothèses
- Monde conceptuel en couches
- Couches de simulation
- État du monde
Algorithms
Architecture
- ADR : DOM comme frontière d'équivalence
- ADR : déterminisme et gates de validation
- ADR : modèle polyadique natif
- Décisions d'architecture
- Architecture distribuée
- Couche de mémoire conceptuelle
- Modèle d’exécution
- Couche moteur multiparadigme
- Couche applicative
- Projection du client natif
- Ajouter un mapping de composant Web
- Mettre en place une projection React
- Publication Web
- Métadonnées logiCells vers Web
- Couche de publication MVC
- Génération OpenAPI
- Publication par services
- Couche de publication
- Structure en couche
- Architecture multi-tenant
- Plan de l’hypergraphe conceptuel
- Notes de compatibilité des connecteurs de données
- Plan de données
- Plan de sécurité
- Abstraction du bus
- Bus de messages
- Gestion des canaux
- Abstractions de communication
- Communication pair-à-pair
- Architecture P2P
- Architecture de communication Web
- Services Web
- La couche de communication
- Plan de gestion
- Plan d’interopérabilité
- Plan middleware
- Data Synchronizer
- Service HTTP
- Service de messagerie orientée messages
- Adaptateur RabbitMQ
- Registre et découverte de services
- Adaptateur SMTP
- Adaptateur de processus STDIO
- Service de synchronisation distribuée
- Adaptateur de transport TCP
- Adaptateur WebSocket
- Service Runtime Plane
- Plans transverses de l’architecture
- Architecture logiCells
Bindings
- Choisir le bon binding
- Tableaux, chaînes et callbacks dans les bindings .NET générés
- Constructeurs et factories
- Méthodes et propriétés générées
- Modèle objet .NET généré
- Durée de vie et libération des objets Runtime générés
- Exécution locale et distante avec un même modèle généré
- Binding .NET
- Roadmap des SDK et bindings
- SDK et bindings
Conceptual
- Vue d’ensemble de l’architecture
- LLM, SLM et moteur conceptuel
- FPLN : les modes d’évaluation en détail
- Du concept à l’exécution
- Qu’est-ce qu’un moteur conceptuel ?
- Programmation conceptuelle
Conceptual-Patterns
DataScience
- Datascience avec le moteur FPLN intégré
- Data Science avec exécution native au Runtime
- Approche usages
- Infrastructure pour la datascience
DevOps
- ClassItems
- Plug-ins et extensions
- Organisation des applications logiCells
- Outils de modélisation et diagrammes
- Outils de modélisation
- Todo
- Construction d’un projet .NET
- Java
- Chemin de binding Python
- Utilisation du moteur Webkit dans l'environnement logiCells
- La traque des fuites mémoires
- Android
- IOS
- Intégration Runtime sous Linux
- Compilation et déploiement sur MacOSX
- Assistant de build plateforme
- Compiling-logiCells-as-Console
- Bibliothèque Runtime et wrappers générés
- Coder des applications sur la plateforme logiCells
- Commentaires
- Contrôle de flux
- Fonctions
- Gestion de la mémoire
- Conversion de types
- Types de script
- Variables et mutabilité
- Currying
- Fonctions comme valeurs
- Lambdas et closures
- Grammaire FPL
- Source de grammaire et outillage de parsing
- Scripting avec le framework logiCells
- Documentation du langage FPL
- Introduction
- Introduction
- Tests des modèles de la couche application
- Mise en oeuvre d'une stratégie de tests
- Local application tests
- Tests unitaires et de contrat
- A rediger, voir les outils tiers
- Déployer des applications logiCells
- Développement et exploitation
Developer
- IA, agents et exécution gouvernée
- Actions, événements et processus
- Collections, vues et DataSets
- Contraintes, valeurs par défaut et validité
- Déploiement et distribution
- Checklist de reproductibilité développeur
- Application Task de bout en bout
- Intégration externe et conception local-first
- Modèles, concepts, facettes et relations
- Packages, manifests et applications
- Persistance, transactions et cohérence
- Structure du projet et chargement
- Exécution Runtime et contextes
- Services et publication
- Tests, diagnostic et validation
- Événements DataSetManager
- Formulaires, listes et dashboards dynamiques
- ObjectBehind et PageControler
- Reactive desktop frames
- Cache de données de vue
- Diagnostic et tests des vues
- Projections de vues et UXfc
- Composants web réactifs
- Vues et UX
- Développement d’applications déclaratives
- Diagnostiquer une application declarative
- Packages de tests declaratifs
- Checklist de reproductibilite d'ingenierie
- Patterns et frontieres d'extension
- Gouverner l'evolution du modele
- Logs, diagnostics et tracabilite
- Performance et complexite du modele
- Tester les modeles conceptuels
- Pratiques d'ingenierie conceptuelle
- Conventions du premier projet
- Première exécution vérifiée
- Matrice de plateformes et parité
- Prérequis et contrat d'installation
- Démarrage : de zéro à un modèle exécuté
- Choisir une boucle de développement
- De la sémantique validée aux modèles déclaratifs
- Workflow H-Logic-first
- Workflow model-first
- Gates de validation et provenance
- Méthodologie de développement
- Qu'est-ce qui fait autorité et qu'est-ce qui est disponible ?
- Collections, providers de données et persistance
- De FPL vers un module ABI natif
- Construction de l'hypergraphe et H-Logic
- Durée de vie, propriété et arrêt contrôlé
- Raisonnement neuro-symbolique et exécution LLM résidente
- Couches, autorités et états du Runtime
- Parcours de bout en bout du Runtime natif
- Services Runtime, messages et communication distante
- Tests et préparation à la production
- Runtime natif : parcours de programmation
- Configuration application
- Arbre de déploiement
- Checklist de reproduction exploitation
- Configuration par environnement
- Exemple de service HTTP
- Diagnostic opérationnel
- Chargement package et modèles
- Familles de services Runtime
- Modèle des services Runtime
- Mises à jour et déploiement en conteneur
- Services Runtime, packaging et déploiement
- Frontières de capacité : Runtime, LP et LCH
- Un modèle, Runtime local ou distant
- Maturité documentaire et preuves
- Contrat de plateforme développeur
- Actions et contrats de résultat
- DataSets et scripts de page
- Checklist de reproduction des scripts Runtime
- Événements et processus depuis les scripts
- Expressions et variables
- Essentiels functionalP
- Listes, fonctions et contrôle de flux
- Objets Runtime et expressions pointées
- Recettes Runtime
- Diagnostic des scripts et frontières
- Scripts Runtime et recettes
Domain-Engineering
- Application au package
party - Règles d’architecture et de modélisation
- Méthodologie de génération de modules métier basés sur la connaissance à partir d’un LLM
- Génération assistée par LLM et génération neuro-symbolique
- Cadre méthodologique
- Méthode de développement d’un module
- Méthodologie de génération de modules métier fondés sur la connaissance à partir d’une AI neuro-symbolique
- Gabarit de spécification de package
- Ingénierie des modules métier fondée sur la connaissance
- Pipeline de génération d’un module métier
- Exemple guidé autour du package
party - Positionnement du LLM dans l’ingénierie de domaine
- Méthodologie de prompting et structuration du contexte
- Validation, durcissement et projection technique
- Orchestration IA, prompts et validation
- Exemple guidé autour du package
party - Critères d’industrialisation et gouvernance
- Positionnement de l’AI neuro-symbolique dans l’ingénierie de domaine
- Pipeline neuro-symbolique de génération d’un module métier
- Représentations symboliques, contraintes et raisonnement
Guides
- Domain-driven design et sémantique exécutable
- Programmation conceptuelle déclarative : carte de décision
- Concevoir des jumeaux numériques gouvernés
- Construire un ERP moderne : patterns structurels
- Architecture neuro-symbolique : indices et preuves
- Guides transverses : choisir un problème de conception
Knowledge-Engineering
Navigation
Roles
- Développeur applicatif : antipatterns
- Parcours de construction d'une application
- Interactions avec les autres rôles
- Développeur d'application — Questions clés
- Développeur applicatif
- Patterns d'architecture avancés
- Du niveau de base aux architectures avancées
- Questions clés de l'architecte
- Carte de navigation — Architecte
- Architecte
- DSI / CIO — Anti-patterns
- DSI / CIO — Questions clés
- DSI / CIO
- Développeur Core — Anti-patterns
- Développeur du cœur : questions clés
- Développeur Core
- Métadonnées d'action et logique globale
- Concevoir une action avec FPL
- Développeur FPL — Anti-patterns
- Développeur FPL — Questions clés
- Développeur FPL
- De la recherche à la capacité industrielle
- Direction R&D — Questions clés
- Responsable R&D
- Intégrateur plateforme — Anti-patterns
- Intégrateur plateforme — Questions clés
- Intégrateur plateforme
- Parcours par rôle
Technical
- Outil en ligne de commande
- Blockchain interaction
- Public-Blockchain-Interaction
- Notes sur l’IA neuronale
- Pattern « class as record »
- Architecture de sécurité distribuée
- Stratégie de tests techniques
- Concurrence Runtime et pools de workers
- Parsing SAX dans le framework logiCells
Tools
- Génération de modèles applicatifs en utilisant des modèles de langages (LLM ou SLM)
- Diagrammes d’architecture
- Prérequis
- Outils de développement d’application
- Éléments de package
- Fichiers de modèles
- Générer un squelette de tests unitaires
- Débogage d’application
- Remarque : Désinstallation d'une extension sur Visual Studio Code
- Le plug-in Visual Studio Code
Tutorials
- Tutoriels logiCells
- Tutoriel : construire les vues du module Task Management
- Tutoriel : construire un module de gestion de tâches
- Tutoriel : publier une API de gestion d'utilisateurs
UseCases
- IA tenant compte des processus
- IA et processus métier
- Revue de risque assistee par IA
- Actions et workflow de revue
- Integration client .NET
- Checklist d'implementation du risque client
- Relations, regles et contraintes
- Scenario et modele de domaine
- Tests et evolution du modele
- Vues et publication de services
- Gestion du risque client - exemple complet
- Détection de fraude
- Jumeaux numériques : modèles conceptuels et actifs
- IoT, événements et jumeaux numériques
- Usage en base de connaissance
- Spécification métier et vocabulaire
- Checklist d’implémentation du cas stock
- Opérationnalisation vers les modèles déclaratifs
- Projections de requête et index
- Règles, diagnostics et propagation
- Entités temporelles et relations de support
- Validation et plan de tests
- Analyse temporelle de stock - cas complet H-Logic-first
- Introduction — Cas d’usage et domaines d’application