Formalismo y Cognicin Numa Tortolero

La IA y cierta tendencia de la filosofa consideran a los lenguajes formales de gran utilidad y, en muchos casos, una herramienta indispensable. Dice Mc arthy! "#...$ %ueremos un programa de computadora %ue decida %u& hacer tras inferir en un lenguaje formal %ue una estrategia alcan'ar( su meta asignada. )sto re%uiere formali'ar conceptos de causalidad, habilidad y conocimiento. Tales formalismos tambi&n son considerados en l*gica filos*fica.+ #Mc arthy ,-.-$.

As, una tendencia de la IA conocida como simbolismo, asume %ue el dise/o de IA es posible si un sistema de c*mputo puede deducir una estrategia para resol0er un problema #Mc arthy, ,-.-$1 el proceso de deducci*n a%u en juego se reali'ara a partir de la representaci*n en un lenguaje formal de hechos o estados de cosas rele0antes. 2i bien los "simbolistas+ de la IA asumen esto, el fil*sofo est( en su derecho y obligaci*n de preguntar por %u& la necesidad del lenguaje formal! 3Es que acaso es indispensable el uso de lenguajes formales para la adquisicin de conocimientos4 )s sabido %ue no, y esto marca una diferencia importante entre los procesos cogniti0os de un sistema de c*mputo y los de un ser humano. )sto %uiere decir %ue en IA se tiene una noci*n de conocimiento muy particular %ue supone precisamente la necesidad de hacer una representaci*n de los hechos a tra0&s de un lenguaje formal. 5 as la IA sigue dependiendo en este sentido de la filosofa, dado %ue &sta tiene mucho %ue decir acerca de nociones fundamentales como necesidad,

conocimiento, creencia, por su e6tensa tradici*n de in0estigaciones dedicadas a la formali'aci*n de estos conceptos.

omo un ejemplo, tenemos los desarrollos y a0ances en composici*n algortmica. 2in duda alguna, la composici*n musical es una acti0idad %ue re%uiere la inter0enci*n de la inteligencia. Todo compositor sabe %ue durante su labor se presentan problemas particulares y %ue incluso puede plantear la reali'aci*n 7composici*n8 de una idea musical como un problema. )sto es tan cierto %ue %uienes hacen composici*n algortmica sostienen %ue una composici*n puede ser e6presada en alg9n lenguaje de programaci*n 7Lisp, :ython, ;as<ell8! "una de las mejores cosas de aplicar la programaci*n a la m9sica es %ue podeos describir y reproducir el proceso musical in0olucrado+ #=roger, >?,@, p. AB$. :or supuesto, esto supone %ue antes hayamos capturado el proceso! "es posible generar m9sica significante con poco c*digo! la cla0e es capturar el proceso composicional de la pie'a+ #=roger, >?,@, p. C>$. 2i un algoritmo no es sino un procedimiento discreto a tra0&s del cual solucionamos un problema, y a tra0&s de un algoritmo podemos reproducir el proceso %ue genera una composici*n musical, entonces podemos representarnos una idea musical como un problema cuya soluci*n podra ser alcan'ada a tra0&s de alg9n procedimiento computacional. As %ue es posible apro0echar el marco brindado por un lenguaje de programaci*n para ra'onar acerca de procesos musicales. 5 como adem(s es posible establecer una relaci*n de consecuencia entre los enunciados de un lenguaje, entre los enunciados de un algoritmo %ue e6presa un proceso musical debe haber una estructura l*gica.

Formalismo y cognicin

