{"id":19552,"date":"2018-03-09T09:08:34","date_gmt":"2018-03-09T09:08:34","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/analisis-eficaz-de-gramaticas-de-clausulas-definidas\/"},"modified":"2018-03-09T09:08:34","modified_gmt":"2018-03-09T09:08:34","slug":"analisis-eficaz-de-gramaticas-de-clausulas-definidas","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/a-coruna\/analisis-eficaz-de-gramaticas-de-clausulas-definidas\/","title":{"rendered":"An\u00e1lisis eficaz de gram\u00e1ticas de cl\u00e1usulas definidas"},"content":{"rendered":"<h2>Tesis doctoral de <strong> David Cabrero Souto <\/strong><\/h2>\n<p>Dentro del an\u00e1lisis sint\u00e1ctico, la utilizaci\u00f3n de formalismos gramaticales valuados es, hoy por hoy, punto inconturnable en el desarrollo de estrategias de an\u00e1lisis sint\u00e1ctico en entornos de procesamiento del lenguaje natural y en programaci\u00f3n l\u00f3gica, este \u00faltimo como representante del paradigma declarativo. El presente trabajo se centra en el estudio y desarrollo de t\u00e9cnicas de an\u00e1lisis sint\u00e1ctico dirigidas, en \u00faltima instancia, al tratamiento de sistemas basados en el an\u00e1lisis de formalismos gramaticales valuados donde, t\u00edpicamente, el concepto de categor\u00eda gramatical se extiende a un dominio posiblemente infinito. En estas circunstancias los m\u00e9todos cl\u00e1sicos de an\u00e1lisis sint\u00e1ctico basados en la consideraci\u00f3n de dominios finitos no son aplicables, al no garantizar la correcta terminaci\u00f3n del proceso de c\u00e1lculo. Referido al campo de las gramaticas l\u00f3gicas, esta situaci\u00f3n fuerza la necesidad del desarrollo e implementaci\u00f3n de t\u00e9cnicas de an\u00e1lisis capaces de asegurar la completud de la resoluci\u00f3n en el caso de presencia de s\u00edmbolos funcionales.  igualmente cobra especial relevancia la consideraci\u00f3n de las t\u00e9cnicas de programaci\u00f3n din\u00e1mica aplicadas al an\u00e1lisis sint\u00e1ctico. Este hecho es debido a la compactaci\u00f3n de las repreentaciones, que convierte este paradigma en una t\u00e9cnica eficiente para el tratamiento de c\u00e1lculos con un alto grado de redundancia, relacionados con fen\u00f3menos tales como el no determinismo, habituales en formalismos gramaticales complejos.  hasta el momento, las t\u00e9cnicas aplicadas se han basado fundamentalmente en el concepto subyacente en la t\u00e9cnica de restricci\u00f3n. Esta permite de forma simple y eficaz limitar el proceso de evaluaci\u00f3n a aquellos nodos del bosque de prueba en los que la ausencia de bucles a nivel de la unificaci\u00f3n est\u00e1 garantizada. La t\u00e9cnica no permite, sin embargo, una detecci\u00f3n automatizada delos nodos conflictivos ni su representaci\u00f3n.  nuestro acercam<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>An\u00e1lisis eficaz de gram\u00e1ticas de cl\u00e1usulas definidas<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 An\u00e1lisis eficaz de gram\u00e1ticas de cl\u00e1usulas definidas <\/li>\n<li><strong>Autor:<\/strong>\u00a0 David Cabrero Souto <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 A coru\u00f1a<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 19\/10\/2002<\/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>Manuel Vilares Ferro<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: enric Trillas ru\u00edz <\/li>\n<li> Villemonte de la clergerie eric (vocal)<\/li>\n<li>Miguel Delgado calvo-flores (vocal)<\/li>\n<li>Antonio Blanco ferro (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de David Cabrero Souto Dentro del an\u00e1lisis sint\u00e1ctico, la utilizaci\u00f3n de formalismos gramaticales valuados es, hoy por hoy, [&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":[18576],"tags":[16154,59992,2533,40288,4011,59993],"class_list":["post-19552","post","type-post","status-publish","format-standard","hentry","category-a-coruna","tag-antonio-blanco-ferro","tag-david-cabrero-souto","tag-enric-trillas-ruiz","tag-manuel-vilares-ferro","tag-miguel-delgado-calvo-flores","tag-villemonte-de-la-clergerie-eric"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/19552","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=19552"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/19552\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=19552"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=19552"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=19552"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}