Resumen: Los grandes modelos de lenguaje funcionan cada vez más como razonadores artificiales: evalúan argumentos, asignan credibilidad y expresan confianza. Sin embargo, su comportamiento de formación de creencias está gobernado por políticas epistémicas implícitas y no inspeccionadas.
Leer más →
Resumen: Se sabe que lograr la coherencia ligada para la restricción sin superposición es NP-completo. Por lo tanto, para esta restricción se han introducido varias técnicas de ajuste del tiempo polinomial, como la búsqueda de aristas, el razonamiento no primero ni el último y el razonamiento energético.
Leer más →
Resumen: Los sistemas de datos modernos deben respaldar la rendición de cuentas a través de desacuerdos legales, políticos y analíticos persistentes. Este requisito impone restricciones estrictas al diseño de cualquier ontología destinada a funcionar como un sustrato compartido.
Leer más →