Resumen: Los modelos basados en lógica se pueden utilizar para crear herramientas de verificación para clasificadores de aprendizaje automático empleados en el campo legal. Los clasificadores de ML predicen los resultados de casos nuevos basándose en los anteriores, realizando así una forma de razonamiento basado en casos (CBR). En este artículo, presentamos una lógica modal de clasificadores diseñados para capturar formalmente la RBC legal. Incorporamos principios para la resolución de conflictos entre precedentes, introduciendo en la lógica la dimensión temporal de los casos y la jerarquía de los tribunales dentro del ordenamiento jurídico.
Publicado originalmente en export.arxiv.org el 15 de octubre de 2025.
Ver fuente original
