CIEM 05476
CENTRO DE INVESTIGACION Y ESTUDIOS DE MATEMATICA
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
Selecciones medibles
Autor/es:
PEDRO SÁNCHEZ TERRAF
Lugar:
Santa Fe
Reunión:
Congreso; Reunión de la Unión Matemática Argentina; 2015
Institución organizadora:
Universidad Nacional del Litoral (Dpto Matemática); IMAL - Conicet
Resumen:
El teorema de Selectores Densos de Kuratowski y Ryll-Nardzewski es una versión del axioma de elección para conjuntos cerrados. De hecho, provee de funciones de elección medibles. En esta charla, mostraré una aplicación de este teorema que relaciona dos clases de procesos de decisión de Markov que se utilizan en Ciencias de la Computación: los procesos etiquetados de Markov (LMP) y su versión no determinista (NLMP). Estos modelos generalizan a los marcos de Kripke deterministas (con un sucesor por cada relación de accesibilidad) y a los generales, respectivamente, mediante el uso de probabilidades.
