Inteligencia Artificial(3/4): Lo bueno, lo malo y lo feo.

Mar, sep 23, 2008 Artculos

Con la idea de facilitarnos las tareas que debemos de desempear los humanos, hemos venido inventado diversas herramientas a lo largo de nuestra historia, aquellas que nos permiten tener una mejor calidad de vida; los ordenadores son uno ms de los inventos del hombre, pero esta herramienta por s sola no es capaz de efectuar ninguna tarea, es tan slo un conjunto de cables y circuitos (al igual que un robot) que necesitan recibir instruccin por parte de los humanos para desempear alguna tarea. En las siguientes lneas daremos algunas respuestas a ciertas inquietudes tales como: cmo es que se lo hace?, qu dicen las personas al respecto? entre otros que van a dar mucho que opinar y comentar. Bienvenido nuevamente a este tema de investigacion acerca de la majestuosa Inteligencia Artificial.

A partir de los aos sesenta, empiezan a surgir diferentes lenguajes de programacin, atendiendo a diversos enfoques, caractersticas y propsitos, que ms adelante describiremos. Por lo pronto, puede decirse, que actualmente existen alrededor de 2000 lenguajes de programacin [KINNERSLEY 95] y continuamente, estn apareciendo otros ms nuevos, que prometen hacer mejor uso de los recursos computacionales y facilitar el trabajo de los programadores. Tratando de resumir un poco, presentaremos los siguientes cuadros evolutivos, donde aparecen los lenguajes que por su uso y comercializacin, han resultado ser los ms populares a lo largo de este medio siglo.

Evolucin de los lenguajes declarativos Dentro de todos ellos los que son ms de uso exclusivo dentro de lo que es IA son los Funcionales o tambin lenguajes basados en funciones, las cuales se representan mediante expresiones, que nos permiten obtener ciertos resultados a partir de una serie de argumentos. De hecho las expresiones estn formadas por un conjunto de trminos, que a su vez pueden encapsular otras expresiones, para con la evaluacin de todas ellas, llegar a la solucin deseada. stos a su vez son los: Lgicos: Este tipo de lenguajes se basan en el clculo de predicados, la cual es una teora matemtica que permite entre otras cosas, lograr que un ordenador basndose en un conjunto de hechos y de reglas lgicas, pueda derivar en soluciones inteligentes. [DIMARE 90]. El mismo ejemplo del factorial, se vera de la siguiente manera, escrito en PROLOG factorial (0, 1) factorial (X, Fac) :- Y is X-1, fac(Y, F2), Fac is F2 * X

Ventajas y Desventajas de la Inteligencia Artificial

La Inteligencia Artificial estudiada dentro del culto a la computacin (subrayado del autor) no tiene la ms remota posibilidad de producir resultados duraderos. Ya es tiempo de canalizar los esfuerzos de los investigadores de la IA -as como de los recursos econmicos puestos a su disposicin- en otras reas que no sean los mtodos del cmputo (SAYRE, 1993:23) Luego de cincuenta aos de esfuerzos, excepto para unos cuantos empecinados, es para todos evidente que esta empresa por crear inteligencia en general ha fracasado (DREYFUS, 1992:386)

Ventajas Y Objeciones Para La IA.

En El Contexto Social Uno de los cuestionamientos filosficos bsicos en la IA es Son capaces de pensar las mquinas? No se intentar dar una respuesta a la pregunta anterior, ya que tampoco su definicin es clara. Para entender el porqu considrense las siguientes preguntas.Son capaces de volar las mquinas? Son capaces de nadar las mquinas?. La mayora estara de acuerdo en que la respuesta a la primera de estas preguntas es s, los aeroplanos pueden volar, en tanto que la segunda es no; barcos y submarinos se desplazan a travs del agua, aunque no de manera que conocemos como nadar. Estas respuestas tienen poca relevancia en el diseo o en las capacidades de los aeroplanos y de los submarinos, y tienen ms que ver con la manera como escogemos el empleo de palabras. La palabra Nadar significa Desplazarse a travs del agua mediante movimientos de las extremidades o de otras partes del cuerpo, en tanto que el significado de la palabra Volar no indica restricciones de los medios de locomocin.

