{"id":1712,"date":"2011-11-24T19:00:24","date_gmt":"2011-11-24T19:00:24","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=1712"},"modified":"2013-03-08T05:48:59","modified_gmt":"2013-03-08T05:48:59","slug":"ra2011-introduccion-a-la-logica-de-primer-orden","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/ra2011-introduccion-a-la-logica-de-primer-orden\/","title":{"rendered":"RA2011: Introducci\u00f3n a la l\u00f3gica de primer orden"},"content":{"rendered":"<p>En la clase de hoy del curso de <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/m-ra-11\">Razonamiento autom\u00e1tico<\/a> se ha comenzado el estudio de la l\u00f3gica de primer orden. <\/p>\n<p>En primer lugar hemos visto c\u00f3mo se puede usar la l\u00f3gica de primer orden para la representaci\u00f3n de conocimiento. Como ejemplo hemos visto la representaci\u00f3n del mundo de los bloques y su uso en <a href=\"http:\/\/aispace.org\/planning\/\">problemas de planificaci\u00f3n<\/a>.<\/p>\n<p>Bas\u00e1ndonos en los ejemplos anteriores hemos introducido la sintaxis de la l\u00f3gica de primer orden, resaltando la naturaleza recursiva de las definiciones.<\/p>\n<p>\nLas transparencias de la clase son las 23 primeras del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/m-ra\/temas\/tema-1.pdf\">tema 1<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>En la clase de hoy del curso de Razonamiento autom\u00e1tico se ha comenzado el estudio de la l\u00f3gica de primer orden. En primer lugar hemos visto c\u00f3mo se puede usar la l\u00f3gica de primer orden para la representaci\u00f3n de conocimiento. Como ejemplo hemos visto la representaci\u00f3n del mundo de los bloques y su uso en&#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":[187],"tags":[296],"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\/1712"}],"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=1712"}],"version-history":[{"count":2,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/1712\/revisions"}],"predecessor-version":[{"id":2903,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/1712\/revisions\/2903"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=1712"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=1712"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=1712"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}