← heapsort-ai

Neuro-symbolic AI

17 items

ARTICLEDEV.to AI·23/04/2026

Adaptive Neuro-Symbolic Planning for planetary geology survey missions for extreme data sparsity scenarios

Este conteúdo explora as limitações de sistemas de planejamento tradicionais e abordagens puramente neurais para navegação autônoma de rovers em missões de levantamento geológico planetário com escassez extrema de dados. A autora encontrou no raciocínio neuro-simbólico uma solução híbrida, combinando o reconhecimento de padrões de redes neurais com o rigor lógico do raciocínio simbólico.

59
RESEARCHarXiv CS.CL·08/05/2026

ReaComp: Compiling LLM Reasoning into Symbolic Solvers for Efficient Program Synthesis

O ReaComp compila o raciocínio de LLMs em resolvedores simbólicos para síntese de programas, abordando a ineficiência e falta de confiabilidade das LLMs em tarefas difíceis. Esses resolvedores autônomos superam as LLMs em precisão e eficiência, e melhoram as configurações híbridas neuro-simbólicas, reduzindo significativamente o uso de tokens.

29
RESEARCHDEV.to AI·14/04/2026

Adaptive Neuro-Symbolic Planning for deep-sea exploration habitat design in hybrid quantum-classical pipelines

Um agente de reinforcement learning falhou ao otimizar um projeto de habitat subaquático, criando uma estrutura fisicamente impossível devido à flexibilidade das restrições simbólicas. Este incidente demonstrou as limitações da IA sub-simbólica pura para designs críticos, impulsionando a pesquisa em planejamento neuro-simbólico adaptativo.

28
RESEARCHarXiv CS.AI·07/05/2026

Temporal Reasoning Is Not the Bottleneck: A Probabilistic Inconsistency Framework for Neuro-Symbolic QA

Este artigo de pesquisa argumenta que o gargalo no raciocínio temporal de grandes modelos de linguagem não reside na dedução lógica, mas sim na representação não estruturada de texto para evento. Ele introduz uma estrutura neuro-simbólica de perguntas e respostas que usa um Sinal de Inconsistência Probabilística (PIS) para dissociar a extração semântica do raciocínio simbólico.

28
RESEARCHarXiv CS.AI·22/04/2026

From Natural Language to Executable Narsese: A Neuro-Symbolic Benchmark and Pipeline for Reasoning with NARS

Este artigo introduz uma estrutura neuro-simbólica para traduzir problemas de raciocínio em linguagem natural para Narsese executável, utilizando lógica de primeira ordem. Apresenta o NARS-Reasoning-v0.1, um novo benchmark com problemas de raciocínio e suas representações formais e rótulos de verdade para avaliar capacidades de raciocínio.

27
RESEARCHarXiv CS.AI·07/05/2026

ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor

Este artigo apresenta ANDRE, um novo framework de Programação Lógica Indutiva (ILP) baseado em atenção, que aprende programas de lógica de primeira ordem. Ele otimiza um espaço contínuo de regras com operadores lógicos diferenciáveis e baseados em atenção, abordando desafios de escalabilidade em ambientes ruidosos e probabilísticos.

27
RESEARCHarXiv CS.AI·30/04/2026

Grounding vs. Compositionality: On the Non-Complementarity of Reasoning in Neuro-Symbolic Systems

Este trabalho desafia a suposição de que o raciocínio composicional emerge como subproduto da fundamentação simbólica em IA neuro-simbólica. Introduzindo a arquitetura $i$LTN, demonstra-se que modelos treinados apenas com um objetivo de fundamentação falham em generalizar, enquanto o treinamento conjunto com fundamentação perceptual e raciocínio multi-etapa é crucial.

27
RESEARCHarXiv CS.LG·22d atrás

Logical Grammar Induction via Graph Kolmogorov Complexity: A Neuro-Symbolic Framework for Self-Healing Clinical Data Integrity

Este artigo apresenta Logic-GNN, uma estrutura neuro-simbólica que usa Redes Neurais Gráficas Temporais e Complexidade de Kolmogorov para detectar erros de entrada de dados em registros clínicos. Ele identifica anomalias como "violações gramaticais" em uma gramática lógica latente de interações médicas, alcançando um F1-score de 0.94.

27
RESEARCHarXiv CS.AI·23/04/2026

EvoForest: A Novel Machine-Learning Paradigm via Open-Ended Evolution of Computational Graphs

EvoForest apresenta um novo sistema neuro-simbólico para a evolução aberta de computação, superando as limitações da otimização de parâmetros tradicional. Ele coevolui estruturas computacionais, famílias de funções e componentes treináveis para resolver problemas complexos de predição estruturada.

27