Resumen:Presentamos ABD, un punto de referencia para la abducción por excepción predeterminada en mundos finitos de primer orden. Dada una teoría de fondo con un predicado de anormalidad y un conjunto de estructuras relacionales, un modelo debe generar una fórmula de primer orden que defina excepciones, restaurando la satisfacibilidad mientras mantiene escasas las excepciones. Formalizamos tres regímenes de observación (mundo cerrado, finalización existencial, finalización universal) con verificación SMT exacta. Al evaluar diez LLM de frontera en 600 instancias, los mejores modelos logran una alta validez, pero persisten brechas de parsimonia, y la evaluación de resistencia revela distintos modos de falla de generalización entre regímenes.
Publicado originalmente en export.arxiv.org el 23 de febrero de 2026.
Ver fuente original
