From Eigenmodes to Proofs: Integrating Graph Spectral Operators with Symbolic Interpretable Reasoning
2509.07017v1
cs.AI, cs.CL, cs.LG
2025-09-11
Авторы:
Andrew Kiruluta, Priscilla Burity
Резюме на русском
## Контекст
Одной из существующих проблем классического логического программирования является его неэффективность при работе с большими множествами данных. Отсутствие гибкости и интерпретируемости данных моделей усложняет их применение в реальных задачах. Нейро-символьные модели, в свою очередь, предоставляют гибкость и интерпретируемость, но часто страдают от проблем с объемом данных и недостаточной стабильностью. Эта ситуация требует развития новых подходов, которые объединяли бы преимущества графов, графового сигнального процессинга (GSP) и логического программирования.
## Метод
"Spectral NSR" — это современная модель, которая объединяет архитектуру графов и логику символьного программирования. Она использует графовую спектральную разложительную модель (GSP), построенную на основе лапласианской структуры знаний. Модель выполняет вывод в спектральном домене, что позволяет использовать графовые спектры для вычисления. Эта модель также включает в себя различные расширения, такие как динамическое обучение базиса, множественные фильтры для более точного спектрального выделения, и многоспектральную специализацию. Более того, Spectral NSR использует тренировочный процесс, основанный на логических доказательствах, а также учет неопределенности в моделировании.
## Результаты
На тестах ProofWriter и CLUTRR Spectral NSR показала существенно вышу скорость вывода и точность по сравнению с соревнующими моделями, такими как трансформеры, сети сообщений и логические модели. Эксперименты показали, что модель лучше справляется с атаками адверсарных вкраплений и обеспечивает более высокую интерпретируемость решений. Анализ атрибуции спектров и согласование проверки доказательств подтвердили, что решения Spectral NSR тесно соответствуют символьным доказательствам. Также были проведены эксперименты на конвертации доменов, демонстрирующие эффективность модели в адаптации к новым задачам.
## Значимость
Модель Spectral NSR имеет широкие применения в области нейро-символьного рассуждения, в том числе в робототехнике, здравоохранении, финансовых системах и других областях, где необходима точность, гибкость и интерпретируемость моделей. Эта модель предлагает значительные преимущества перед существующими моделями, такими как более высокая скорость, лучшая устойчивость к атакам и повышенная интерпретируемость моделей. Будущие исследования будут сфокусированы на улучшении эффективности, изменении архитектуры для большей гибкости и расширении возможностей для широкого круга приложений.
## Выводы
Spectral NSR представляет собой прорыв в об
Abstract
We introduce Spectral NSR, a fully spectral neuro-symbolic reasoning
framework that embeds logical rules as spectral templates and performs
inference directly in the graph spectral domain. By leveraging graph signal
processing (GSP) and frequency-selective filters grounded in the Laplacian
eigenstructure of knowledge graphs, the architecture unifies the
interpretability of symbolic reasoning with the scalability and adaptability of
spectral learning. Beyond the core formulation, we incorporate a comprehensive
set of extensions, including dynamic graph and basis learning, rational and
diffusion filters for sharper spectral selectivity, mixture-of-spectral-experts
for modular specialization, proof-guided training with spectral curricula, and
uncertainty quantification for calibrated confidence. Additional enhancements
such as large language model coupling, co-spectral transfer alignment,
adversarial robustness, efficient GPU kernels, generalized Laplacians, and
causal interventions further expand the versatility of the framework.
Empirical evaluation on state-of-the-art reasoning benchmarks such as
ProofWriter and CLUTRR demonstrates that Spectral NSR achieves superior
accuracy, faster inference, improved robustness to adversarial perturbations,
and higher interpretability compared to leading baselines including
transformers, message-passing neural networks, and neuro-symbolic logic
programming systems. Spectral attribution and proof-band agreement analyses
confirm that model decisions align closely with symbolic proof structures,
while transfer experiments validate effective domain adaptation through
co-spectral alignment. These results establish Spectral NSR as a scalable and
principled foundation for the next generation of reasoning systems, offering
transparency, robustness, and generalization beyond conventional approaches.
Ссылки и действия
Дополнительные ресурсы: