{"id":88388,"date":"2001-12-01T00:00:00","date_gmt":"2001-12-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/logica-temporal-de-intervalos-formalizacion-de-diagramas-de-estados\/"},"modified":"2001-12-01T00:00:00","modified_gmt":"2001-12-01T00:00:00","slug":"logica-temporal-de-intervalos-formalizacion-de-diagramas-de-estados","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/logica-temporal-de-intervalos-formalizacion-de-diagramas-de-estados\/","title":{"rendered":"Logica temporal de intervalos formalizaci\u00f3n de diagramas de estados"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Carlos Rossi Jimenez <\/strong><\/h2>\n<p>En este trabajo se definen dos l\u00f3gicas temporales proposicionales sobre tiempo discreto, llamadas lnint y lnint-e respectivamente, que, en nuestra opini\u00f3n, suponen un avance significativo al lograr integrar de modo natural puntos e intervalos, las visiones absoluta y relativa del tiempo y el tratamiento de eventos, procesos y hechos. Adem\u00e1s, en la l\u00f3gica lnint-e se introducen los conceptos de clases y ejecuciones de eventos. Su sem\u00e1ntica es topol\u00f3gica, una destacada novedad respecto a la bibliograf\u00eda existente en l\u00f3gica de intervalos. Esta sem\u00e1ntica aporta una gran simplificaci\u00f3n a la demostraci\u00f3n de los resultados te\u00f3ricos y facilita el desarrollo en demostraci\u00f3n autom\u00e1tica de teoremas.  en el \u00e1rea de razonamiento temporal, completamos dos de las tareas necesarias para la construcci\u00f3n de un demostrador autom\u00e1tico de teoremas para lnint-e. concretamente, se eligen adecuadamente las f\u00f3rmulas de lnint-e. Adem\u00e1s, describimos un algoritmo eficiente que dada una f\u00f3rmula arbitraria de lnint-e, la transforma en una f\u00f3rmula equivalente que es una forma normal. La definici\u00f3n de forma normal se basa en un conjunto de transformaciones que simplifican las f\u00f3rmulas de diferentes formas como, por ejemplo, la eliminaci\u00f3n de constantes, la eliminaci\u00f3n de conectivas binarias o la reducci\u00f3n del rango de \u00e9stas.  por \u00faltimo, y para contrastar la utilidad de nuestras l\u00f3gicas en computaci\u00f3n, presentamos una especificaci\u00f3n en lnint-e de la t\u00e9cnica de los diagramas de transici\u00f3n de estados. Aunque en la literatura se encuentran diversas formalizaciones de los diagramas de estados, ninguna de las que conocemos plantea la utilizaci\u00f3n de conectivas temporales de intervalos. Nuestra aproximaci\u00f3n tambi\u00e9n es novedosa por la riqueza en la especificaci\u00f3n de acciones asociadas a estados y transiciones.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Logica temporal de intervalos formalizaci\u00f3n de diagramas de estados<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Logica temporal de intervalos formalizaci\u00f3n de diagramas de estados <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Carlos Rossi Jimenez <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 M\u00e1laga<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 12\/01\/2001<\/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>Inmaculada Perez De Guzman Molina<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Francisco Trigueros ruiz <\/li>\n<li>federico Barber sanchis (vocal)<\/li>\n<li>david Pearce (vocal)<\/li>\n<li>alfredo Burrieza mu\u00f1oz (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Carlos Rossi Jimenez En este trabajo se definen dos l\u00f3gicas temporales proposicionales sobre tiempo discreto, llamadas lnint [&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,3747,3748,24723,7834,126],"tags":[184470,184468,47149,19162,184469,24725],"class_list":["post-88388","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-inteligencia-artificial","category-logica","category-logica-deductiva","category-logica-modal","category-malaga","category-matematicas","tag-alfredo-burrieza-munoz","tag-carlos-rossi-jimenez","tag-david-pearce","tag-federico-barber-sanchis","tag-francisco-trigueros-ruiz","tag-inmaculada-perez-de-guzman-molina"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/88388","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=88388"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/88388\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=88388"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=88388"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=88388"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}