Modelado y Resolución del Problema de Asignación de Horarios para el Transporte Ferroviario utilizando Técnicas de Satisfacción de Restricciones

Abstract

El transporte ferroviario tiene un rol importante y creciente en muchos países, lo cual crea la necesidad de optimizar el uso de la infraestructura ferroviaria y los métodos y herramientas para su administración. La construcción de horarios ferroviarios es una tarea difícil que consume mucho tiempo, particularmente en el caso de redes ferroviarias reales. El objetivo del trabajo que se presenta, es realizar un modelado del problema de asignación de horarios para el trasporte ferroviario que permita aplicar las diferentes técnicas de resolución de programación de restricciones existentes en la literatura y evaluar su efectividad. El trabajo es de tipo descriptivo-documental bajo la modalidad de investigación básica. La metodología utilizada es del área de Inteligencia Artificial. Consiste en desarrollar una herramienta autómata que permita modelar instancias reales del problema como un Problema de Satisfacción de Restricciones (CSP); aplicar técnicas de solución y posteriormente evaluar los resultados. Se propone un modelado binario de CSP no-normalizado que contempla reglas de tráfico, requerimientos del usuario y reglas topológicas de una infraestructura real. Los resultados de las pruebas indican que en la búsqueda el algoritmo BLS tuvo un desempeño superior al 8