Clp (temp)integración de restricciones temporales métricas y simbólicas en el marco clp

Laburpena

EN ESTE TRABAJO SE HA PROPUESTO UNA HERRAMIENTA TEMPORAL QUE PERMITE EXPRESAR PUNTOS E INTERVALOS TEMPORALES, POR UN LADO, Y RESTRICCIONES METRICAS Y SIMBOLICAS ENTRE ELLOS POR EL OTRO, EL TRABAJO INCLUYE LA DEFINICION DE UN NUEVO MODELO TEMPORAL Y SU CORRESPONDIENTE MODELO OPERACIONAL. EL LENGUAJE RESULTANTE, DENOMINADO CLP (TEMP), ES UNA NUEVA INSTANCIA DEL ESQUEMA CLP(X), LA CUAL INCORPORA COMO NUEVO DOMINIO DE COMPUTACION EL DOMINIO TEMPORAL. ESTE NUEVO DOMINIO DE COMPUTACION, USA UNA UNICA CLASE DE OBJETOS TEMPORALES, ESTO ES, INTERVALOS TEMPORALES, UNA UNICA CLASE DE RESTRICCION UNARIA, Y UNA UNICA CLASE DE RESTRICCION BINARIA. ESTA UNIFICACION, A LA VEZ DE PERMITIR UNA REPRESENTACION MAS SIMPLE COMPARADA CON LOS FORMALISMOS DE RAZONAMIENTO TEMPORAL EXISTENTES, TIENE MAYOR PODER EXPRESIVO QUE ESTOS, EN EL SENTIDO DE QUE SUBSUME EL PODER EXPRESIVO DE ESTOS, Y ADEMAS PERMITE REPRESENTAR RESTRICCIONES QUE NO ES POSIBLE EXPRESAR CON OTROS FORMALISMOS, COMO SON LAS RESTRICCIONES SIMBOLICO-METRICAS ENTRE INTERVALOS Y ENTRE PUNTO E INTERVALO. COMO VIMOS EN EL CAPITULO 5, ESTE TIPO DE RESTRICCIONES SURGE NATURALMENTE EN APLICACIONES DE PLANIFICACION Y SCHEDULING. POR OTRO LADO, EL HECHO DE QUE EL LENGUAJE ES UNA INSTANCIA DEL ESQUEMA CLP, PERMITE INTEGRAR EN UN MISMO MARCO LA PARTE LOGICA Y LA PARTE TEMPORAL. EN VARIAS APLICACIONES DE PLANIFICACION, LA PROPIA FORMULACION DEL PROBLEMA SE EXPRESA MEDIANTE FORMULAS LOGICAS QUE TIENEN ASOCIADO UN PERIODO DE TIEMPO, Y POR LO TANTO, UN SISTEMA DE RAZONAMIENTO TEMPORAL ORIENTADO A PLANIFICACION DEBE SER CAPAZ DE EXPRESAR EN UN MISMO MARCO TANTO LA PARTE LOGICA COMO LA PARTE TEMPORAL.