Complexity Routing
Reference: This page is a source-based technical synthesis of the LaTeX chapter cited below. For exact syntax, availability or ABI signatures, verify the versioned source, manifest and executable tests.
Scope and source boundary
Reasoning complexity is a resource decision: bound inference and fall back safely when the budget or available evidence is insufficient.
The neuro-symbolic cycle distinguishes observations, candidate proposals, numerical scores, logical validation and governed materialization. It is useful to rank likely actions or relations before paying the full symbolic evaluation cost, but a candidate only becomes an authoritative fact after the appropriate semantic contract is satisfied.
Engineering rules
- Track the transition from observation to proposal to accepted fact.
- Use ranking as an optimization, not a substitute for proof.
- Retain provenance and uncertainty until validation completes.
- Apply bounds, fallback strategies and explicit rejection on incomplete results.
Chapter outline (original LaTeX headings)
- Budget Dimensions
- Guidance Interaction
- Execution Result
- Guidance-Induced Timeout
- Example
LaTeX provenance
Primary chapter: logicells-neuro-symbolic-architecture-guide/chapters/resource-bounded-reasoning.tex.