Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Introduccin
Resumen: Las funciones de la memoria estn nti-
mamente ligadas a todos los procesos cognitivos Los resultados de los estudios sobre
humanos. El estudio de la memoria humana est memoria humana influyen considerable-
sumido en un sinnmero de teoras y modelos de toda
ndole, por lo que es necesario aclarar el panorama de
mente en muchas disciplinas y aplicacio-
estudio para crear mejores aplicaciones en educacin nes donde es importante comprender los
y en otras reas relacionadas. Este artculo sobre procesos cognitivos superiores de los seres
modelos y teoras computacionales de la memoria humanos. Este es un tema de estudio que
es parte de una lnea de investigacin en memoria ha causado una proliferacin de investi-
humana que busca crear un estado de la cuestin
sobre el peso de los estudios actuales en el rea. Se
gaciones y aplicaciones en diversidad de
realiza una revisin crtica de 37 artculos sobre disciplinas, lo cual ha dificultado que haya
computacin y memoria utilizando un instrumento de una visin clara del panorama que permita
anlisis que se ha denominado tamiz. Se identifican hacer un mejor anlisis y crtica a la hora
los aspectos ms relevantes encontrados en estos art- de aplicar los resultados.
culos y se concluye con unas observaciones generales
sobre lo encontrado. Los resultados muestran que hay
Este artculo sobre computacin
una gran dependencia a la utilizacin de la metfora y memoria es parte de una lnea de
computacional de la mente para explicar los procesos investigacin de la memoria humana
cognitivos de los seres humanos. planteada en el marco del Programa en
Fundamentos de la Educacin a Distancia
Palabras clave: Memoria humana, computacin,
(PROIFED) de la Universidad Estatal a
metfora computacional, inteligencia artificial. Distancia (UNED) y, como parte de sus
objetivos, se pretende plantear una serie
76 Revista Educacin 34(2), 75-94, ISSN: 0379-7082, Julio-Diciembre, 2010
una identificacin clara entre IA fuerte y las dcadas siguientes (Horst, 2005). Una
dbil. Sin embargo, en aras de la claridad, de sus bases es la manipulacin formal de
cuando se habla de IA fuerte y dbil en este smbolos la cual proviene de la matemtica,
artculo se deben considerar como lo fueron donde se utiliz para fundamentar el
originalmente: la IA fuerte como una forma razonamiento matemtico en axiomas y
de reproducir inteligencia humana en la reglas. La formalizacin matemtica acarrea
computadora y la dbil como todo lo dems, la relacin semntica entre smbolos de un
es decir, IA que se utiliza ya sea para simu- sistema, por lo que resultaba muy prctico
lacin de procesos cognitivos humanos pero para describir sistemas matemticos como
que no intenta reproducir o representar la geometra y la aritmtica. Sin embargo,
verdadera cognicin e IA del tipo de aplica- Goedel prob que un sistema formal
ciones comerciales que buscan resolver un consistente no es suficiente para dar cuenta
problema aplicando algoritmos que hacen de todos los enunciados verdaderos en
que la mquina se comporte de manera aritmtica con su teorema de incompletitud
aparentemente inteligente; as mismo, la (Dawson, 2006). Por su parte, Alan Turing
combinacin de ambas. La distincin puede describi una mquina que poda computar
volverse confusa en algunos casos ya que razonamientos similares a los humanos
la diferencia entre fuerte y dbil depende con cualquier operacin sintcticamente
muchas veces de la intensin (no siempre manipulable (Turing, 1950). De esta
explcita) del investigador y no tanto de la forma, se relaciona la computacin a la
forma en que est construida su aplicacin. formalizacin de estructuras simblicas
y surge la idea de que el razonamiento
humano es de esta naturaleza.5
Metfora computacional Debido a esta relacin estrecha entre
computacin y formalismo, la IA emerge
A pesar de la evolucin del concepto como el rea de aplicacin predilecta para
de IA y los mltiples fracasos que rodearon estas teoras y de ah que se desarrollen en
a la disciplina, los supuestos de fondo que un periodo similar. Por su parte, las estruc-
inspiraron el optimismo inicial se man- turas de representacin del conocimiento y
tienen muy vigentes en el estudio de las de mdulos con funciones especficas que
capacidades mentales humanas. A partir de se encuentran en la IA retroalimentan dis-
la mitad del siglo pasado, la computacin es ciplinas que haban tomado inters en la
una disciplina que ha influido grandemente metfora computacional de la mente, como
en la percepcin de la cognicin humana. Si la psicologa y la ciencia cognitiva, la cual
bien muchos de los principios de este enfoque se convierte en la disciplina que adopta
no tienen fundamento como se sabe actual- los supuestos de la metfora computacio-
mente, se sigue dependiendo, casi que de nal como parte de sus bases tericas (Von
forma tcita, en los supuestos que explican Eckardt, 1993).
los procesos mentales humanos en trminos De ah en adelante las funciones
computacionales, y muchas de las discipli- cognitivas pasan a verse como mecanis-
nas que estudian la memoria o utilizan los mos computacionales o equivalentes a
supuestos ligados a la memoria como parte mecanismos computacionales. La memoria
de otra lnea de investigacin los utilizan. es una de las funciones cognitivas que se
Debido a esto, se espera que gran parte del ve influenciada por la manera de repre-
estudio que involucra a la computacin y la sentar el conocimiento en mdulos con
memoria muestre este tipo de sesgos. estructuras simblicas formales y en redes
La teora de la metfora computacional conexionistas. Mucha de esta visin de la
de la mente es propuesta por Hilary Putnam cognicin se mantiene vigente en estudios
en 1961 y desarrollada por Jerry Fodor en contemporneos.
Revista Educacin 34(2), 75-94, ISSN: 0379-7082, Julio-Diciembre, 2010 79
profundo, por lo que se espera que se pueda ecuacin a partir del valor posicional
reproducir el comportamiento incluso hasta de las letras (ej. A=1, B=2, etc). Es un
en los niveles de tiempo de respuesta. modelo hbrido.
Estas propuestas siguen la sugerencia de Prueba de propagacin: consiste en
Allan Newell (Newell, 1990), quien dice presentar al individuo una serie de
que para comprender la cognicin de forma oraciones con personajes y localiza-
adecuada se necesitan teoras unificadas de ciones que se repiten. Al individuo se
la cognicin, por lo que la memoria es solo le presentan luego otras oraciones y
un sub-sistema de estas arquitecturas y se debe juzgar si se encontraban en la
ve en relacin con los dems sub-sistemas lista original. Es un modelo hbrido.
cognitivos.
Las principales propuestas revisadas Todas las pruebas presentan
son de la arquitectura cognitiva Adaptive diferentes niveles de detalle en cuanto
Character of Thought (Act-R) de J. R. a los parmetros sub-simblicos que es
Anderson (Anderson, 1996; Anderson necesario definir y calibrar. El nivel de
y Betz, 2002; Anderson et l., 1998; detalle y prueba de error para incluso las
Anderson, Budiu Reder, 2001;), por lo que pruebas ms simples exige un esfuerzo
se realizaron pruebas para experimentar considerable en el tiempo y en la calibracin
con la complejidad de la arquitectura. de cada modelo por separado por parte del
investigador.
Pruebas
Modelos de tipos de memoria especficos
Una serie de pruebas se realizaron
con modelos en la arquitectura cognitiva La tercera clasificacin trata sobre
Act-R en un esfuerzo por comprender el modelos de tipos de memoria o funciones
nivel de complejidad requerido para simu- de la memoria especficas (Baddeley,
lar el comportamiento humano adecuado. 1986; Burgess, 2000; Burgess y Hitch,
Las pruebas realizadas fueron tomadas 2005; Byrne, 1996; Chartier, Renaud y
de los tutoriales en el sitio de internet de Boukadoum, 2008; Collins, 1973; Denhire
Act-R Research Group (s. f.), realizadas con y Lemaire, 2004; Foltz, 1991; Howard, 2009;
la asistencia del Centro Nacional de Alta Leake, 1994; Norman, Detre y Polyn, 2008;
Tecnologa (CeNAT) y son: OReilly, Braver y Cohen, 1999; Rizzuto,
2002; Rogers, 2008; Shastri, 2001). En este
Prueba de Sterling: consiste en pre- tipo de modelo se aisla alguna caracterstica
sentar una matriz de letras al indi- o funcin de la memoria para ser estudiada
viduo y que ste intente recordar aparte de los otros procesos cognitivos.
las letras de una de las filas de la Existen modelos que describen la memoria
matriz. Es un modelo simblico. de trabajo, memoria a corto o largo plazo,
Prueba de pares: consiste en presen- memoria procedimental o declarativa,
tar al individuo pares de palabras y memoria semntica o episdica, etc. Las
nmeros para que luego los recuerde. aplicaciones de muchos de estos modelos
Es un modelo hbrido. pueden considerarse como IA dbil, como
Prueba de Zbrodoff: consiste en pedir- es concebida por Searle, ya que se utilizan
le al individuo que juzgue problemas como simulaciones de mecanismos muy
aritmticos con el alfabeto. Por ejem- especficos de la memoria.
plo, se presenta la ecuacin A+2=C Dentro de este tipo de propuestas
y el individuo debe responder s o no los modelos conexionistas son ms
segn considere que se justifique la utilizados que con las propuestas de
82 Revista Educacin 34(2), 75-94, ISSN: 0379-7082, Julio-Diciembre, 2010
Origen
Definicin luego del tamiz
Las 37 propuestas tienen su origen
en la informtica, computacin y/o IA. De Luego del tamiz las propuestas se
estas, 20 hacen nfasis en la psicologa como definieron segn los objetivos o resultados
una de las fuentes de sus teoras, 5 en la obtenidos. Con respecto a esto, se
neurociencia y 11 en las ciencias cognitivas. identificaron 13 propuestas que se pueden
A pesar de que prcticamente todas las pro- considerar hiptesis, 9 teoras, 19 modelos,
puestas tengan fundamentos evidentes en 14 aplicaciones de informtica y un
la teora de la metfora computacional de la seminario. Igualmente se utiliz un mtodo
mente, la cual proviene de la ciencia cogniti- subjetivo para evaluar la naturaleza de las
va, solamente algunas (11) hacen referencia propuestas. La mayora son coherentes en
explcita del rea como influencia principal. sus objetivos y los resultados que obtienen.
Revista Educacin 34(2), 75-94, ISSN: 0379-7082, Julio-Diciembre, 2010 83
Cuadro 3 Cuadro 5
Resultados Total
Alcance
Categoriza 14 (37,8%)
La mayora de las propuestas se Axiomatiza 12 (32,4%)
pueden considerar de corto (13) o de mediano Sin resultados concretos 11 (29,7%)
(19) alcance en la investigacin de memoria
humana. Las que pueden considerarse como
de mayor influencia son la minora (3). Metodologa de las propuestas
Aqu de nuevo se evidencia que existe un
consenso sobre lo que son los fundamentos A pesar de haber propuestas de
computacionales de la cognicin y de la diferente ndole, la mayora utiliza una
memoria humana, pocas propuestas se metodologa similar a sta, la cual es
alejan de estos supuestos para proponer estndar en la creacin de modelos
algo relevante y nuevo en el rea. computacionales generales:
84 Revista Educacin 34(2), 75-94, ISSN: 0379-7082, Julio-Diciembre, 2010
*Izquierdo, E. (2008). The dynamics of learning McCurdock, P. (2004). Machines who think:
behaviour: A situated, embodied, and A personal inquiry into the history
dynamical systems approach. (Tesis and prospects of artificial intelligence
doctoral). Universidad de Sussex. (2a ed.). Massachusetts, Estados
Disponible en http://eduardoizquierdo. Unidos: A. K. Peters, Ltd.
tumblr.com/phd
*Norman, K. A, Detre, G. y Polyn, S. M.
*Kallinen, K., Laarni, J., Ravaja, N., y (2008). Computational models of epi-
Saari, T. (2004). Gender and habitual sodic memory. In R. Sun (Ed.). The
use of media moderate the memory Cambridge Handbook of Computational
performance in emotional-multimodal Psycholog, (189-225). Cambridge
context. Nordic Conference on Human- University Press, Cambridge.
Computer Interaction, 82, 397-400.
Newell, A. (1990). Unified Theories of
*Kawamura, T., Fukuhara, T., Takeda, Cognition. Cambridge, Massachusetts:
H., Kono, Y. y Kidode, M. (2006). Harvard University Press.
Ubiquitous memories: a memory
externalization system using physical Newell y Simon (1959). The Simulation
objects. Personal and Ubiquitous of Human Thought. Santa Mnica,
Computing, 11(4), 287-298. California: Rand Corporation.
*Sas, C., y Dix, A. (2006). Designing for Sun, R. (2009). Theoretical status of
collective remembering. Conference computational cognitive modeling.
on Human Factors in Computing Cognitive Systems Research, 10(2),
Systems, 1727-1730. 124-140.
*Schoelles, M. J., Neth, H., Myers, C. W., Turing, A. (1950). Computing Machinery
y Gray, W. D. (2006). Steps towards and Intelligence. Mind, 49, 433-460.
integrated models of cognitive
systems: A levels-of-analysis approach *Van den Hoben, E., Eggen, B. (2007).
to comparing human performance Informing augmented memory system
to model predictions in a complex design through autobiographical
task environment. In Proceedings of memory theory. Personal and
the 28th Annual Conference of the Ubiquitous Computing, 12(6), 433-443.
Cognitive Science Society (pp. 756-
761) . Vancouver, British Columbia, *Van Gelder, T. (1998). The Dynamical
Canad. Hypothesis in Cognitive Science. The
Revista Educacin 34(2), 75-94, ISSN: 0379-7082, Julio-Diciembre, 2010 91
Behavior and Brain Sciences, 21, Von Eckardt, B. (1993). What is cognitive
615-665. science? Cambridge, Massachusetts:
The MIT Press.
*Vemuri, S., Schmandt, C. y Bender, W.
(2006). Remember: A personal, long- *West, D., Quigley, A. y Kay, J. (2007).
term memory prosthesis. Proceedings MEMENTO: a digital-physical
of the 3rd ACM workshop on scrapbook for memory sharing.
Continuous archival and retrival of Personal and Ubiquitous Computing,
personal experences, 65-74. 11(4), 313-328.
92 Revista Educacin 34(2), 75-94, ISSN: 0379-7082, Julio-Diciembre, 2010
Anexo 1
TAMIZ
Propuesta
Las posiciones tericas desde la cuales se har la revisin son las siguientes:
1. Emociones:
2. Lenguaje:
3. Arquitecturas cognicionales:
4. Naturaleza social de la especie:
ASPECTOS GENERALES
Nombre de la propuesta:
Origen de propuesta
Psicologa
Neurociencias
Ciencias Cognitivas
Filosofa
Otros
Detalle de aspectos ms especficos del origen tales como enfoque, fecha de origen,
autor/autores:
Descripcin de la propuesta
Detalle en que consiste la propuesta, cules son sus fundamentos tericos de fondo,
y cules las principales lneas de desarrollo.
Metodologa de la propuesta
La propuesta es falseable?
Impacto y alcances