La qu mica de la comunicaci on

Hace veinticinco siglos, en tiempos de Dem ocrito, discurrir sobre los constituyentes de la materia era ocio los oco. Reci en hace un par, en tiempos de Lavoisier, comenz o a hacerse necesario desarrollar formalismos para describir y explicar las interacciones de esos objetos, que Dem ocrito llam o atomos. Hoy nos preguntamos c omo era posible decir algo razonable sobre la materia sin conocer sus leyes profundas. La respuesta es simple: por tanteo, por prueba y error. Un proceso algo m as complejo es discurrir sobre los sujetos (llamados agentes en nuestra disciplina) y las interacciones entre ellos. En algunas d ecadas (o siglos?) m as nuestros descendientes se har an la misma pregunta que nos hacemos respecto de Dem ocrito y Lavoisier. C omo esta gente pod a decir algo razonable, con alguna certeza, en este campo sin conocer sus leyes profundas? Porque respecto de la interacci on entre agentes estamos como en los tiempos de Dem ocrito. Bueno, no tanto. Robin Milner, premio Turing 1991, y que falleci o hace casi exactamente un a no, puede considerarse nuestro Lavoisier. Su u ltimo libro, El Espacio y Movimiento de Agentes que se comunican (Cambridge, 2009), comienza as : La computaci on est a transformando nuestro medio ambiente. De hecho, la palabra computaci on describe esta transformaci on muy estrechamente, puesto que tradicionalmente ella signica poco m as que c alculo. Hoy d a, artefactos que calculan y se comunican impregnan nuestras vidas. Es mejor describir esta combinaci on como inform atica, connotando no s olo las cosas pasivas (n umeros, documentos,...) con los cuales computamos, sino tambi en la actividad de informar, o interactuar, o comunicar. Gran parte de la obra de Milner est a dedicada a intentar entender el fen omeno de agentes comunicantes. Modelar los mecanismos fundamentales de la actividad concurrente de agentes sobre un espacio determinado no es sencillo, y su teor a es a un hoy muy pobre. Y bueno, los resultados est an a la vista: lo sabemos en carne propia al sufrir las burdas aproximaciones de los economistas actuales, que pontican sobre las relaciones entre agentes humanos con una teor a digna de escolares, que tan bien y fundamentadamente ha criticado Herbert Simon, otro premio Turing (aparte de premio Nobel de Econom a). Milner ilustra la importancia del tema compar andolo con lo complejo que signicar a intentar estudiar el funcionamiento del cerebro sin saber qu mica. Aunque los mecanismos del cerebro no se pueden reducir a, ni explicar con, la qu mica, los investigadores en neurociencias tuvieron la fortuna de tener una ciencia de la qu mica muy desarrollada como apoyo y base 1

para sus investigaciones. Nuestra tarea, dice Milner, es desarrollar el an alogo de la qu mica para este tipo de sistemas de sujetos comunic andose. Perm tanme plantearlo desde otro punto de vista. Tradicionalmente se considera que existen dos actividades humanas fundamentales, muy diferentes la una de la otra: el pensamiento o la teor a; y la praxis o la acci on. Se habla personas de pensamiento y personas de acci on. Arist oteles y Alejandro Magno; Andr es Bello y Sim on Bol var; acad emicos y pol ticos; cient cos y empresarios. El pensamiento, el saber, est a ligado al mundo est atico, al reposo, a la reexi on. Pensar es sin onimo de tiempo y aislamiento, de rumiar ideas (solos). D ejenme pensar signica d ejenme tranquilo, d enme tiempo. Por el contrario, la acci on es rapidez, decisi on, interacci on con otros, y esencialmente comunicaci on, paso de mensajes, en movimiento adrenal nico. Hoy est a bastante bien entendido y modelado el mundo del saber, del razonamiento, donde lo central es elaborar sobre un objeto est atico y aislado. Turing model o el razonamiento solitario de un matem atico: una gran mesa de trabajo y c alculo. Poca o nada comunicaci on con otros y un proceso secuencial por naturaleza. Una m aquina de Turing (un computador) computa algo, y aunque como lo observa Milner internamente tiene una gigantesca red de comunicaciones y paso de mensajes, hacia el exterior la comunicaci on es pobr sima y casi mono-canal. Al contrario, sobre el mundo de agentes comunic andose sabemos muy poco. Tan poco como sabemos sobre la estructura de la comunicaci on humana y social. De ah la importancia del proyecto de Milner por axiomatizar el mundo de la comunicaci on de agentes. Su propuesta como lo sostiene el mismo juega un rol fundacional para este mundo, similar al que la m aquina de Von Neumann jug o para la computaci on secuencial. Su u ltimo libro presenta un marco general que intenta subsumir bajo la noci on de bigrafo algunas formalismos del area como Petri Nets, CSP, CCS, C alculo Pi, etc., usando avanzados formalismos matem aticos como la teor a de categor as. No es un libro de divulgaci on, y probablemente su debilidad es que su nivel es de seca abstracci on. (Muy similar por lo dem as a c omo los griegos de la epoca deben haber visto los atomos de Dem ocrito.) Pero bueno, a modo de consuelo recordemos que a Lavoisier le pas o lo mismo cuando introdujo su nomenclatura qu mica y su teor a de formaci on de compuestos. No estamos ante un tarea f acil. Las soluciones tampoco ser an simples. Por de pronto no caben en un tweet... Recomiendo a l@s curios@s visitar este link http://www.cl.cam.ac.uk/archive/rm135/ uam-theme.html y si quedan interesad@s, meterle el diente al Pr ologo del libro, que se puede descargar desde all . Da una muy buena idea general de este fascinante tema.