{"id":1709,"date":"2011-11-23T16:54:24","date_gmt":"2011-11-23T16:54:24","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=1709"},"modified":"2013-03-08T05:48:59","modified_gmt":"2013-03-08T05:48:59","slug":"li2011-12-representacion-del-conocimiento-mediante-logica-de-primer-orden","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/li2011-12-representacion-del-conocimiento-mediante-logica-de-primer-orden\/","title":{"rendered":"LI2011-12: Representaci\u00f3n del conocimiento mediante l\u00f3gica de primer orden"},"content":{"rendered":"<p>En la clase de hoy del curso <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-11\">L\u00f3gica Inform\u00e1tica<\/a> se presentado la l\u00f3gica de primer orden como sistema de representaci\u00f3n del conocimiento.<\/p>\n<p>La clase ha comenzado recordando la ecuaci\u00f3n que resumen el curso: LI=RC+AR, donde LI = L\u00f3gica inform\u00e1tica, RC = Representaci\u00f3n del conocimiento y AR = Automatizaci\u00f3n del razonamiento.<\/p>\n<p>Ya hemos estudiado el sistema b\u00e1sico de representaci\u00f3n del conocimiento (la l\u00f3gica proposicional) y tres sistemas deductivos (deducci\u00f3n natural, tableros sem\u00e1nticos y resoluci\u00f3n). Adem\u00e1s, hemos usado Prover9 y MACe4 para resolver problemas que se pueden codificar mediante la l\u00f3gica proposicional, como el de las 4 reinas. Un inconveniente de las codificaciones es la cantidad y el tama\u00f1o de las f\u00f3rmulas resultantes. En la clase vamos a ver dos formas de reducir el tama\u00f1o de las codificaciones.<\/p>\n<p>La primera forma es el uso de las conectivas generalizadas con \u00edndices. Para verlo hemos comentado la representaci\u00f3n y soluci\u00f3n con <a href=\"http:\/\/www.irit.fr\/satoulouse\">SAToulouse<\/a> de rompecabezas l\u00f3gicos.   <\/p>\n<p>La segunda forma es el uso de la l\u00f3gica de primer orden. Este sistema permite representar de forma m\u00e1s compacta conocimiento representable en l\u00f3gica proposicional y tambi\u00e9n representar conocimiento que no se puede representar en l\u00f3gica proposicional.<\/p>\n<p>Como ejemplos de representaci\u00f3n hemos visto c\u00f3mo representar conocimiento geogr\u00e1fico, del mundo de los bloques y conocimiento astron\u00f3mico. En los distintos ejemplos hemos resaltado los tipos de s\u00edmbolos l\u00f3gicos utilizados.<\/p>\n<p>Finalmente, como tutor para la representaci\u00f3n del conocimiento, se ha presentado el <a href=\"https:\/\/www.glc.us.es\/apli2\">APLI2 (APLIcaci&oacute;n de Ayuda Para L&oacute;gica Inform&aacute;tica)<\/a>.<\/p>\n<p>Las transparencias de esta clase son las p\u00e1ginas 1 a 10 del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-11\/temas\/tema-6.pdf\">tema 6<\/a>:<br \/>\n<!--more--><br \/>\n<div class=\"jetpack-video-wrapper\"><iframe src='https:\/\/www.slideshare.net\/slideshow\/embed_code\/10317649' width='1290' height='1057' sandbox=\"allow-popups allow-scripts allow-same-origin allow-presentation\" allowfullscreen webkitallowfullscreen mozallowfullscreen><\/iframe><\/div><\/p>\n<p>Como tarea se propone la resoluci\u00f3n de los ejercicios del tema 6 del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-11\/temas\/ejercicios-LI-2011-12\u00ba.pdf\">libro de ejercicios<\/a> y los de <a href=\"https:\/\/www.glc.us.es\/apli2\">APLI2<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>En la clase de hoy del curso L\u00f3gica Inform\u00e1tica se presentado la l\u00f3gica de primer orden como sistema de representaci\u00f3n del conocimiento. La clase ha comenzado recordando la ecuaci\u00f3n que resumen el curso: LI=RC+AR, donde LI = L\u00f3gica inform\u00e1tica, RC = Representaci\u00f3n del conocimiento y AR = Automatizaci\u00f3n del razonamiento. Ya hemos estudiado el sistema&#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":[183],"tags":[182],"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\/1709"}],"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=1709"}],"version-history":[{"count":3,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/1709\/revisions"}],"predecessor-version":[{"id":2905,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/1709\/revisions\/2905"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=1709"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=1709"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=1709"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}