{"id":1314,"date":"2011-04-08T10:51:47","date_gmt":"2011-04-08T10:51:47","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=1314"},"modified":"2011-04-20T10:56:41","modified_gmt":"2011-04-20T10:56:41","slug":"li2011-representacion-del-conocimiento-mediante-logica-de-primer-orden","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/li2011-representacion-del-conocimiento-mediante-logica-de-primer-orden\/","title":{"rendered":"LI2011: 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-10\">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).<\/p>\n<p>Hoy empezamos el estudio de un sistema de representaci\u00f3n: 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-10\/temas\/tema-6.pdf\">tema 6<\/a>.<\/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-10\/temas\/ejercicios-LI-2010-11.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":"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":[172],"tags":[291],"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\/1314"}],"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=1314"}],"version-history":[{"count":1,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/1314\/revisions"}],"predecessor-version":[{"id":1315,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/1314\/revisions\/1315"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=1314"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=1314"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=1314"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}