{"id":6933,"date":"2020-01-09T11:02:43","date_gmt":"2020-01-09T10:02:43","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=6933"},"modified":"2020-01-11T11:03:10","modified_gmt":"2020-01-11T10:03:10","slug":"ra2019-sintaxis-y-semantica-de-la-logica-de-primer-orden","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/ra2019-sintaxis-y-semantica-de-la-logica-de-primer-orden\/","title":{"rendered":"RA2019: Sintaxis y sem\u00e1ntica de la l\u00f3gica de primer orden"},"content":{"rendered":"<p>En la segunda parte de la clase de hoy del curso <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/m-ra-19\">Razonamiento autom\u00e1tico<\/a> se ha presentado la sintaxis y la sem\u00e1ntica de la l\u00f3gica de primer orden como respuestas a las siguientes preguntas:<\/p>\n<ul>\n<li>\u00bfc\u00f3mo se puede representar el conocimiento con la l\u00f3gica de primer orden?,<\/li>\n<li>\u00bfqu\u00e9 es una f\u00f3rmula de primer orden?, <\/li>\n<li>\u00bfqu\u00e9 significa que una f\u00f3rmula verdadera? y<\/li>\n<li>\u00bfqu\u00e9 significa que un argumento sea correcto?<\/li>\n<\/ul>\n<p>Como ejemplos de representaci\u00f3n hemos visto c\u00f3mo representar conocimiento geogr\u00e1fico, del mundo de los bloques y conocimiento astron\u00f3mico. En los distintos ejemplos hemos resaltado los tipos de s\u00edmbolos l\u00f3gicos utilizados.<\/p>\n<p>A partir de los ejemplos de representaci\u00f3n del conocimiento, se han definido los s\u00edmbolos l\u00f3gicos (variables, conectivas, cuantificadores e igualdad) y los s\u00edmbolos no l\u00f3gicos (constantes, predicados y funciones) que forman el alfabeto del lenguaje de la l\u00f3gica de primer orden.<\/p>\n<p>A partir del alfabeto, se definen los t\u00e9rminos, las f\u00f3rmulas at\u00f3micas y las f\u00f3rmulas del lenguaje.<\/p>\n<p>Como medio del reconocimiento de f\u00f3rmulas, se introducen los \u00e1rboles de an\u00e1lisis. Con ello, respondemos a la segunda de las preguntas iniciales.<\/p>\n<p>En segundo lugar hemos estudiado la sem\u00e1ntica, comenzando con distintas cuestiones sobre qu\u00e9 significa que una f\u00f3rmula sea verdadera para resaltar su dependencia del universo, la interpretaci\u00f3n de los s\u00edmbolos no l\u00f3gico y de las asignaciones a las variables libres.<\/p>\n<p>Se han definido las estructuras de un lenguaje, las asignaciones a las variables y las interpretaciones de un lenguaje.<\/p>\n<p>Se ha definido el valor de un t\u00e9rmino o de una f\u00f3rmula en una interpretaci\u00f3n. Con ello, respondemos a la tercera de las preguntas iniciales.<\/p>\n<p>Las transparencias de esta clase son las del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/lmf-17\/temas\/tema-7.pdf\">tema 8a<\/a>.<\/p>\n<p>Como pr\u00e1ctica, se ha propuesto la <a href=\"https:\/\/www.glc.us.es\/~jalonso\/RA2019\/index.php\/R8\">8\u00aa relaci\u00f3n de ejercicios<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>En la segunda parte de la clase de hoy del curso Razonamiento autom\u00e1tico se ha presentado la sintaxis y la sem\u00e1ntica de la l\u00f3gica de primer orden como respuestas a las siguientes preguntas: \u00bfc\u00f3mo se puede representar el conocimiento con la l\u00f3gica de primer orden?, \u00bfqu\u00e9 es una f\u00f3rmula de primer orden?, \u00bfqu\u00e9 significa que&#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":[333],"tags":[],"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\/6933"}],"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=6933"}],"version-history":[{"count":1,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/6933\/revisions"}],"predecessor-version":[{"id":6934,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/6933\/revisions\/6934"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=6933"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=6933"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=6933"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}