{"id":2370,"date":"2012-11-27T18:48:49","date_gmt":"2012-11-27T18:48:49","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=2370"},"modified":"2013-03-08T05:47:37","modified_gmt":"2013-03-08T05:47:37","slug":"li2012-representacion-del-conocimiento-mediante-logica-de-primer-orden","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/li2012-representacion-del-conocimiento-mediante-logica-de-primer-orden\/","title":{"rendered":"LI2012: Representaci\u00f3n del conocimiento mediante l\u00f3gica de primer orden"},"content":{"rendered":"<p>En la primera parte de la clase de hoy del curso <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-12\">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 una forma de reducir el tama\u00f1o de las codificaciones: 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>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>En la segunda parte se ha estudiado la sintaxis de la l\u00f3gica de primer orden resaltando los puntos en los que se amplia la l\u00f3gica proposiconal.<\/p>\n<p>Las transparencias de esta clase son las p\u00e1ginas 1 a 23 del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-12\/temas\/tema-7.pdf\">tema 7<\/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","protected":false},"excerpt":{"rendered":"<p>En la primera parte de 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&#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":[1],"tags":[297],"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\/2370"}],"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=2370"}],"version-history":[{"count":4,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/2370\/revisions"}],"predecessor-version":[{"id":2737,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/2370\/revisions\/2737"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=2370"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=2370"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=2370"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}