{"id":3782,"date":"2013-10-25T17:20:45","date_gmt":"2013-10-25T15:20:45","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=3782"},"modified":"2013-10-29T07:23:04","modified_gmt":"2013-10-29T06:23:04","slug":"li2013-estrategias-de-resolucion-proposicional","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/li2013-estrategias-de-resolucion-proposicional\/","title":{"rendered":"LI2013: Estrategias de resoluci\u00f3n proposicional"},"content":{"rendered":"<p>En la clase de hoy del curso <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-13\">L\u00f3gica Inform\u00e1tica<\/a> hemos continuado la b\u00fasqueda de la automatizaci\u00f3n del razonamiento.Empezamos con un primer algoritmo de b\u00fasqueda de la cl\u00e1usula vac\u00eda: el de saturaci\u00f3n y dos mejoras: eliminaci\u00f3n de tautolog\u00edas y de subsumsuci\u00f3n. A continuaci\u00f3n, hemos estudiado distintas estrategias cuyo objetivo es mejorar la b\u00fasqueda de la refutaci\u00f3n por resoluci\u00f3n. Las estrategias estudiadas son la resoluci\u00f3n positiva, la resoluci\u00f3n negativa, la resoluci\u00f3n unitaria, la resoluci\u00f3n por entradas y la resoluci\u00f3n lineal. Las transparencias de esta clase son las p\u00e1ginas 18 a 37 del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-13\/temas\/tema-5.pdf\">tema 5<\/a><br \/>\n<!--more--><br \/>\n<div class=\"jetpack-video-wrapper\"><iframe src='https:\/\/www.slideshare.net\/slideshow\/embed_code\/10088565' width='1290' height='1057' sandbox=\"allow-popups allow-scripts allow-same-origin allow-presentation\" allowfullscreen webkitallowfullscreen mozallowfullscreen><\/iframe><\/div><\/p>\n<p>En la segunda parte de la clase, se ha comentado las soluciones de los dos \u00faltimos ejercicios de la <a href=\"https:\/\/www.glc.us.es\/~jalonso\/ejerciciosLI2013G2\/index.php5\/Relaci\u00f3n_8\">relaci\u00f3n 8<\/a> y se han dejado como tarea los de la 9\u00aa relaci\u00f3n.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>En la clase de hoy del curso L\u00f3gica Inform\u00e1tica hemos continuado la b\u00fasqueda de la automatizaci\u00f3n del razonamiento.Empezamos con un primer algoritmo de b\u00fasqueda de la cl\u00e1usula vac\u00eda: el de saturaci\u00f3n y dos mejoras: eliminaci\u00f3n de tautolog\u00edas y de subsumsuci\u00f3n. A continuaci\u00f3n, hemos estudiado distintas estrategias cuyo objetivo es mejorar la b\u00fasqueda de la refutaci\u00f3n&#8230;<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_kad_post_transparent":"","_kad_post_title":"","_kad_post_layout":"","_kad_post_sidebar_id":"","_kad_post_content_style":"","_kad_post_vertical_padding":"","_kad_post_feature":"","_kad_post_feature_position":"","_kad_post_header":false,"_kad_post_footer":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"footnotes":"","_jetpack_memberships_contains_paid_content":false},"categories":[223],"tags":[301,189],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_likes_enabled":false,"_links":{"self":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/3782"}],"collection":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/comments?post=3782"}],"version-history":[{"count":3,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/3782\/revisions"}],"predecessor-version":[{"id":3785,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/3782\/revisions\/3785"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=3782"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=3782"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=3782"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}