Propuesta de un modelo formal para máquinas sociales

Abstract

El presente trabajo tiene por objetivo proponer una formalización matemática para el concepto de máquinas sociales. Este concepto fue introducido a fines del siglo pasado para referirse al rol que los computadores deben jugar en la sociedad. En este sentido, las interacciones humanas deben poder darse en línea con tanta facilidad como en persona. El poder de los computadores que soportan estas interacciones en línea y que procesan los datos involucrados en ellas, debe ser aprovechado para liberar a las personas de las tareas burocráticas y dejarles en cambio los aspectos más creativos e intuitivos que intervienen en la socialización. Con el tiempo, este concepto inicial de máquinas sociales fue ampliando su significado. Actualmente abarca en forma global el estudio de las interrogantes que surgen cuando los elementos sociales y computacionales se mezclan en el software. Esta noción hoy forma parte de un conjunto más amplio de ideas académicas similares entre sí, que estudian desde distintos enfoques temas en común, como lo son el impacto del avance de la computación en el potencial intelectual colectivo de las multitudes, la posibilidad de articular nuevas formas de acción colectiva, y las relaciones de producción y consumo en la Web, entre otros. Hasta el momento no se ha propuesto una formalización matemática del concepto de máquinas sociales. Con una herramienta así se podría describir con rigurosidad los patrones de interacción y computación presentes en las máquinas sociales, lo que permitiría mejorar el análisis, clasificación y desarrollo de estos sistemas. Para alcanzar el objetivo propuesto, este trabajo se dividió en dos partes. En la primera parte se realizó una revisión bibliográfica de la noción de máquina social. Se comenzó explorando la noción original de máquinas sociales, se continuó estudiando los principales conceptos académicos que la rodean, y se finalizó analizando los principales enfoques de investigación en máquinas sociales hasta la fecha. En la segunda parte se modeló formalmente la noción de máquinas sociales. Para ello se comenzó estableciendo las nociones preliminares necesarias para la comprensión del modelo, y luego se desarrolló el modelo en tres etapas, formalizando en cada etapa lo que se denominó comportamiento interno, comportamiento persistente y comportamiento externo, respectivamente. El modelo de máquinas sociales desarrollado se construyó en base al formalismo de máquinas de Turing, en base a la noción de persistencia entre computaciones presente en el modelo de máquinas de Turing persistentes, y en base al formalismo del π-cálculo que permite modelar comunicación entre distintos actores. La formalización finalizó evidenciando cómo el modelo desarrollado permite describir características prácticas de máquinas sociales reales, mediante la construcción de expresiones formales que las modelan. Una de las principales líneas de trabajo futuro que deja esta memoria dice relación con la posibilidad de modelar las maquinas sociales usando sólo parte de los formalismos base utilizados, desafío complejo de afrontar por su naturaleza metateórica.