Mquinas interactivas y simulaciones

Pio Garcia
April 22, 2013

Universidad Nacional de Crdoba

Abstract
La reexin losca acerca de simulaciones computacionales descansa
en parte en una caracterizacin de los modelos computacionales implicados. La forma habitual de caracterizar a estos modelos es en trminos
de mquinas de Turing tradicionales. Este aspecto se maniesta en argumentos como los de Margaret Morgan acerca de la diferencia entre las
simulaciones como sistemas cerrados y los experimentos como sistemas
abiertos. Una objecin que se ha hecho a esta estrategia es que no considera a los tipos de simulacin en donde las aspectos interactivos puedan
ser relevantes. As, por ejemplo, desde un punto de vista terico, Peter
Wegner ha sugerido que la ubicuidad del fenmeno de interaccin entre
mquinas involucra un cambio en el paradigma de la computacin tradicional. Robin Milner ha realizado una sugerencia similar, focalizndose
ms bien en fenmenos concurrentes  procesos que interactan-. C. Hoare
ha propuesto una forma de modelizacin de este tipo de procesos. A su
vez pueden considerarse algunos de los trabajos de Turing acerca de la
relacin entre mquinas como una anticipacin estas perspectivas. En el
presente trabajo analizaremos algunas maneras de modelizar e interpretar
la interaccin y evaluaremos su eventual alcance para una losofa de las
simulaciones. Para esta ltima tarea tomaremos en particular las sugerencias de Vincent Schachter a propsito de los lmites de la modelizacin del
fenmeno de la interaccin.

1 Introduccin
La reexin losca acerca de simulaciones computacionales descansa, en gran
medida, en una caracterizacin de los modelos computacionales implicados. La
forma habitual de caracterizar a estos modelos es en trminos de mquinas de
Turing tradicionales.

Esta caracterizacin se maniesta en argumentos como

los de Margaret Morgan acerca de la diferencia entre las simulaciones como

sistemas cerrados y los experimentos como sistemas abiertos.

Por esta razn

para Morgan los experimentos pueden sorprender en un sentido ms fuerte que

las simulaciones.

Una objecin que se le puede hacer a esta estrategia es que no considera

los tipos de simulacin en donde las aspectos interactivos puedan ser relevantes.
As, por ejemplo, desde un punto de vista terico, Peter Wegner ha sugerido que
la ubicuidad del fenmeno de interaccin entre mquinas involucra un cambio
en el paradigma de la computacin tradicional. Robin Milner ha realizado una
sugerencia similar, focalizndose ms bien en fenmenos concurrentes  procesos
que interactan-. C. Hoare ha propuesto una forma de modelizacin de este tipo
de procesos. A su vez pueden considerarse aqu algunos de los trabajos de Turing
acerca de la relacin entre mquinas como una anticipacin estas perspectivas.
En el presente trabajo analizaremos algunas maneras de modelizar e interpretar la interaccin y evaluaremos su eventual alcance para una losofa de las
simulaciones. Para esta ltima tarea tomaremos en particular las sugerencias
de Vincent Schachter a propsito de los lmites de la modelizacin del fenmeno
de la interaccin.

2 Simulaciones como modelos cerrados

La comparacin entre simulaciones y experimentos ha sido una estrategia habitual para tratar de elucidar caractersticas de los primeros a travs de un
contraste los segundos.

3 Interaccin y mquinas de Turing

Propuesta de Wegner

4 Modelizando la interaccin (concurrencia)

5 Consideraciones nales
En el presente trabajo hemos tomado en consideracin aspectos de la nocin de
interaccin con la nalidad de evaluar algunos supuestos de las caracterizaciones
de las simulaciones. Si bien la mayora de las simulaciones pueden caracterizarse
a partir de sus modelos explicitamente implementados, hay otras simulaciones
en donde el fenmeno de la interaccin puede ser relevante.
Esquema del trabajo:
a. Por el tipo de simulaciones consideradas, las losofa no ha tomado en
cuenta el fenmeno de la interaccin. Esto se muestra en discusiones como las de
Morgan acerca de experimentos y simulaciones. La mquina de Turing parece
ser el modelo para esta perspectiva.
b.

Las simulaciones con agentes parecen ser el mbito en donde la inter-

accin puede ser relevante. Veamos algunos de las formas en las cuales se ha
caracterizado esta interaccin. En el trabajo slo vamos a mostrar algunas de
las formas en las cuales se puede entender esta interaccin.

c. Wegner ha sugerido que las mquinas interactivas constituyen un paradigma

alternativo al de mquinas de Turing porque estas ltimas no suponen que
su computacin pueda depender de algo externo (los datos de la cita de una
mquina de Turing se suponen que son parte del sistema). Es ms para Wegner
esta sera una forma de cuestionar la tesis Church-Turing. -no formalizacind.

Milner y Hoare fueron los primeros en intentar modelizar algunos de

los fenmenos que forman parte de la interaccin como la concurrencia. Pero,

aquello que se puede hacer con estos formalismos no excede lo que se puede
hacer con una mquina de Turing.
e.

Criticas de Schatcher acerca de los lmites de las modelizaciones de la

concurrencia.