Resumen: Proponemos un enfoque neurosimbólico para la explicación de secuencias complejas de decisiones que combinan las fortalezas de los procedimientos de decisión y los grandes modelos de lenguaje (LLM). Demostramos este enfoque produciendo explicaciones para las soluciones de los rompecabezas hitori. Las reglas de Hitori incluyen restricciones locales que se explican efectivamente por pruebas de resolución corta. Sin embargo, también incluyen una restricción de conectividad que es más adecuada para explicaciones visuales. Por lo tanto, Hitori proporciona un excelente campo de prueba para una combinación flexible de solucionadores SAT y LLM. Hemos implementado una herramienta que ayuda a los humanos a resolver rompecabezas hitori, y presentamos evidencia experimental de su efectividad.
Publicado Originalme en export.arxiv.org El 20 de agosto de 2025.
Ver Fuente Original
