Chain-Oriented Objective Logic with Neural Network Feedback Control and Cascade Filtering for Dynamic Multi-DSL Regulation
Jipeng Han

TL;DR
This paper introduces a neuro-symbolic framework called COOL that combines hierarchical logic partitioning with neural feedback control to improve reasoning stability, scalability, and reliability in industrial AI applications involving complex rule sets.
Contribution
The paper presents COOL, a novel neuro-symbolic architecture that integrates hierarchical reasoning with neural feedback control, ensuring stability and efficiency in large-scale, heterogeneous rule-based systems.
Findings
Achieves 100% accuracy with 70% improvement over previous methods
Reduces tree operations by 91%, accelerating execution by 95%
Under adversarial conditions, improves accuracy and reduces computational cost by 64%
Abstract
Contributions to AI: This paper proposes a neuro-symbolic search architecture integrating discrete rule-based logic with lightweight Neural Network Feedback Control (NNFC). Utilizing cascade filtering to isolate neural mispredictions while dynamically compensating for static heuristic biases, the framework theoretically guarantees search stability and efficiency in massive discrete state spaces. Contributions to Engineering Applications: The framework provides a scalable, divide-and-conquer solution coordinating heterogeneous rule-sets in knowledge-intensive industrial systems (e.g., multi-domain relational inference and symbolic derivation), eliminating maintenance bottlenecks and state-space explosion of monolithic reasoning engines. Modern industrial AI requires dynamic orchestration of modular domain logic, yet reliable cross-domain rule management remains lacking. We address…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems · Formal Methods in Verification
