Observatorio de información y Publicaciones

Resumen:Desarrollar e implementar aplicaciones de IA en organizaciones es un desafío cuando la autoridad de decisión y la supervisión humanas no están suficientemente especificadas a lo largo del ciclo de vida del sistema.

Resumen: Los servicios de IA en tiempo real operan cada vez más en el continuo dispositivo-borde-nube, donde agentes autónomos de IA generan cargas de trabajo sensibles a la latencia, organizan procesos de procesamiento de múltiples etapas y compiten por recursos compartidos bajo restricciones de políticas y gobernanza.

Resumen:Resolver restricciones que involucran definiciones inductivas (también conocidas como recursivas) es un desafío. Los solucionadores SMT/CHC de última generación y los probadores de lógica de primer orden solo brindan un soporte limitado para resolver tales restricciones, especialmente cuando involucran, por ejemplo, tipos de datos abstractos.