Tesis doctoral de Ibañez Buscemi Francisco Salvador
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.
Datos académicos de la tesis doctoral «Clp (temp): integracion de restricciones temporales metricas y simbolicas en el marco clp.«
- Título de la tesis: Clp (temp): integracion de restricciones temporales metricas y simbolicas en el marco clp.
- Autor: Ibañez Buscemi Francisco Salvador
- Universidad: Politécnica de Valencia
- Fecha de lectura de la tesis: 01/01/1995
Dirección y tribunal
- Director de la tesis
- Francisco Toledo Lobo
- Tribunal
- Presidente del tribunal: Alfons Crespo Lorente
- María Alpuente Frasnedo (vocal)
- Ramón Rizo Aldeguer (vocal)
- Inmaculada Perez De Guzman Molina (vocal)