Autor: FORRADELLAS MARTINEZ, Raimundo
Título: Un modelo para la resolución de sistemas dinámicos con restricciones en el marco CLP
Fecha: 1995
Materia: Sin materia definida
Escuela: E.T.S. DE INGENIEROS DE TELECOMUNICACION
Departamento: MATEMATICA APLICADA A LAS TECNOLOGIAS DE LA INFORMACION
Director/a(s):
- Director/a: ARRIAGA GOMEZ, Fernando de
Resumen: Se presenta una metodología para la representación y resolución de problemas dinámicos con restricciones, y el correspondiente modelo de representación y su marco operacional. La problemática de la dinamicidad se genera a partir de dos situaciones: cuando la instancia de un problema ya resuelto es modificada por algún evento externo, y cuando por el mencionado evento se generan inconsistencias en la instancia del problema. Este tipo de problemas se encuentran habitualmente en tareas de planificación y control, donde por causas externas es necesario replanificar, resolviendo los conflictos generados. El modelo propuesto se limita al estudio de restricciones lineales sobre variables de dominio finito, y presentan diferentes estrategias y algorítmos para el tratamiento de situaciones dinámicas en sistemas con restricciones