LLM, SLM et moteur conceptuel
Référence : cette page est une synthèse technique fondée sur le chapitre LaTeX cité ci-dessous. Pour la syntaxe exacte, la disponibilité ou les signatures ABI, vérifier le source versionné, le manifeste et les tests exécutables.
Portée et frontière de la source
Un LLM peut classer ou proposer des candidats conceptuels ; sa sortie linguistique ne constitue pas une preuve logique.
Les tenseurs et vecteurs sont des projections numériques dérivées d’un état sémantique ou Runtime. La source explique comment embeddings, recherche latente et buffers résidents accélèrent la sélection de candidats, tandis que les décisions logiques demeurent sous autorité sémantique. Score numérique et preuve H-Logic obéissent donc à des règles de validité et de cycle de vie différentes.
Règles d’ingénierie
- Enregistrer le concept ou le fait représenté par chaque vecteur.
- Invalider ou actualiser les projections numériques après modification du modèle source.
- Utiliser la similarité pour prioriser l’évaluation, non pour inventer une relation sémantique.
- Gérer explicitement fournisseur de tenseurs, mémoire et durée de vie sur le matériel.
Plan du chapitre (intitulés LaTeX d’origine)
- Candidate Contract
- Composite Scoring
- Context Integration
- Example
Provenance LaTeX
Chapitre principal : logicells-neuro-symbolic-architecture-guide/chapters/neural-intuition-contract.tex.