{"id":2204,"date":"2012-10-04T16:03:09","date_gmt":"2012-10-04T16:03:09","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=2204"},"modified":"2013-03-08T05:48:11","modified_gmt":"2013-03-08T05:48:11","slug":"li2012-la-logica-proposicional-como-sistema-de-representacion-del-conocimiento-y-su-sintaxis","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/li2012-la-logica-proposicional-como-sistema-de-representacion-del-conocimiento-y-su-sintaxis\/","title":{"rendered":"LI2012: La l\u00f3gica proposicional como sistema de representaci\u00f3n del conocimiento y su sintaxis"},"content":{"rendered":"<p>La clase de hoy del curso <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-12\">L\u00f3gica Inform\u00e1tica<\/a> ha tenido dos partes. <\/p>\n<p>En la primera parte se ha presentado la l\u00f3gica proposicional como sistema de representaci\u00f3n del conocimiento. Tambi\u00e9n se ha presentado el sistema <a href=\"https:\/\/www.glc.us.es\/apli2\">APLI2<\/a> que sirve de tutor para el aprendizaje de la representaci\u00f3n l\u00f3gica del conocimiento y el <a href=\"http:\/\/www.cs.unm.edu\/~mccune\/prover9\/\">Prover9<\/a> como complemento para la correcci\u00f3n de errores sint\u00e1cticos y determinaci\u00f3n de la correcci\u00f3n de los argumentos. En la presentaci\u00f3n se han resuelto los primeros 2 ejercicios.<\/p>\n<p>En la segunda parte se ha explicado la sintaxis de la l\u00f3gica proposicional insistiendo en el car\u00e1cter inductivo del tipo de datos de las f\u00f3rmulas proposicionales, del procedimiento de definiciones por recursi\u00f3n sobre las f\u00f3rmulas y de demostraci\u00f3n de propiedades por inducci\u00f3n sobre las f\u00f3rmulas.<\/p>\n<p>Las tareas propuestas son:<\/p>\n<ul>\n<li> registrarse en <a href=\"https:\/\/www.glc.us.es\/apli2\">APLI2<\/a>,\n<li> resolver ejercicios de formalizaci\u00f3n proposicional con APLI2 y\n<li> resolver los ejercicios 22 a 25 de tema 2 (p\u00e1ginas 11 y 12 del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-12\/temas\/ejercicios-LI-2012-13.pdf\">libro de ejercicios<\/a>).\n<\/ul>\n<p>Las transparencias de esta clase son las p\u00e1ginas 2-13 del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-12\/temas\/tema-1.pdf\">tema 1<\/a><br \/>\n<!--more--><br \/>\n<div class=\"jetpack-video-wrapper\"><iframe src='https:\/\/www.slideshare.net\/slideshow\/embed_code\/6980175' 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>La clase de hoy del curso L\u00f3gica Inform\u00e1tica ha tenido dos partes. En la primera parte se ha presentado la l\u00f3gica proposicional como sistema de representaci\u00f3n del conocimiento. Tambi\u00e9n se ha presentado el sistema APLI2 que sirve de tutor para el aprendizaje de la representaci\u00f3n l\u00f3gica del conocimiento y el Prover9 como complemento para la&#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\/2204"}],"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=2204"}],"version-history":[{"count":4,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/2204\/revisions"}],"predecessor-version":[{"id":2768,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/2204\/revisions\/2768"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=2204"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=2204"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=2204"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}