{"id":20909,"date":"2018-03-09T09:10:27","date_gmt":"2018-03-09T09:10:27","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/conexiones-de-galois-debiles-y-nd-operadores-de-cierre-razonamiento-con-ejemplos\/"},"modified":"2018-03-09T09:10:27","modified_gmt":"2018-03-09T09:10:27","slug":"conexiones-de-galois-debiles-y-nd-operadores-de-cierre-razonamiento-con-ejemplos","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/malaga\/conexiones-de-galois-debiles-y-nd-operadores-de-cierre-razonamiento-con-ejemplos\/","title":{"rendered":"Conexiones de galois d\u00e9biles y nd-operadores de cierre. razonamiento con ejemplos"},"content":{"rendered":"<h2>Tesis doctoral de <strong>  Rodr\u00edguez S\u00e1nchez Francisco Joaquin <\/strong><\/h2>\n<p>Analizando los trabajos existentes en la literatura sobre razonamiento autom\u00e1tico basados en el llamado razonamiento con ejemplos o razonamiento con modelos caracter\u00edsticos, pudimos comprobar las limitaciones que en la actualidad tienen los algoritmos basados en esta t\u00e9cnica, no solo porque se limitan a la l\u00f3gica cl\u00e1sica proposicional, sino, lo que es m\u00e1s destacable, porque se limitan a contemplar f\u00f3rmulas en forma normal conjuntiva.  el an\u00e1lisis de esta \u00faltima limitaci\u00f3n nos llev\u00f3 a desarrollar las herramientas algebraicas necesarias para extender las t\u00e9cnicas de razonamiento con ejemplos, en consecuencia, las principales aportaciones de esta tesis se centran en los fundamentos algebraicos de esta metodolog\u00eda. Concretamente:  * la consideraci\u00f3n de un nuevo tipo de relaciones a las que hemos llamado relaciones de quasi-orden y al estudio de su repercusi\u00f3n para establecer la compatibilidad entre una relaci\u00f3n de orden y una aplicaci\u00f3n.  * la extensi\u00f3n del concepto de conexi\u00f3n de galois a las conexiones de galois d\u00e9biles y al estudio de los operadores de cierre adecuados a esta nueva noci\u00f3n a los que hemos llamado operadores de cierre m\u00ednimo-generados.  * la consideraci\u00f3n de operadores de cierre no deterministas (nd-operadores).  * la definici\u00f3n de un operador de cierre que permite obtener conexiones de galois d\u00e9biles a partir de un orden bien fundado.  * la introducci\u00f3n de nuevas formas normales, a las que denominamos formas normales negativas puras y semipuras en l\u00f3gica cl\u00e1sica proposicional y formas unitarias puras y sempiruas en la l\u00f3gica trivaluada m3.  * por \u00faltimo, desarrollamos algoritmos de razonamiento autom\u00e1tico que mejoran los existentes basados en el razonamiento con ejemplos en la l\u00f3gica cl\u00e1sica proposicional, y que adem\u00e1s son extensibles a la l\u00f3gica trivaluada m3.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Conexiones de galois d\u00e9biles y nd-operadores de cierre. razonamiento con ejemplos<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Conexiones de galois d\u00e9biles y nd-operadores de cierre. razonamiento con ejemplos <\/li>\n<li><strong>Autor:<\/strong>\u00a0  Rodr\u00edguez S\u00e1nchez Francisco Joaquin <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 M\u00e1laga<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 19\/12\/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>Pablo Jose Cordero  Ortega<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal:  Barja p\u00e9rez Jos\u00e9 Mar\u00eda <\/li>\n<li>gabriel Aguilera venegas (vocal)<\/li>\n<li> Many\u00ed\u00a0 i serres felip (vocal)<\/li>\n<li>alfredo Burrieza mu\u00f1iz (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Rodr\u00edguez S\u00e1nchez Francisco Joaquin Analizando los trabajos existentes en la literatura sobre razonamiento autom\u00e1tico basados en el [&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":[7834],"tags":[63387,3754,54403,63386,63385,63384],"class_list":["post-20909","post","type-post","status-publish","format-standard","hentry","category-malaga","tag-alfredo-burrieza-muniz","tag-barja-perez-jose-maria","tag-gabriel-aguilera-venegas","tag-manyi-i-serres-felip","tag-pablo-jose-cordero-ortega","tag-rodriguez-sanchez-francisco-joaquin"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/20909","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=20909"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/20909\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=20909"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=20909"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=20909"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}