{"id":9032,"date":"1995-01-01T00:00:00","date_gmt":"1995-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/1995\/01\/01\/clp-temp-integracion-de-restricciones-temporales-metricas-y-simbolicas-en-el-marco-clp\/"},"modified":"1995-01-01T00:00:00","modified_gmt":"1995-01-01T00:00:00","slug":"clp-temp-integracion-de-restricciones-temporales-metricas-y-simbolicas-en-el-marco-clp","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/clp-temp-integracion-de-restricciones-temporales-metricas-y-simbolicas-en-el-marco-clp\/","title":{"rendered":"Clp (temp): integracion de restricciones temporales metricas y simbolicas en el marco clp."},"content":{"rendered":"<h2>Tesis doctoral de <strong>  Iba\u00f1ez Buscemi Francisco Salvador <\/strong><\/h2>\n<p>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.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Clp (temp): integracion de restricciones temporales metricas y simbolicas en el marco clp.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Clp (temp): integracion de restricciones temporales metricas y simbolicas en el marco clp. <\/li>\n<li><strong>Autor:<\/strong>\u00a0  Iba\u00f1ez Buscemi Francisco Salvador <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de Valencia<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1995<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Direcci\u00f3n y tribunal<\/h3>\n<ul>\n<li><strong>Director de la tesis<\/strong>\n<ul>\n<li>Francisco Toledo Lobo<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Alfons Crespo Lorente <\/li>\n<li>Mar\u00eda Alpuente Frasnedo (vocal)<\/li>\n<li>Ram\u00f3n Rizo Aldeguer (vocal)<\/li>\n<li>Inmaculada Perez De Guzman Molina (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Iba\u00f1ez Buscemi Francisco Salvador En este trabajo se ha propuesto una herramienta temporal que permite expresar puntos [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[1890,2528,126,16820],"tags":[19317,31301,31300,24725,6479,31302],"class_list":["post-9032","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-inteligencia-artificial","category-matematicas","category-politecnica-de-valencia","tag-alfons-crespo-lorente","tag-francisco-toledo-lobo","tag-ibanez-buscemi-francisco-salvador","tag-inmaculada-perez-de-guzman-molina","tag-maria-alpuente-frasnedo","tag-ramon-rizo-aldeguer"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/9032","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=9032"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/9032\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=9032"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=9032"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=9032"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}