{"id":1660,"date":"2011-11-04T08:53:34","date_gmt":"2011-11-04T08:53:34","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/ra2011-introduccion-al-razonamiento-automatico\/"},"modified":"2013-03-08T05:49:01","modified_gmt":"2013-03-08T05:49:01","slug":"ra2011-introduccion-al-razonamiento-automatico","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/ra2011-introduccion-al-razonamiento-automatico\/","title":{"rendered":"RA2011: Introducci\u00f3n al razonamiento autom\u00e1tico"},"content":{"rendered":"<p>Hoy ha sido la 1\u00aa la clase de <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/m-ra-11\">Razonamiento autom\u00e1tico<\/a>. En esta clase se ha hecho una introducci\u00f3n al campo del razonamiento autom\u00e1tico a partir la descripci\u00f3n realizada por <a href=\"http:\/\/www.mcs.anl.gov\/~wos\/\">Larry Wos<\/a> en el <a href=\"http:\/\/www.springerlink.com\/content\/p72v85w05784176w\/\">primer n\u00famero<\/a> del <a href=\"http:\/\/www.springerlink.com\/content\/100280\/\">Journal of Automated Reasoning<\/a>:<\/p>\n<blockquote><p>\nEl <b>razonamiento autom\u00e1tico<\/b> se dedica a estudiar c\u00f3mo usar un ordenador para ayudar en la parte de resoluci\u00f3n de problemas que requiere razonamiento.<\/p>\n<p>Algunas cuestiones que surgen durante dicho estudio son la <b>representaci\u00f3n<\/b> del conocimiento, las <b>reglas<\/b> para derivar nuevo  conocimiento del que se tiene, y las <b>estrategias<\/b> para controlar dichas reglas.<\/p>\n<p>Otras cuestiones se refieren a la <b>implementaci\u00f3n<\/b> de la <b>teor\u00eda<\/b> resultante y a las <b>aplicaciones<\/b> para las cuales el correspondiente software puede ser usado.<\/p>\n<p>Teor\u00eda, implementaci\u00f3n y aplicaciones juegan papeles vitales para el razonamiento autom\u00e1tico a la hora de intentar alcanzar uno de sus principales objetivos: <b>proporcionar un asistente de razonamiento autom\u00e1tico<\/b>. <\/p><\/blockquote>\n<p>Tambi\u00e9n se ha comentado distintos sistemas de razonamiento, metodolog\u00eda de su utilizaci\u00f3n y aplicaciones.<\/p>\n<p>Como primera aplicaci\u00f3n importante se ha comentado la <a href=\"http:\/\/www.nytimes.com\/library\/cyber\/week\/1210math.html\">demostraci\u00f3n de la conjetura de Robbins<\/a> que constituye el primer teorema importante demostrado por una m\u00e1quina ante que los humanos pudieran demostrarlo. Esta era una de las promesas de la inteligencia artificial. Para ver su papel dentro de la I.A. hemos terminado la clase comentando la <a href=\"http:\/\/crl.ucsd.edu\/~elman\/Courses\/cog202\/Papers\/ai-history.html\">historia de la inteligencia artificial<\/a>.<\/p>\n<p>Las transparencias usadas en clase son las 6 primera del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/m-ra\/temas\/tema-0.pdf\">tema 0<\/a>.<\/p>\n<p>Como tarea para la pr\u00f3xima clase se propuso la lectura del art\u00edculo de G. Sutcliffe <a href=\"http:\/\/www.cs.miami.edu\/~tptp\/OverviewOfATP.html\">What is automated theorem proving?<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Hoy ha sido la 1\u00aa la clase de Razonamiento autom\u00e1tico. En esta clase se ha hecho una introducci\u00f3n al campo del razonamiento autom\u00e1tico a partir la descripci\u00f3n realizada por Larry Wos en el primer n\u00famero del Journal of Automated Reasoning: El razonamiento autom\u00e1tico se dedica a estudiar c\u00f3mo usar un ordenador para ayudar en la&#8230;<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","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":[187],"tags":[296],"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\/1660"}],"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=1660"}],"version-history":[{"count":5,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/1660\/revisions"}],"predecessor-version":[{"id":2922,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/1660\/revisions\/2922"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=1660"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=1660"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=1660"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}