{"id":4618,"date":"2014-11-24T17:34:33","date_gmt":"2014-11-24T16:34:33","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=4618"},"modified":"2014-11-24T17:34:33","modified_gmt":"2014-11-24T16:34:33","slug":"li2014-representacion-del-conocimiento-mediante-logica-de-primer-orden","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/li2014-representacion-del-conocimiento-mediante-logica-de-primer-orden\/","title":{"rendered":"LI2014: 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-14\">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) 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>Las transparencias de esta clase son las p\u00e1ginas 1 a 10 del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-14\/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 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. Ya hemos estudiado el&#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":[239],"tags":[306,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\/4618"}],"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=4618"}],"version-history":[{"count":1,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/4618\/revisions"}],"predecessor-version":[{"id":4619,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/4618\/revisions\/4619"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=4618"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=4618"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=4618"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}