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.