Normalmente, el razonamiento está relacionado con la resolución de problemas. Por ejemplo, el Logic Theorist usa métodos deductivos (razonamiento) para resolver problemas relativos a la demostración de problemas. El razonamiento puede ser de varios tipos: deductivo, inductivo, analógico, sentido común, etc. El planteamiento de Robinson (1965), por ejemplo, suele ser descrito en términos de procedimientos de resolución, siendo ésta la regla básica de inferencia. Este enfoque ha tenido un gran impacto en la resolución de problemas y en la aplicación del sentido común. Se ha sugerido que un planteamiento resolutivo puede facilitar la estructuración de un solucionador de problemas universal mediante la descripción del problema en lógica de primer orden (v. g.: en cálculo proposicional) y deduciendo las soluciones a través de un procedimiento general de demostració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ógica y el sentido común en la resolución de problemas. Actualmente, sin embargo, vuelve a existir un renovado interés por los procedimientos deductivos en los problemas que se pueden resolver por sentido común. Cohen y Feigenbaum (1982) han sugerido que los sistemas de Al que razonan con información parcial son, en realidad equivalentes a sistemas deductivos automáticos. El problema de la deducción automática es la vieja dificultad de la “explosión combinatoria”, incluso con un número reducido de parámetros rápidamente se alcanza un número demasiado alto de inferencias posibles. Sin una guía de conocimientos específicos el proceso deductivo se hace totalmente incontrolable.
Casi toda la controversia sobre la deducción automática se centra exclusivamente en la lógica de primer orden (los conceptos y expresiones que se pueden encontrar en los trabajos de los lógicos del siglo XIX y en la obra Principia Matemática). Pero actualmente existe un gran interés por lógicas no clásicas y de orden superior. Se está haciendo un gran esfuerzo para desarrollar esquemas de razonamiento que puedan manejar información parcial o contraria (lógica difusa). Se ha descubierto que muchas de las representaciones en lógicas no clásicas pueden reformularse en representaciones lógicas equivalentes a la lógica clásica de primer orden. Una situación afortunada, pues se han desarrollado infinidad de técnicas de deducción automática en lógica analógicos de razona primer orden (Funt, 1983, describe los modos clásica de miento).
ser insuficientes para tratar operaciones de intensidad, tales como como los valores significativos. La lógica clásica se considera como una simple ampliación del contexto, pues el valor verdadero de una expresión depende únicamente de las extensiones de sus subexpresiones. Por tanto, el operador lógico O (OR) es una extensión, pues la verdad de P O Q depende de la verdad en Po en Q. Las creencias, sin embargo, son operadores de intensificación: la verdad en A cree a P depende del significado de P, no de su verdadero valor. La lógica no monotómica, una de las lógicas no clásicas, ha recibido últimamente gran atención. En este contexto, Marvin Minsky, por ejemplo, ha señalado que tratar el razonamiento del sentido común como puramente deductivo ignora la capacidad para retraer una conclusión a la luz de nuevas evidencias. En este campo se puede ver que el conjunto de conclusiones inferidas no aumenta monotónicamente con el conjunto de premisas como ocurre en las lógicas deductivas convencionales. Casi todo el interés actual en la deducción automática deriva del creciente interés por los sistemas expertos (sistemas de conocimientos) y sus requerimientos de diferentes recursos de programación lógica. La programación lógica trata del uso de lenguajes de alto nivel para escribir programas como conjuntos de aserciones, consideradas éstas como declaraciones descriptivas de entidades y relaciones. Las aserciones pueden ser ejecutadas por un intérprete (programa que traduce y ejecuta cada sentencia de lenguaje antes de traducir y ejecutar la siguiente).
La programación lógica se ha utilizado en varios programas no relacionados con la Al (v. g.: gestión de bases de datos), pero es especialmente interesante para la Al, porque ofrece una alternativa a LISP como otro enfoque de la manipulación de símbolos. Además, la programación lógica es particularmente útil para la representación de conocimientos, un requerimiento básico en sistemas expertos y otros sistemas de Al. La programación lógica caracteriza el estilo de programación específico incorporado al lenguaje PROLOG. actualmente con varios dialectos. En Europa, PROLOG es el principal lenguaje de realización de la Al. También ha acaparado un gran interés en USA,y ha influenciado considerablemente los proyectos de software del programa de ordenadores de quinta generación que investiga actual-mente el Japón.
Belén Stettler, oriunda de Río Gallegos, Santa Cruz, Argentina, cuenta con 35 años y es Licenciada en Ciencias de la Comunicación Social por la Universidad de Buenos Aires (UBA). A lo largo de sus 13 años de trayectoria en comunicación política, ha trabajado como consultora en Buenos Aires, especializándose en estrategia, investigación y comunicación directa. Ha dirigido equipos de comunicación en diversas campañas. Su experiencia incluye roles importantes en la Obra Social del Personal de Seguridad Pública de Buenos Aires, la Vicejefatura de Gobierno de Buenos Aires, Claves Creativas, Ford Argentina y AkzoNobel, iniciando su carrera en Grupo Suessa Organización Empresaria.
