ASP para Programación de Quirófanos en Hospital Privado de Lisboa
Visión general
De qué trata este proyecto.
Recibirás 30 días de programación histórica con sus restricciones reales y la heurística manual. Modela el problema en ASP: facts (cirugías, equipos, quirófanos), rules (especialidad coincide, no solapamientos, equipos disponibles), y optimization (minimizar turnos extra, balancear carga). Resuelve con clingo y compara contra la planificación manual en utilización de quirófanos, cirugías programadas y horas extra. Mide tiempo de resolución (objetivo ≤2 minutos para una jornada). Entrega encoding ASP, scripts, y un informe técnico de 3 páginas.
El Briefing
Lo que harás y lo que demostrarás.
Modela la programación diaria de quirófanos en ASP y demuestra mejora frente a la planificación manual con resolución dentro del presupuesto de tiempo.
Earning criteria — what you'll demonstrate
- Modelar problemas combinatorios reales en ASP
- Aplicar reglas, restricciones y optimización con clingo
- Comparar planificación lógica contra heurística humana con métricas operacionales
- Comunicar decisiones interpretables a una audiencia clínica
Encaje académico
Dónde encaja esto en tus estudios.
Afina las mismas habilidades que tu titulación espera de ti.
Habilidades
Habilidades que demostrarás.
Cada una aparece en tu credencial verificada.
Carreras
Roles para los que esto te prepara.
Títulos reales. Puentes de habilidades reales. Elige el que más se acerque a tu trayectoria.
Trayectorias profesionales que esto construye
Roles canónicosInvestigador en Aprendizaje Automático
Modelar problemas combinatorios reales con ASP es trabajo recurrente del ML Researcher en investigación operacional aplicada.
Este proyecto afina
- answer-set-programming
- logic-programming
- scheduling
Científico en IA Aplicada
Aterrizar lógica simbólica en una operación clínica con métricas y memo es trabajo del Applied AI Scientist.
Este proyecto afina
- knowledge-representation
- operations-research
- scheduling
Científico de Datos
Comparar planificación lógica con heurística humana sobre datos históricos es trabajo del Data Scientist en salud privada.
Este proyecto afina
- scheduling
- python
- operations-research