Resumen: Respuesta de consulta compleja (CQA) sobre gráficos de conocimiento incompletos (KG), típicamente formalizados como razonamiento con lógica de predicado de primer orden existencial con una variable gratuita (EFO $ _1 $), enfrenta una compensación fundamental entre la solidez lógica y la eficiencia computacional. Este trabajo establece la dicotomía de la skolemización de conexión a tierra para analizar sistemáticamente los métodos CQA a través de la lente de la lógica formal. Mientras que los métodos basados en la base sufren inherentemente de explosión combinatoria, la mayoría de los métodos basados en la escolemización no modifican explícitamente funciones Skolem y comprometen la consistencia lógica. Para abordar estas limitaciones, proponemos la arquitectura simbólica vectorial limitada por la lógica (LVSA), un marco neuroimbólico que unifica un módulo de escolemización diferenciable y un negador neural, así como un protocolo de optimización lógico basado en restricciones para armonizar los requisitos geométricos y lógicos. Teóricamente, LVSA garantiza la universalidad para todas las consultas EFO $ _1 $. Empíricamente, supera a los métodos basados en la escolemización de última generación y reduce los costos de inferencia por órdenes de magnitud en comparación con las líneas de base basadas en la base.
Publicado Originalme en export.arxiv.org El 15 de septiembre de 2025.
Ver Fuente Original
