{"id":1178,"date":"2026-06-24T14:01:14","date_gmt":"2026-06-24T14:01:14","guid":{"rendered":"https:\/\/com-proff.com\/?p=1178"},"modified":"2026-06-24T14:01:16","modified_gmt":"2026-06-24T14:01:16","slug":"tipos-de-razonamiento","status":"publish","type":"post","link":"https:\/\/com-proff.com\/en\/aprendizaje\/tipos-de-razonamiento\/","title":{"rendered":"TIPOS DE RAZONAMIENTO"},"content":{"rendered":"
\"\"<\/figure>\n\n\n\n

Normalmente, el razonamiento est\u00e1 relacionado con la resoluci\u00f3n de problemas. Por ejemplo, el Logic Theorist usa m\u00e9todos deductivos (razonamiento) para resolver problemas relativos a la demostraci\u00f3n de problemas. El razonamiento puede ser de varios tipos: deductivo, inductivo, anal\u00f3gico, sentido com\u00fan, etc. El planteamiento de Robinson (1965), por ejemplo, suele ser descrito en t\u00e9rminos de procedimientos de resoluci\u00f3n, siendo \u00e9sta la regla b\u00e1sica de inferencia. Este enfoque ha tenido un gran impacto en la resoluci\u00f3n de problemas y en la aplicaci\u00f3n del sentido com\u00fan. Se ha sugerido que un planteamiento resolutivo puede facilitar la estructuraci\u00f3n de un solucionador de problemas universal mediante la descripci\u00f3n del problema en l\u00f3gica de primer orden (v. g.: en c\u00e1lculo proposicional) y deduciendo las soluciones a trav\u00e9s de un procedimiento general de demostraci\u00f3n.<\/p>\n\n\n\n

Pero no se han cumplido las esperanzas iniciales de desarrollo de solucionadores deductivos de problemas, y ha dejado de ser exclusivo el uso de la l\u00f3gica y el sentido com\u00fan en la resoluci\u00f3n de problemas. Actualmente, sin embargo, vuelve a existir un renovado inter\u00e9s por los procedimientos deductivos en los problemas que se pueden resolver por sentido com\u00fan. Cohen y Feigenbaum (1982) han sugerido que los sistemas de Al que razonan con informaci\u00f3n parcial son, en realidad equivalentes a sistemas deductivos autom\u00e1ticos. El problema de la deducci\u00f3n autom\u00e1tica es la vieja dificultad de la \u201cexplosi\u00f3n combinatoria”, incluso con un n\u00famero reducido de par\u00e1metros r\u00e1pidamente se alcanza un n\u00famero demasiado alto de inferencias posibles. Sin una gu\u00eda de conocimientos espec\u00edficos el proceso deductivo se hace totalmente incontrolable.<\/p>\n\n\n\n

Casi toda la controversia sobre la deducci\u00f3n autom\u00e1tica se centra exclusivamente en la l\u00f3gica de primer orden (los conceptos y expresiones que se pueden encontrar en los trabajos de los l\u00f3gicos del siglo XIX y en la obra Principia Matem\u00e1tica). Pero actualmente existe un gran inter\u00e9s por l\u00f3gicas no cl\u00e1sicas y de orden superior. Se est\u00e1 haciendo un gran esfuerzo para desarrollar esquemas de razonamiento que puedan manejar informaci\u00f3n parcial o contraria (l\u00f3gica difusa). Se ha descubierto que muchas de las representaciones en l\u00f3gicas no cl\u00e1sicas pueden reformularse en representaciones l\u00f3gicas equivalentes a la l\u00f3gica cl\u00e1sica de primer orden. Una situaci\u00f3n afortunada, pues se han desarrollado infinidad de t\u00e9cnicas de deducci\u00f3n autom\u00e1tica en l\u00f3gica anal\u00f3gicos de razona primer orden (Funt, 1983, describe los modos cl\u00e1sica de miento).<\/p>\n\n\n\n

ser insuficientes para tratar operaciones de intensidad, tales como como los valores significativos. La l\u00f3gica cl\u00e1sica se considera como una simple ampliaci\u00f3n del contexto, pues el valor verdadero de una expresi\u00f3n depende \u00fanicamente de las extensiones de sus subexpresiones. Por tanto, el operador l\u00f3gico O (OR) es una extensi\u00f3n, pues la verdad de P O Q depende de la verdad en Po en Q. Las creencias, sin embargo, son operadores de intensificaci\u00f3n: la verdad en A cree a P depende del significado de P, no de su verdadero valor. La l\u00f3gica no monot\u00f3mica, una de las l\u00f3gicas no cl\u00e1sicas, ha recibido \u00faltimamente gran atenci\u00f3n. En este contexto, Marvin Minsky, por ejemplo, ha se\u00f1alado que tratar el razonamiento del sentido com\u00fan como puramente deductivo ignora la capacidad para retraer una conclusi\u00f3n a la luz de nuevas evidencias. En este campo se puede ver que el conjunto de conclusiones inferidas no aumenta monot\u00f3nicamente con el conjunto de premisas como ocurre en las l\u00f3gicas deductivas convencionales. Casi todo el inter\u00e9s actual en la deducci\u00f3n autom\u00e1tica deriva del creciente inter\u00e9s por los sistemas expertos (sistemas de conocimientos) y sus requerimientos de diferentes recursos de programaci\u00f3n l\u00f3gica. La programaci\u00f3n l\u00f3gica trata del uso de lenguajes de alto nivel para escribir programas como conjuntos de aserciones, consideradas \u00e9stas como declaraciones descriptivas de entidades y relaciones. Las aserciones pueden ser ejecutadas por un int\u00e9rprete (programa que traduce y ejecuta cada sentencia de lenguaje antes de traducir y ejecutar la siguiente).<\/p>\n\n\n\n

La programaci\u00f3n l\u00f3gica se ha utilizado en varios programas no relacionados con la Al (v. g.: gesti\u00f3n de bases de datos), pero es especialmente interesante para la Al, porque ofrece una alternativa a LISP como otro enfoque de la manipulaci\u00f3n de s\u00edmbolos. Adem\u00e1s, la programaci\u00f3n l\u00f3gica es particularmente \u00fatil para la representaci\u00f3n de conocimientos, un requerimiento b\u00e1sico en sistemas expertos y otros sistemas de Al. La programaci\u00f3n l\u00f3gica caracteriza el estilo de programaci\u00f3n espec\u00edfico incorporado al lenguaje PROLOG. actualmente con varios dialectos. En Europa, PROLOG es el principal lenguaje de realizaci\u00f3n de la Al. Tambi\u00e9n ha acaparado un gran inter\u00e9s en USA,y ha influenciado considerablemente los proyectos de software del programa de ordenadores de quinta generaci\u00f3n que investiga actual-mente el Jap\u00f3n.<\/p>","protected":false},"excerpt":{"rendered":"

Normalmente, el razonamiento est\u00e1 relacionado con la resoluci\u00f3n de problemas. Por ejemplo, el Logic Theorist usa m\u00e9todos deductivos (razonamiento) para resolver problemas relativos a la […]<\/p>\n","protected":false},"author":2,"featured_media":1179,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[132],"tags":[287],"class_list":["post-1178","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-aprendizaje","tag-razonamiento"],"_links":{"self":[{"href":"https:\/\/com-proff.com\/en\/wp-json\/wp\/v2\/posts\/1178","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/com-proff.com\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/com-proff.com\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/com-proff.com\/en\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/com-proff.com\/en\/wp-json\/wp\/v2\/comments?post=1178"}],"version-history":[{"count":1,"href":"https:\/\/com-proff.com\/en\/wp-json\/wp\/v2\/posts\/1178\/revisions"}],"predecessor-version":[{"id":1180,"href":"https:\/\/com-proff.com\/en\/wp-json\/wp\/v2\/posts\/1178\/revisions\/1180"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/com-proff.com\/en\/wp-json\/wp\/v2\/media\/1179"}],"wp:attachment":[{"href":"https:\/\/com-proff.com\/en\/wp-json\/wp\/v2\/media?parent=1178"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/com-proff.com\/en\/wp-json\/wp\/v2\/categories?post=1178"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/com-proff.com\/en\/wp-json\/wp\/v2\/tags?post=1178"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}