{"id":5979,"date":"2018-03-13T19:00:21","date_gmt":"2018-03-13T18:00:21","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=5979"},"modified":"2018-03-13T19:00:21","modified_gmt":"2018-03-13T18:00:21","slug":"lmf2017-representacion-del-conocimiento-mediante-logica-de-primer-orden","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2017-representacion-del-conocimiento-mediante-logica-de-primer-orden\/","title":{"rendered":"LMF2017: 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\/lmf-17\">L\u00f3gica Inform\u00e1tica<\/a> se ha 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). Un inconveniente de las codificaciones en l\u00f3gica proposicional 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 (conectivas, variables, cuantificadores, igualdad, constantes, relaciones y funciones).<\/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\/lmf-17\/temas\/tema-7.pdf\">tema 7<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>En la primera parte de la clase de hoy del curso L\u00f3gica Inform\u00e1tica se ha 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&#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":[264],"tags":[315,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\/5979"}],"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=5979"}],"version-history":[{"count":1,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/5979\/revisions"}],"predecessor-version":[{"id":5980,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/5979\/revisions\/5980"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=5979"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=5979"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=5979"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}