Los lenguajes formales seran una herramienta insustituible en el estudio de las estructuras l*gicas %ue constituyen las ciencias. )n general, los lenguajes formales permiten mayor precisi*n, e0itan la 0aguedad, permiten 0er m(s claramente la estructura y las formas de las deducciones y argumentaciones. 2i bien el propio in0estigador o cientfico no piensa ni trabaja directamente en un lenguaje formal, &ste le permite anali'ar mejor, obser0ar m(s ntidamente c*mo trabaja, c*mo es un proceso cogniti0o y si &ste ha sido correcto. )ntonces s parece haber alguna relaci*n entre conocimiento o proceso cogniti0o y formalismo! 3Cul y cmo es esta relacin entre proceso cognitivo y formalismo4 :osiblemente &sta sea otra forma de preguntar por %u& las m(%uinas de IA deben trabajar con lenguajes formales, pues la necesidad y posibilidad del uso de lenguajes formales en el dise/o de IA depende de %u& y como se entienda la noci*n de proceso cogniti0o.

2eg9n se entienda por proceso cogniti0o habra %ue 0er si tal noci*n se adecua o est( en consonancia con los "procesos mentales+ %ue tiene efecto en los seres humanos en la ad%uisici*n de conocimiento o en la resoluci*n de problemas %ue e6igen el uso de inteligencia. )ncontramos %ue los dise/adores de IA tienen muy claro %u& buscan! dise/o de dispositi0os %ue de forma automati'ada pueden resol0er problemas %ue re%uieren el uso de facultades tradicionalmente atribuidas a la inteligencia humana, como la deducci*n y el ra'onamiento a partir de ciertos datos. Lo curioso es %ue sin ser &ste el objeti0o de las in0estigaciones filos*ficas, e6istan en la filosofa y en la IA el planteamiento de problemas similares.

La naturaleza de las entidades mentales Muchas de las propiedades y atributos de las entidades %ue conforman nuestra mente, consideradas como proposiciones desde el punto de 0ista de la l*gica, pueden encontrarse en procesos de c*mputo. Dran parte de lo %ue en la 0ida cotidiana consideramos como algo "mental+ podemos represent(rnoslo como procesos en los %ue se manipula y trabaja con informaci*n, es decir, como procesos cogniti0os #Eabossi, ,--C, p. >?$. Al concebir un proceso de ad%uisici*n de conocimientos como una secuencia de actos u operaciones sobre un conjunto de datos, podramos inferir de %ue dichos procesos pueden ser automati'ados o computados y, en efecto, dedicarnos a alcan'ar una particular comprensi*n e identificaci*n de mecanismos o procesos intelectuales y de su naturale'a re0isando el proceso de dise/o de programas %ue permiten automati'ar dichos procesos.

)n esta concepci*n de proceso cogniti0o hay presente por lo menos dos circunstancias %ue encontramos rele0antes. La primera es %ue un proceso cogniti0o se reali'a como un proceso de deducci*n a partir de hechos1 la segunda, %ue dicho proceso puede ser lle0ado a cabo tanto por un ser humano como por un sistema automati'ado. Ambas circunstancias soportan el uso de alg9n lenguaje formal para la reali'aci*n del proceso. )s as como cabe suponer una estrecha relaci*n entre dos nociones! consecuencia l*gica y computabilidad. La primera, la consecuencia l*gica, determina si un lenguaje formal puede considerarse un c(lculo l*gico y por tanto permite podemos hacer deducciones en &l. La segunda noci*n, la computabilidad, determina si los enunciados de un lenguaje formal permiten la resoluci*n "automati'ada+ de problemas %ue e6igen habilidades intelectuales. Ambas nociones

e6presan relaciones entre enunciados y pueden tenerse como condiciones o propiedades %ue deben cumplir los sistemas formales a ser usados en el dise/o de IA, as %ue es necesario %ue en &stos e6ista cierta coordinaci*n entre ambas nociones.

on todas las limitaciones %ue pueda tener un lenguaje formal pensado para IA, como comentamos al comien'o, &ste debera poder ser un marco epistemol*gico propicio para el an(lisis de procesos cogniti0os y para entender la naturale'a de estos. )ntendemos por marco epistemol*gico un ambiente propicio para ra'onar acerca de ciertos problemas. Fn lenguaje formal es un lenguaje artificial, in0entado, dise/ado especialmente para cumplir objeti0os bien definidos. )ntonces, podramos perfectamente plantear el problema de crear un lenguaje formal %ue permita ra'onar en la consistencia l*gica de procesos computacionales %ue modelan procesos cogniti0os especficos.