Para complicar an ms las cosas, las palabras tambin se utilizan con un sentido metafrico, y cuando decimos que una computadora (o un ingeniero, o la economa) marcha bien, lo que se quiere dar a entender es que funciona correctamente, no que se impulsa a s misma mediante piernas y de una manera admirable. De manera similar, cuando una persona afirma: Mi MODEM no funciona, porque la computadora piensa que est en una lnea de 2400 baudios, posiblemente la palabra Piensa se utiliza en sentido metafrico, y sostendr que eso de que las computadoras piensan no debe interpretarse en sentido literal. Algunas de las objeciones pueden resolverse sin mayor problema. Por ejemplo, Lady Ada Lovelace, en su comentario sobre la Mquina Analtica de Babbage afirma: No pretende crear nada. Es capaz de hacer todo aquello que sabemos ordenarle que ejecute (BABBAGE, 1978:85) Esta objecin, de que las computadoras slo son capaces de hacer lo que se les indica y que, por lo tanto, no son capaces de hacer nada creativo, es algo con lo que todava nos topamos en la actualidad. Una sencilla refutacin es afirmando que una de las cosas que podemos ordenar a una computadora es aprender a partir de su propia experiencia. Ser amable, polifactico, hermoso, amigable, tener iniciativa, sentido del humor, saber distinguir lo bueno de lo malo, cometer errores, enamorarse, gustar de las fresas con crema, hacer que alguien se enamore de uno, aprender de la experiencia, usar las palabras correctamente, ser objeto de sus propios pensamientos, tener una conducta tan diversa como la del hombre y hacer cosas realmente nuevas (TURING, 1984:456). Si bien alguna de las habilidades anteriores se refiere a la conciencia de las mquinas y de lo cual se hablar extensamente a continuacin, muchas de ellas tienen que ver con caractersticas de tipo conductual. Turing comenta que este tipo de escepticismo surge en el caso de la experiencia que se ha tenido con las mquinas en cuanto artefactos que sirven para realizar tareas repetitivas en las que a finales de la dcada de 1940, a la poblacin le resultaba difcil que las mquinas pudiesen encontrar soluciones numricas a las ecuaciones o predecir trayectorias balsticas. An en nuestros das, son muchos los analfabetizados tecnolgicamente que no creen que las mquinas sean capaces de aprender. La inteligencia artificial estudia espacialmente mtodos que permiten resolver problemas en los que no existe el conocimiento sistemtico para plantear una solucin analtica (mtodos considerados dbiles por realizar procedimientos de bsqueda no informada). Las tcnicas de representacin que permiten describir los aspectos conocidos del problema se denominan declarativos (declaran el qu). Sus ventajas son su claridad, su predisposicin al planteamiento modular y que se pueden aadir nuevos hechos a los ya existentes. Las tcnicas de representacin que se centran en especificar el proceso que hay que realizar para encontrar los soluciones buscadas se denominan procedimentales (se centran en el cmo), fijan el conocimiento del dominio que no se ajusta a esquemas declarativos y ese mismo conocimiento sirve para guiar las lneas de conocimiento del proceso de bsqueda. Ningn sistema es completamente declarativo o exclusivamente procedimental. En principio son intercambiables (cuando exista el proceso de interpretacin adecuado para las declarativas). En general se puede afirmar que el carcter procedimental conlleva un tratamiento algoritmo y el declarativo uno heurstico. El planteamiento general de un problema consiste en encontrar o construir una solucin (o varias) de dicho problema. Este problema requiere: Un agente (sistema) con una serie de objetivos que se quieren alcanzar Un conjunto de acciones que permiten obtener los objetivos o metas Un procedimiento de eleccin entre diferentes formas de llegar a las metas (cada solucin constituye una secuencia de acciones). El mdulo que construye la solucin suele llamarse solucionador.