{"id":8463,"date":"1995-01-01T00:00:00","date_gmt":"1995-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/1995\/01\/01\/un-formalismo-para-la-extraccion-de-informacion-semantica-en-textos-matematicos\/"},"modified":"1995-01-01T00:00:00","modified_gmt":"1995-01-01T00:00:00","slug":"un-formalismo-para-la-extraccion-de-informacion-semantica-en-textos-matematicos","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/un-formalismo-para-la-extraccion-de-informacion-semantica-en-textos-matematicos\/","title":{"rendered":"Un formalismo para la extraccion de informacion semantica en textos matematicos."},"content":{"rendered":"<h2>Tesis doctoral de <strong> Julia Diaz Garcia <\/strong><\/h2>\n<p>El trabajo de investigacion que se presenta ha sido desarrollado en el marco del proyecto progenes (financiado por el plan nacional de investigacion, programa nacional de tecnolog\u00eda de informacion y de las comunicaciones, proyecto 352.90). Progenes (proof generator expert system) es un proyecto de investigacion basica dedicado al desarrollo de un sistema capaz de resolver enunciados en lenguaje natural. Al sistema se le proporciona la misma informacion, y en la misma forma, que a cualquier persona que tuviera que resolver el problema. Por lo tanto se ha incorporado al sistema una interfaz capaz de entender el texto de los enunciados expresados en lenguaje natural, e interpretarlos segun una semantica que refleja conceptos y relaciones existentes en esta area de conocimientos. El objetivo de esta tesis ha sido dise\u00f1ar e implementar un formalismo semantico que represente el texto inicial de los enunciados, utilizando mecanismos composicionales generales, resolviendo las ambiguedades lexicas que aparecen en los textos y efectuando un tratamiento de la complejidad semantica.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Un formalismo para la extraccion de informacion semantica en textos matematicos.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Un formalismo para la extraccion de informacion semantica en textos matematicos. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Julia Diaz Garcia <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Aut\u00f3noma de Madrid<\/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>Pilar Rodr\u00edguez Mar\u00edn<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Roberto Moriyon Salomon <\/li>\n<li>Kepa Sarasola Gabiola (vocal)<\/li>\n<li> De Sope\u00f1a Pastor Luis (vocal)<\/li>\n<li>Ana Garc\u00eda Serrano (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Julia Diaz Garcia El trabajo de investigacion que se presenta ha sido desarrollado en el marco del [&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,18534,3747,3748,126],"tags":[15339,29692,29689,29691,29690,6340],"class_list":["post-8463","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-inteligencia-artificial","category-lenguajes-formales","category-logica","category-logica-deductiva","category-matematicas","tag-ana-garcia-serrano","tag-de-sopena-pastor-luis","tag-julia-diaz-garcia","tag-kepa-sarasola-gabiola","tag-pilar-rodriguez-marin","tag-roberto-moriyon-salomon"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/8463","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=8463"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/8463\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=8463"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=8463"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=8463"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}