Mente y computabilidad uando reali'a su labor, el dise/ador de IA usa un lenguaje formal no s*lo como un medio para decirle a una m(%uina %u& hacer1 tambi&n usa ese lenguaje como el marco donde in0estiga e intenta enfrentar un problema, donde reali'a pruebas y demostraciones, donde saca consecuencias. Fn lenguaje formal es al mismo tiempo un medio de an(lisis y una herramienta de construcci*n! "Fn lenguaje de programaci*n poderoso es m(s %ue s*lo un medio para instruir a una computadora para %ue realice tareas. )l lenguaje tambi&n sir0e como un marco dentro del cual organi'amos nuestras ideas acerca de los procesos+ #Abelson G 2ussman, ,--C, p. A$. )n este punto no parece haber diferencia entre el proceso cogniti0o %ue se lle0a a cabo en un sistema de IA y la labor del ser humano %ue dise/a IA. )s esta situaci*n lo %ue lle0* a muchos estudiosos a creer con entusiasmo en la posibilidad de formali'ar los procesos cogniti0os y de definirlos como procesos computacionales. Dicha creencia supone, entre otras cosas, una definici*n muy particular de lo %ue se considera "entidad o construcci*n mental+. Dicha definici*n parecera muy cercana a la de los matem(ticos intuicionistas, %uienes consideran los objetos matem(ticos como "construcciones+ producto de la acti0idad mental #=leene, ,-BA, p. C>$. )stas construcciones tienen la forma de pruebas o de especificaciones de procedimientos para su reali'aci*n o construcci*n. )n este sentido, no habra diferencia entre una construcci*n mental de un proceso cogniti0o y un programa %ue compute dicho proceso.

)s sobre la base de estos planteamientos %ue se han desarrollado las in0estigaciones %ue han dado nacimiento a los lenguajes declarati0os y funcionales hoy usados en el dise/o de

IA, como LI2: y :EHLHD.

Desde el punto de 0ista filos*fico, estas cuestiones forman parte del repertorio de trabajos %ue tratan de los lmites y posibilidades de los lenguajes formales y proporciona un conjunto de items informati0os importantes de considerar en las discusiones sobre la naturale'a de la mente.

;emos comentado antes %ue un lenguaje formal para dise/ar IA es tambi&n un marco epistemol*gico, en el sentido de %ue es al mismo tiempo una herramienta de an(lisis y de organi'aci*n de las ideas in0olucradas en la soluci*n de un problema. )l propio lenguaje debe ofrecer medios de deducci*n o 0erificaci*n formal de los enunciados. De ah la necesidad de %ue el dise/o del lenguaje tenga claramente definida la relaci*n de consecuencia %ue lo define como sistema l*gico. Teniendo esto, podemos estar informados por ejemplo de la correcci*n de los procedimientos propuestos para solucionar problemas. )sto permitira concebir un paradigma y un estilo de escritura de programas o procedimientos pensados para resol0er clases de problemas %ue e6igen el empleo de capacidades intelectuales.

Bibliografa

Abelson, ;arold and Derald Iay 2ussman Jith Iulie 2ussman! Structure ans Interpretation of Computer Programs. ambridge, Massachusetts, MIT :ress, ,-KC.

=leene, 2tephen! Introduccin a la Metamatemtica, Madrid, Tecnos, ,-BA.

=roger, :edro! Music for Gee s and !erds, :ersonal electronic edition, >?,@.

Mc arthy, Iohn! "Lhat has AI in ommon Jith :hilosophy4 2tanford, ,--C.

Eabossi, )duardo 7editor8! "ilosof#a de la Mente y Ciencia Cognitiva , Marcelona, :aidos, ,--C.