Resumen: Una gran clase de métodos neurales-simbólicos (NESY) emplea a un alumno de máquinas para procesar las entidades de entrada, al tiempo que depende de un razonador basado en la lógica de primer orden para representar y procesar relaciones más complejas entre las entidades. El proceso de fundamento lógico juega un papel fundamental para estos métodos, que determina las sustituciones relevantes para las reglas lógicas utilizando un conjunto (sub) de entidades. Algunos métodos NESY utilizan una derivación exhaustiva de todas las sustituciones posibles, preservando el poder expresivo completo del conocimiento lógico. Esto conduce a una explosión combinatoria en el número de fórmulas de tierra a considerar y, por lo tanto, limita fuertemente su escalabilidad. Otros métodos se basan en derivaciones selectivas basadas en heurística, que generalmente son más eficientes computacionalmente, pero carecen de una justificación y no proporcionan garantías de preservar la información proporcionada y devuelta por el razonador. Inspirándose en el razonamiento simbólico de múltiples saltos, este documento propone una familia parametrizada de métodos de conexión a tierra que generalizan el encadenamiento clásico hacia atrás. Diferentes selecciones dentro de esta familia nos permiten obtener métodos de base comúnmente empleados como casos especiales, y controlar la compensación entre expresividad y escalabilidad del razonador. Los resultados experimentales muestran que la selección del criterio de conexión a tierra es a menudo tan importante como el método de NESY en sí.
Publicado Originalme en export.arxiv.org El 13 de julio de 2025.
Ver Fuente Original
