Raisonnement
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
Le raisonnement peut réunir validation symbolique et sélection numérique des candidats, tout en conservant source et preuve.
Le cycle neuro-symbolique distingue observations, propositions de candidats, scores numériques, validation logique et matérialisation gouvernée. Il peut classer les actions ou relations probables avant d’engager une évaluation symbolique plus coûteuse, mais un candidat ne devient un fait faisant autorité qu’après respect du contrat sémantique adapté.
Règles d’ingénierie
- Suivre le passage observation → proposition → fait accepté.
- Utiliser le classement comme optimisation, non comme remplacement de la preuve.
- Conserver provenance et incertitude jusqu’à la fin de la validation.
- Appliquer des bornes, des stratégies de repli et un rejet explicite des résultats incomplets.
Plan du chapitre (intitulés LaTeX d’origine)
- Effect We Want
- Complete Runtime Cycle
- Neural Inputs
- Safe and Approximate Modes
- Materialization Policy
- Learning from the Dictionary and Lattice
Provenance LaTeX
Chapitre principal : logicells-neuro-symbolic-architecture-guide/chapters/operational-neuro-symbolic-cycle.tex.