{"id":1594,"date":"2011-09-28T16:01:50","date_gmt":"2011-09-28T16:01:50","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=1594"},"modified":"2011-09-29T07:02:37","modified_gmt":"2011-09-29T07:02:37","slug":"li2011-12-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\/li2011-12-panorama-de-la-logica-la-logica-proposicional-como-sistema-de-representacion-del-conocimiento\/","title":{"rendered":"LI2011-12: 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\/li-11\">L\u00f3gica Inform\u00e1tica<\/a> ha tenido dos 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>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-5 del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-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\/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 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 segunda&#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":[183],"tags":[182],"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\/1594"}],"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=1594"}],"version-history":[{"count":1,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/1594\/revisions"}],"predecessor-version":[{"id":1595,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/1594\/revisions\/1595"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=1594"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=1594"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=1594"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}