Differentiable Symbolic Planning: A Neural Architecture for Constraint Reasoning with Learned Feasibility

Differentiable Symbolic Planning (DSP) é uma nova arquitetura neural que aborda a dificuldade das redes neurais com o raciocínio por restrições, permitindo o raciocínio simbólico discreto e diferenciável. Integrada a um Universal Cognitive Kernel (UCK), a UCK+DSP demonstra alta precisão e generalização em benchmarks de raciocínio por restrições e planejamento.