{"id":1893,"date":"2012-02-17T16:47:52","date_gmt":"2012-02-17T16:47:52","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=1893"},"modified":"2013-03-08T05:48:55","modified_gmt":"2013-03-08T05:48:55","slug":"lmf2012-panorama-de-la-logica-la-logica-proposicional-como-sistema-de-representacion-del-conocimiento","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2012-panorama-de-la-logica-la-logica-proposicional-como-sistema-de-representacion-del-conocimiento\/","title":{"rendered":"LMF2012: Panorama de la l\u00f3gica. La l\u00f3gica proposicional como sistema de representaci\u00f3n del conocimiento"},"content":{"rendered":"<p>La clase de hoy del curso <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/lmf-11\">L\u00f3gica matem\u00e1tica y fundamentos<\/a> ha tenido tres partes. <\/p>\n<p>En la primera parte se ha presentado un panorama de la l\u00f3gica en la que se ha visto sus objetivos (representar el conocimiento y automatizar el razonamiento), distintas l\u00f3gicas (proposicional, primer orden, orden superior y modales) y aplicaciones de la l\u00f3gica en computaci\u00f3n.<\/p>\n<p>En la segunda 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.<\/p>\n<p>En la tercera parte se ha iniciado el estudio de la sintaxis de la l\u00f3gica proposicional mostrando c\u00f3mo se definen las f\u00f3rmulas por recursi\u00f3n, c\u00f3mo se definen funciones sobre las f\u00f3rmulas mediante recursi\u00f3n y c\u00f3mo se demuestran propiedades de las f\u00f3rmulas mediante inducci\u00f3n.<\/p>\n<p>Las tareas pendientes son:<\/p>\n<ul>\n<li> registrarse en <a href=\"https:\/\/www.glc.us.es\/apli2\">APLI2<\/a> y\n<li> resolver ejercicios de formalizaci\u00f3n proposicional con APLI2\n<\/ul>\n<p>Las transparencias de esta clase son las p\u00e1ginas 1-10 del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/lmf-11\/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\/11647150' 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 matem\u00e1tica y fundamentos ha tenido tres partes. En la primera parte se ha presentado un panorama de la l\u00f3gica en la que se ha visto sus objetivos (representar el conocimiento y automatizar el razonamiento), distintas l\u00f3gicas (proposicional, primer orden, orden superior y modales) y aplicaciones de la l\u00f3gica&#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":[192],"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\/1893"}],"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=1893"}],"version-history":[{"count":2,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/1893\/revisions"}],"predecessor-version":[{"id":2852,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/1893\/revisions\/2852"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=1893"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=1893"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=1893"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}