Routage de complexité
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
La complexité du raisonnement est une question de ressources : borner l’inférence et revenir à un repli sûr quand le budget ou les preuves sont insuffisants.
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)
- Budget Dimensions
- Guidance Interaction
- Execution Result
- Guidance-Induced Timeout
- Example
Provenance LaTeX
Chapitre principal : logicells-neuro-symbolic-architecture-guide/chapters/resource-bounded-reasoning.tex.