{"id":139506,"date":"2026-01-12T17:46:16","date_gmt":"2026-01-12T17:46:16","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/representacion-y-gestion-del-conocimiento-con-cuantificacion-intermedia\/"},"modified":"2026-01-12T17:46:16","modified_gmt":"2026-01-12T17:46:16","slug":"representacion-y-gestion-del-conocimiento-con-cuantificacion-intermedia","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/representacion-y-gestion-del-conocimiento-con-cuantificacion-intermedia\/","title":{"rendered":"Representacion y gestion del conocimiento con cuantificacion intermedia."},"content":{"rendered":"<h2>Tesis doctoral de <strong> Amelia Bilbao Terol <\/strong><\/h2>\n<p>Esta tesis se basa en una linea de evolucion de la logica clasica hacia una logica de primer orden capaz de manejar cuantificadores no estandar. El calculo de predicados de primer orden se enriquece con el objetivo de permitir el estudio de las inferencias expresadas en lenguaje natural que incluyen los determinantes \u00abpocos\u00bb, \u00abbastantes\u00bb y \u00abmuchos\u00bb, de una forma paralela a la utilizada por el calculo que trata de explicar inferencias expresadas con \u00abtodos\u00bb y \u00abalgunos\u00bb.  a partir de los principios de unificacion y resolucion de robinson se generan sendos algoritmos para el caso de sentencias con cuantificacion intermedia. Se define inicialmente una semantica y una sintaxis para las nuevas formulas. Posteriormente se construye un proceso de normalizacion de sentencias con cuantificacion intermedia.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Representacion y gestion del conocimiento con cuantificacion intermedia.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Representacion y gestion del conocimiento con cuantificacion intermedia. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Amelia Bilbao Terol <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Oviedo<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1992<\/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> Lopez Garcia J. Secundino<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Octavio Santana Suarez <\/li>\n<li>Rafael Caballero Fern\u00e1ndez (vocal)<\/li>\n<li>Antonia Calvo Cuenca (vocal)<\/li>\n<li> Lopez Brugos J. Antonio (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Amelia Bilbao Terol Esta tesis se basa en una linea de evolucion de la logica clasica hacia [&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,13456,126,8846],"tags":[254014,254015,254016,249173,53638,8137],"class_list":["post-139506","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-inteligencia-artificial","category-logica","category-logica-deductiva","category-logica-formal","category-matematicas","category-oviedo","tag-amelia-bilbao-terol","tag-antonia-calvo-cuenca","tag-lopez-brugos-j-antonio","tag-lopez-garcia-j-secundino","tag-octavio-santana-suarez","tag-rafael-caballero-fernandez"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/139506","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=139506"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/139506\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=139506"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=139506"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=139506"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}