{"id":4777,"date":"2025-11-07T20:01:26","date_gmt":"2025-11-07T20:01:26","guid":{"rendered":"https:\/\/blogs.ua.es\/faraonllorens\/?p=4777"},"modified":"2025-11-10T08:24:55","modified_gmt":"2025-11-10T08:24:55","slug":"logica-para-la-inteligencia-artificial","status":"publish","type":"post","link":"https:\/\/blogs.ua.es\/faraonllorens\/2025\/11\/07\/logica-para-la-inteligencia-artificial\/","title":{"rendered":"L\u00f3gica para la inteligencia artificial"},"content":{"rendered":"\n

L\u00f3gica para la inteligencia artificial<\/a><\/strong><\/p>\n\n\n\n

Grado en Ingenier\u00eda en Inteligencia Artificial<\/a><\/p>\n\n\n\n

Dpto. de Ciencia de la Computaci\u00f3n e Inteligencia Artificial<\/em><\/a><\/p>\n\n\n\n

Universidad de Alicante<\/a><\/em><\/p>\n\n\n\n

<\/p>\n\n\n

\n
\"\"<\/a><\/figure>\n<\/div>\n\n\n

<\/p>\n\n\n\n

Mantras de L\u00f3gIA<\/strong><\/p>\n\n\n\n

<\/p>\n\n\n\n

Siguiendo con mi man\u00eda de redactar los objetivos y competencias en un lenguaje sencillo y claro, que llamo mantras, tras tres cursos impartiendo \u201cL\u00f3gica para la inteligencia artificial\u201d tengo redactados los mantras de L\u00f3gIA:<\/strong><\/p>\n\n\n\n

0.    De lo que te digan, no te creas nada. Y de lo que veas, tampoco. Que no te enga\u00f1en: \u00a1aprende l\u00f3gica!<\/strong><\/p>\n\n\n\n

1.    Elegir una representaci\u00f3n del conocimiento<\/strong> adecuada puede ayudarte en la resoluci\u00f3n del problema.<\/p>\n\n\n\n

2.    Equilibrio: m\u00e1s expresividad<\/strong> conlleva mayor complejidad en su manipulaci\u00f3n; menos expresividad puede impedirte resolver el problema.<\/p>\n\n\n\n

3.    El implicador l\u00f3gico <\/strong>no habla de causas, sino de compromisos. Solo falla cuando se promete algo y no se cumple.<\/p>\n\n\n\n

4.    Tan fiable es quien siempre dice la verdad (tautolog\u00eda<\/strong>) como quien siempre miente (contradicci\u00f3n<\/strong>); el problema est\u00e1 en quien unas veces miente y otras no (indeterminaci\u00f3n<\/strong>).<\/p>\n\n\n\n

5.    Basta una sola mentira<\/strong> para poner en duda todas las verdades<\/strong> anteriores.<\/p>\n\n\n\n

6.    Una cadena<\/strong> es tan fuerte como su eslab\u00f3n<\/strong> m\u00e1s d\u00e9bil.<\/p>\n\n\n\n

7.    Un programa de ordenador <\/strong>es una deducci\u00f3n l\u00f3gica<\/strong>.<\/p>\n\n\n\n

8.    A partir de las reglas b\u00e1sicas<\/strong>, podremos obtener nuevas reglas (reglas derivadas<\/strong>), que act\u00faan como \u201catajos\u201d en nuestras deducciones.<\/p>\n\n\n\n

9.    Automatizar<\/strong> la deducci\u00f3n natural exige decisiones de dise\u00f1o que limitan la potencia de la l\u00f3gica.<\/p>\n\n\n\n

10. Demostraci\u00f3n autom\u00e1tica<\/strong>. Una \u00fanica estrategia: refutaci\u00f3n (reducci\u00f3n al absurdo). Una notaci\u00f3n \u00fanica: forma clausal (forma normal conjuntiva). Una \u00fanica regla: regla de resoluci\u00f3n.<\/p>\n\n\n\n

11. En la programaci\u00f3n l\u00f3gica<\/strong> se especifica qu\u00e9 <\/strong>debe hacerse (programaci\u00f3n declarativa), no c\u00f3mo<\/strong> hacerlo (programaci\u00f3n imperativa).<\/p>\n\n\n\n

12. Prolog<\/strong> busca el equilibrio entre mantener las propiedades del modelo abstracto de Programaci\u00f3n L\u00f3gica y ofrecer una implementaci\u00f3n eficiente.<\/p>\n\n\n\n

13. La aplicaci\u00f3n de la l\u00f3gica cl\u00e1sica al razonamiento diario<\/strong> est\u00e1 muy limitada: incertidumbre, informaci\u00f3n incompleta, cambiante en el tiempo …<\/p>\n\n\n\n

Bonus. Aprende mucha tecnolog\u00eda para la IA, pero lee ensayos sobre filosof\u00eda<\/strong> y la inteligencia humana<\/strong>.<\/p>\n\n\n\n

Me conformo con que al acabar de cursar la asignatura tengan interiorizados estos mensajes y los apliquen en su forma de actuar. Creo que les servir\u00e1n tanto en su vida profesional como personal.<\/p>\n\n\n\n

<\/p>\n\n\n\n

Enlace al documento: http:\/\/hdl.handle.net\/10045\/160493<\/a><\/p>\n\n\n\n

<\/p>\n","protected":false},"excerpt":{"rendered":"

L\u00f3gica para la inteligencia artificial Grado en Ingenier\u00eda en Inteligencia Artificial Dpto. de Ciencia de la Computaci\u00f3n e Inteligencia Artificial Universidad de Alicante Mantras de L\u00f3gIA Siguiendo con mi man\u00eda de redactar los objetivos y competencias en un lenguaje sencillo y claro, que llamo mantras, tras tres cursos impartiendo \u201cL\u00f3gica para la inteligencia artificial\u201d tengo […]<\/p>\n","protected":false},"author":30,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1436,2325692],"tags":[],"class_list":["post-4777","post","type-post","status-publish","format-standard","hentry","category-reflexiones","category-smart_learning"],"_links":{"self":[{"href":"https:\/\/blogs.ua.es\/faraonllorens\/wp-json\/wp\/v2\/posts\/4777","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.ua.es\/faraonllorens\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.ua.es\/faraonllorens\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.ua.es\/faraonllorens\/wp-json\/wp\/v2\/users\/30"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.ua.es\/faraonllorens\/wp-json\/wp\/v2\/comments?post=4777"}],"version-history":[{"count":4,"href":"https:\/\/blogs.ua.es\/faraonllorens\/wp-json\/wp\/v2\/posts\/4777\/revisions"}],"predecessor-version":[{"id":4801,"href":"https:\/\/blogs.ua.es\/faraonllorens\/wp-json\/wp\/v2\/posts\/4777\/revisions\/4801"}],"wp:attachment":[{"href":"https:\/\/blogs.ua.es\/faraonllorens\/wp-json\/wp\/v2\/media?parent=4777"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ua.es\/faraonllorens\/wp-json\/wp\/v2\/categories?post=4777"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ua.es\/faraonllorens\/wp-json\/wp\/v2\/tags?post=4777"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}