{"id":1225,"date":"2011-02-18T14:14:41","date_gmt":"2011-02-18T14:14:41","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=1225"},"modified":"2011-02-22T08:37:28","modified_gmt":"2011-02-22T08:37:28","slug":"li2011-la-logica-proposicional-como-sistema-de-representacion-del-conocimiento-y-su-sintaxis","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/li2011-la-logica-proposicional-como-sistema-de-representacion-del-conocimiento-y-su-sintaxis\/","title":{"rendered":"LI2011: La l\u00f3gica proposicional como sistema de representaci\u00f3n del conocimiento y su sintaxis"},"content":{"rendered":"<p>En la clase de hoy del curso <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-10\">L\u00f3gica Inform\u00e1tica<\/a> ha tenido tres partes. <\/p>\n<p>En la primera parte se ha presentado un panorama de la L\u00f3gica Inform\u00e1tica en la que se ha visto su concepto (L\u00f3gica Inform\u00e1tica = Representaci\u00f3n del conocimiento + Automatizaci\u00f3n del razonamiento), distintas l\u00f3gicas y aplicaciones de la l\u00f3gica en Inform\u00e1tica.<\/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 presentado la sintaxis de la l\u00f3gica proposicional. Concretamente,<\/p>\n<ul>\n<li> el lenguaje de la l\u00f3gica proposicional,\n<li> la definici\u00f3n recursiva de las f\u00f3rmulas proposicionales,\n<li> \u00e1rboles de an\u00e1lisis de f\u00f3rmulas,\n<li> definiciones por recursi\u00f3n sobre f\u00f3rmulas y\n<li> demostraciones por inducci\u00f3n sobre f\u00f3rmulas.\n<\/ul>\n<p>Las tareas pendientes 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, 23, 24 y 25 del cap\u00edtulo 1 del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-10\/temas\/ejercicios-LI-2010-11.pdf\">libro de ejercicios<\/a>.\n<\/ul>\n<p>Las transparencias de esta clase son las p\u00e1ginas 1-13 del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-10\/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>En la clase de hoy del curso L\u00f3gica Inform\u00e1tica ha tenido tres partes. En la primera parte se ha presentado un panorama de la L\u00f3gica Inform\u00e1tica en la que se ha visto su concepto (L\u00f3gica Inform\u00e1tica = Representaci\u00f3n del conocimiento + Automatizaci\u00f3n del razonamiento), distintas l\u00f3gicas y aplicaciones de la l\u00f3gica en Inform\u00e1tica. En la&#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":[172],"tags":[291],"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\/1225"}],"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=1225"}],"version-history":[{"count":2,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/1225\/revisions"}],"predecessor-version":[{"id":1227,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/1225\/revisions\/1227"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=1225"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=1225"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=1225"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}