ASP para Programación de Quirófanos en Hospital Privado de Lisboa
Visión general
De qué trata este proyecto.
Modela quirófanos con ASP y clingo, optimizando turnos y carga. Entrega encoding, scripts e informe. Obtén un certificado verificable.
El escenario
El hospital (~280 camas, ~24.000 cirugías anuales en Lisboa) busca incrementar utilización de quirófano del 72% actual al 82% sin contratar nuevas plantillas.
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.
Fuzzy Logic, Knowledge Representation, and Symbolic Reasoning
Master · Ai Systems
Strong alignment
This challenge maps to Fuzzy Logic, Knowledge Representation, and Symbolic Reasoning at the Master level. It sharpens the same practical skills your coursework expects — but in a real industry context with actual constraints and deliverables.
Habilidades
Habilidades que demostrarás.
Cada una aparece en tu credencial verificada.
- Answer Set Programming
Apply answer set programming to solve real industry problems and demonstrate production-level capability.
- Logic Programming
Apply logic programming to solve real industry problems and demonstrate production-level capability.
- Scheduling
Apply scheduling to solve real industry problems and demonstrate production-level capability.
- Knowledge Representation
Apply knowledge representation to solve real industry problems and demonstrate production-level capability.
- Python
Write clean, efficient Python for data processing, automation, and backend services.
- Operations Research
Apply operations research to solve real industry problems and demonstrate production-level capability.
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.
Investigador 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