{"id":80799,"date":"1999-01-10T00:00:00","date_gmt":"1999-01-10T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/elementos-de-semantica-denotacional-de-lenguajes-de-programacion-con-datos-borrosos\/"},"modified":"1999-01-10T00:00:00","modified_gmt":"1999-01-10T00:00:00","slug":"elementos-de-semantica-denotacional-de-lenguajes-de-programacion-con-datos-borrosos","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/elementos-de-semantica-denotacional-de-lenguajes-de-programacion-con-datos-borrosos\/","title":{"rendered":"Elementos de sem\u00e1ntica denotacional de lenguajes de programaci\u00f3n con datos borrosos."},"content":{"rendered":"<h2>Tesis doctoral de <strong> Daniel Sanchez Alvarez <\/strong><\/h2>\n<p>La tesis tiene como objetivo estudiar las bases que permitan definir, de manera formal, la sem\u00e1ntica de lenguajes que manejen datos borrosos. Se ha revisado el lambda c\u00e1lculo para que admita que cada uno de sus t\u00e9rminos est\u00e1 etiquetado por un elemento de un cierto conjunto d. Se han estudiado las propiedades m\u00ednimas que debe cumplir este conjunto a fin de dar cuenta adecuadamente de: la sustituci\u00f3n, los distintos axiomas y la reducci\u00f3n del lambda c\u00e1lculo. A continuaci\u00f3n se adecua el conjunto d para que la introducci\u00f3n de los sistemas num\u00e9ricos y, en general, las operaciones definidas externamente tengan las caracter\u00edsticas que son deseables en nuestro c\u00e1lculo. el resultado final al que se ha llegado es que si tomamos d=[0,&#8230;,1],entonces ser\u00e1 suficiente que en d tengamos definido alg\u00fan operador triangular. Utilizando estos resultados como soporte se expone la sem\u00e1ntica denotacional de un lenguaje simple. Tiene dos aspectos que lo individualizan: 1) utilizar los operadores triangulares a la hora de hacer las distintas evaluaciones y 2) el ser multivaluado. La multivaluaci\u00f3n, requerida por el car\u00e1cter borroso de los datos, no es posible manejarla en el lambda c\u00e1lculo, por lo que se introduce de forma expl\u00edcita, y d\u00e1 lugar a que se puedan considerar distintos ordenamientos. Se amplia el lenguaje anterior por medio de :1) la introducci\u00f3n de abstracciones, permitiendo la redefinici\u00f3n de los operadores triangulares y los grados de borrosidad con los que se trabaja de distintas formas y 2)se esboza la aplicabilidad del paradigma de la orientaci\u00f3n a objetos a las variables ling\u00ed\u00bcisticas.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Elementos de sem\u00e1ntica denotacional de lenguajes de programaci\u00f3n con datos borrosos.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Elementos de sem\u00e1ntica denotacional de lenguajes de programaci\u00f3n con datos borrosos. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Daniel Sanchez Alvarez <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Murcia<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/10\/1999<\/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>Antonio  Fernando Gomez Skarmeta<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Miguel Delgado calvo-flores <\/li>\n<li>Jos\u00e9 Freire nistal (vocal)<\/li>\n<li>gregorio Fern\u00e1ndez fern\u00e1ndez (vocal)<\/li>\n<li>teresa De pedro lucio (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Daniel Sanchez Alvarez La tesis tiene como objetivo estudiar las bases que permitan definir, de manera formal, [&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,6474,3747,3748,126,8235,30772],"tags":[25029,172780,16384,172781,4011,16472],"class_list":["post-80799","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-inteligencia-artificial","category-lenguajes-de-programacion","category-logica","category-logica-deductiva","category-matematicas","category-murcia","category-teoria-de-lenguajes-formales","tag-antonio-fernando-gomez-skarmeta","tag-daniel-sanchez-alvarez","tag-gregorio-fernandez-fernandez","tag-jose-freire-nistal","tag-miguel-delgado-calvo-flores","tag-teresa-de-pedro-lucio"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/80799","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=80799"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/80799\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=80799"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=80799"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=80799"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}