Racionalidad, lgica y heurstica

Raymundo Morado
Instituto de investigaciones filosficas
Univesidad Nacional Autnoma de Mxico
Mxico, D. F. , Mxico,
morado@servidor.unam.mx

Leah Savion
Departamento de Filosofa
Universidad de Indiana
Bloomington, Indiana, Estados Unidos
Isavion@indiana.edu
Resumen: La nocin de racionalidad es crucial para las ciencias de la computacin, la inteligencia artificial,
economa, leyes, filosofa, sicologa, antropologa, etc. La mayora si no es que todas esas disciplinas presuponen la
capacidad de inferir de manera lgica de los agentes.

Las teoras de la racionalidad tienden hacia dos extremos:
O bien presuponen una inalcanzable capacidad lgica o tienden a minimizar el rol de la lgica, debido a una basta
ejecucin de inferencias falaces. Analizaremos algunos presupuestos en la visin de la lgica clsica y sugeriremos
evidencia terica y emprica para el lugar de la inferencia heurstica en la teora de la racionalidad.
Propondremos (1) bosquejar una nueva teora de la racionalidad que incluya la nocin clave de capacidad lgica
como un factor necesario pero realista.
(2) Expandir la nocin de inferencia para que incluya la inferencia no deductiva, especficamente la no monotnica,
y (3)Enfatizar el rol lgico de heurstica inferencial y restringirlo a la economa congnitiva.
Palabras clave: Retractable, lgica, racionalidad, heurstica, economa cognoscitiva
1.-Acuidad lgica como factor necesario en la
racionalidad.
El concepto de racionalidad es altamente
complejo, y a menudo involucra construcciones
basadas en principios tomados de la fsica,
ciencias sociales, sicologa, evolucin , economa,
ciencias polticas, filosofa etc. Adoptar una
creencia, obtener inferencias de ello, construir
un sistema de valuacin, y actuar segn esas
creencias y deseos, puede ser todo juzgado como
racional o irracional. Este escrito se enfoca en la
racionalidad de inferencia, dejando a parte otros
factores en la formacin de creencias y acciones.
La racionalidad de la inferencia lgica tiene
agudeza lgica como componente necesaria.
La agudeza lgica involucra mucho ms que la
habilidad de extraer conclusiones correctas. El
agente lgico hace planes , discierne
alternativas, descarta las irrelevantes, arguye,
negocia, entiende argumentos desde diferentes
puntos de vista, toma parte en razonamientos
contra fcticos, evala la evidencia y acepta las
consecuencias lgicas de esas creencias. La
inferencia lgica es una parte del ser lgico
(existencia lgica), la cual se torna solo una
fraccin de lo que es ser racional. An, el
anlisis de la inferencia lgica, su estructura y
su contribucin al entendimiento de el actual
razonamiento humano es un buen punto de
partida para la teora de racionalidad , por lo que
ha sido objeto de rigurosos exmenes por siglos.
Tradicionalmente la lgica fue considerada
como una descripcin normativa de los trabajos
de una mente ideal. Sabemos desde Aristteles
que la gente no razona en concordancia perfecta
con cualquier sistema lgico aceptado. Sin
embargo, hasta recin, tanto filsofos como
siclogos, socilogos y antroplogos aceptaron
un altamente idealizado modelo de
razonamiento humano. Las leyes de la lgica
clsica fueron consideradas al menos
implcitamente como leyes del pensamiento.
La distancia entre los dictados de teoras lgicas
y la actual inferencia humana han sido
estudiadas extensamente desde 1960. Los
resultados de estos experimentos, no obstante
controversiales de interpretacin, han sacudido
la tradicional visin del hombre como ser
racional (Aristteles) noble en razn, infinito
en facultades(Shakespeare), exhibiendo un
retrato desconcertante de las habilidades de
inferencia humanas.
La reaccin ms comn fue emplear la
distincin de competencia- desempeo de
acuerdo a la cual tenemos una innata y perfecta
habilidad lgica, la cual puede ser capturada en
un conjunto de reglas, solo estropeado por el
desempeo imperfecto en la aplicacin de esas
reglas debido a limitaciones humanas,
biolgicas, cognitivas y tal vez sociales,. La
dimensin normativa lgica figura como
descripcin del nivel de habilidad oculto por los
obstculos de ejecucin. La habilidad fue a
menudo descrita como algortmica, as como
constituida por un conjunto de reglas que
garantizan la validez deductiva de una
inferencia. Este modelo es usado por muchas
teoras de lgica mental que discrepan en el
ncleo preciso de las reglas de competencia
lgica y su naturaleza(reglas sintcticas y de
contenido). Muchos pronsticos hechos por estas
teoras chocan con otras observaciones
experimentales, que sugieren un nuevo modelo,
en el cual la heurstica se propone como un
substituto aclaratorio para algoritmos como el
aparato central (core devices) y procedimientos
de inferencia. Esto ha llevado a algunos autores
a sostener que no puede ser un factor necesario
en la racionalidad. Puesto que la lgica es
considerada como siempre algortmica y la
heurstica como no algortmica.
Queremos resistirnos a la tentacin de
circunscribir a la lgica al paradigma de
inferencia algortmica. Dada nuestra
conviccin en la agudeza lgica como una parte
esencial de la racionalidad, preferimos usar una
nocin extendida de lgica como una teora
general de inferencia que incluye a la heurstica
y permite falibilidad sin comprometer rigor y
formalidad. La lgica clsica se torna como
ejemplo de mtodo heurstico.

2 Supuestos tradicionales para propiedades meta
lgicas de la inferencia racional.

La estructura de la investigacin en
razonamiento humano en las ltimas dos
dcadas es una consecuencia de el popular
paradigma lingstico, el paradigma lgico
formal y el paradigma computacional. Por un
tiempo, los lgicos se dejaron deslumbrar por los
logros de Frege-Russel-Whitehead. La relacin
de razonamiento con teoras de lgica formal
sugiri un cuadro de pensamiento humano
hecho de componentes atmicos discernibles ,
conteniendo operaciones que funcionan
recursivamente en una estructura semntica
bien definida. Es comn examinar la sintaxis
de un lenguaje natural y del pensamiento
inferencial independientemente de otros aspectos
de la materia en cuestin. El paradigma de la
computacin refuerza el cuadro de la mente
como un anlogo a un programa (base de datos
+ operaciones), donde las explicaciones pueden
ser suministradas en el programa o en los
niveles de implementacin.
Logicidad, fue igualada a la habilidad de seguir
reglas clsicas de inferencia para generar
teoremas basados en axiomas. Pero la lgica
clsica es insuficiente en muchas reas de
inteligencia artificial y ciencia cognitiva:
planear, buscar, reconocer patrones, CWA,
esquemas, escritura, marcos(frames),etc.
A continuacin algunas de las suposiciones de
la naturaleza de la inferencia racional, que se
siguen de estos paradigmas:

1. Ominiscencia lgica
2. Infalibilidad
3. Consistencia
4. Reglas libres de contexto
5. No tiempo, espacio u otros medios
limitantes en la ejecucin de una
inferencia.

Ominiscencia lgica:

Clsicamente, un sistema de creencias racional
es cerrado bajo consecuencia lgica. La cerradura
bajo consecuencia lgica es la propiedad de un
conjunto de proposiciones de ser cerrado bajo
consecuencia lgica. Esto es , se incluyen todas
las consecuencias lgicas de subconjuntos de
proposiciones. A esta propiedad lgica de
subconjuntos corresponde una propiedad
epistmica de agentes. Un agente es lgicamente
omniscente si y slo si su conjunto de creencias
es cerrado bajo consecuencia lgica.
Por ejemplo, en lgica clsica, la ominiscencia
lgica trae consigo la creencia en todas las
verdades lgicas no importando que
incomprensibles sean, puesto que por vacuidad,
son consecuencia lgica de cualquier creencia.
La ominiscencia lgica puede no ser deseable en
presencia de inconsistencias. Si usamos lgica
clsica, de una contradiccin se deriva cualquier
cosa y trivializa cualquier sistema de creencias.
Un agente racional, al descubrir una
contradiccin , tendr que parar de hacer
inferencias hasta que la inconsistencia sea
restaurada, lo que tal vez nunca ocurra.Qu
tan racional debera ser tal curso de accin?
Nosotros somos capaces de seguir operando ante
la presencia de conflicto en las creencias y solo
rehusarnos a sacar conclusiones en pequeas
reas, tan especficas como sea posible. Hemos
aprendido a vivir con errores, conjuntos de
prioridades para la resolucin de conflictos y
estabilizar mecanismos de emergencia para
garantizar una elegante degradacin del output
si no podemos ocultar el problema.
Como mencionamos antes, se espera que un
agente racional obtenga consecuencias obvias,
pero an si la ominiscencia lgica pudiera ser
parte del modelo implcito de creencias, sea lo
bastante fuerte para hacerlas explcitas y eso no
es un desideratum racional si el agente es prono
a inconsistencias.
INFALIBILIDAD
Un sistema inferencial infalible empieza con un
conjunto de verdades lgicas y las procesa a
travs de reglas vlidas que preserven la verdad.
Desgraciadamente, nosotros no siempre partimos
de suposiciones necesarias, nuestra informacin
a menudo es falsa y casi siempre incompleta.
Por otra parte, reglas infalibles son insuficientes
para muchas situaciones cotidianas y tienden a
ser muy costosas computacionalmente. Como
resultado, tenemos que recurrir a
aproximaciones, estimaciones y heurstica. El
ideal de infalibilidad abre camino a la idea de
plausibilidad.
CONSISTENCIA
En los sistemas de base de datos , mucho
esfuerzo se encamina a garantizar y mantener
la consistencia ( algunas veces mal nombrado
mantenimiento de la verdad).
Esto es de suma importancia porque como se
mencion, en lgica clsica de una
contradiccin se sigue cualquier cosa. Por
consiguiente una contradiccin puede volver
trivial a un sistema, infiriendo todas las
proposiciones como ciertas. Pero trivialmente no
es una consecuencia necesaria de inconsistencia.
Si solo usamos lgica clsica no podemos
escapar de la tarea de mantener la consistencia.
Una estrategia ms econmica podra ser
distinguir entre conclusiones racionales e
irracionales del mismo conjunto de creencias
inconsistentes. Luego, la lgica clsica no puede
ser solo una mtrica de la racionalidad.
Un sistema que pueda tener contradiccin sin
trivialidad es llamado para consistente. Dichos
sistemas han sido propuestos en [9][10]y [11]
, para modelar teoras cientficas donde
conocidas inconsistencias no conllevan
trivialidad, y para modelar interacciones de
multi-agentes (dilogos, evidencia incompatible,
informacin incompatible, etc.)
Los sistemas de inferencia humana son
paraconsistentes en el sentido de que tenemos
creencias contradictorias no obstante el
razonamiento continua por medio de el uso de
la heurstica sin colapso en trivialidad.



REGLAS LIBRES DE CONTEXTO.


Clsicamente, la lgica ha evitado el contenido
semntico a favor de un contexto libre de
tratamientos de inferencia. Pero la lgica puede
ser informal y la racionalidad tiene que tratar
con propiedades de inferencia semntica, como
se ejemplifica en el tratamiento griego de topoi,
falacias y sofismas.
Muchas heursticas son de contenido- especifico
o dominio- especifico.
Algunas heursticas se aprende por experiencia y
muchas ejecuciones acertadas se deben a la
familiaridad con parmetros contextuales. Estos
parmetros son importantes si un agente debe
reaccionar racionalmente a las altamente
contextuales variables del ambiente , por
ejemplo aquellos involucrados en el
procesamiento de lenguaje natural.


SIN LIMITACIONES DE TIEMPO ESPACIO O
RECURSOS

Tradicionalmente en lgica no se toma ninguna
previsin (disposicin) para la limitacin de los
recursos de los agentes concernientes a
categorizacin y recuperacin, el tiempo
necesitado para ejecutar una inferencia, el
espacio en memoria para trabajar, o atencin
selectiva. Como se arguye en [12], una teora de
racionalidad debe tomar todo esto en cuenta . En
muchas ocasiones no es racional mantenerse
ocupado en clculos que exceden una prudente
asignacin de recursos. Gastando tiempo en
extensas reflexiones que podran ser racionales
en s mismas pero a menudo terminan con uno.


HEURSTICA
Una comprensin realista de la agudeza lgica
requiere la inclusin de factores heursticos. La
heurstica es intuicin, algunas veces
precognicin, principios o procesos cognitivos,
que generalmente fomentan una rpida y
eficiente codificacin, inferencia, recuperacin y
produccin de informacin(ver [13]). El trmino
heurstica se ha vuelto popular en las ultimas
dcadas como un trmino genrico para los
procesos mentales no algortmicos (ver [5]). En
este escrito el trmino se extiende para incluir
cualquier estrategia inferencial, consciente o
inconscientemente adoptada. La inferencia
heurstica puede verse como una continua
expresin de grados de certeza de la conclusin
dada por las premisas disponibles.
Bajo esta concepcin, la presencia y empleo de
heurstica cognitiva es inevitable para nuestra
vida inteligente. El mundo en s, nos presenta
un arreglo desordenado de bits de datos
ambiguo, a menudo no representativo y sin una
clara estructura que permita inferencias lgicas
correctas. Para sobrevivir necesitamos razonar
acerca de nuestro ambiente a partir de
informacin incompleta y fragmentada,
limitados por poco tiempo y an ms limitada
capacidad computacional. Los mtodos
algortmicos para extraer conclusiones que
ofrecen las teoras deductivas estn dispuestos
para entregar resultados correctos cuando se
aplican con propiedad, pero son notoriamente
lentos y demandantes en trminos de trabajo
cognitivo y espacio en memoria. La evolutiva
necesidad de rpida acumulacin de
informacin impuso la existencia de la
heurstica inferencial. La velocidad de
acumulacin de conocimiento es tal vez tan
importante para nuestra sobre vivencia como la
precisin de la informacin que acumulamos, su
interpretacin y las inferencias que extraemos.
Este hecho puede explicar porqu somos
generalmente tan malos para calcular pero tan
brillantes para estimar cantidades, distancia y
resultados. El trueque de la velocidad por la
precisin es resultado de emplear procesamiento
de informacin heurstica y estrategias
inferenciales que permiten la seleccin y
simplificacin de problemas con una cantidad
razonable de tiempo y recursos.
La inferencia heurstica , como prototipo
(categorizacin mecnica para clasificar nuevos
conceptos por su grado de similaridad a un
concepto tpico central ya conocido)
representabilidad(Aplicacin de un criterio de
resemblanza simple a una nueva tarea)
disponibilidad ( la regla que dicta razonar con
la informacin disponible) y
anclaje.(adherencia a una presentacin inicial
en el proceso de solucin o comprensin de
problemas )proveen una herramienta necesaria
para la supervivencia de proceso de informacin
mientras se garantiza economa cognitiva.
El modo en qu entendemos y aplicamos los
conceptos, el principio de economa cognitiva dice
que nuestro cerebro est diseado para enfrentar
nuestras necesidades, el mundo y las
limitaciones de nuestras herramientas
cognitivas, procurando minimizar el trabajo
cognitivo mientras acumula la informacin
necesaria rpido, directamente o por inferencia, a
menudo perdiendo precisin . Dado que no es
racional esperar que un ser finito emplee solo
algoritmos que limitaran seriamente la
informacin obtenida en un determinado lapso,
una teora de la racionalidad debe considerar
algunas veces racionalizar el uso de inferencias
econmicas que pierdan precisin a favor de
cantidad y velocidad.
El efecto de las reglas heursticas es probado en
un extremo por infalibles mtodos lgicos(como
induccin completa o silogismos) y en otro por
los espantosos dudosos y persistentes medios de
brincar a conclusiones lgicamente
injustificadas.
A la prdida de precisin asociada a la
heurstica a menudo se le llama
tendencia[Nota de Gaby: no supe si poner
tendencia o prejuicio, por eso algunas veces
aparece tendencia y otras prejuicio] (ver
[13])Una tendencia marca los limites de una
aplicacin fallida de la aplicacin de la
relevancia heurstica, y una sistemtica
tendencia al error. Por ejemplo, el principio de
conservacin representa la suposicin de
invariabilidad a travs de algunas
transformaciones. Este principio es usado
efectivamente cuando su aplicacin es tanto
tericamente correcta (p o q tienen la misma
contribucin lgica que q o p) u objetivamente
correcta(verter liquido en un contenedor de
distinta apariencia no afecta su cantidad).
Cuando el mismo mecanismo cognoscitivo hace
que uno acepte que p si q es lgicamente
equivalente que q si p , o que cambiar la
temperatura de los lquidos no afecta su
cantidad se considera como tendencia. La
prototipicidad , que a menudo es una efectiva y
necesaria heurstica para copiar informacin con
deficiencia, se convierte en una inconveniencia
cuando Pioln no vuela.
Los ejemplos ms familiares de prejuicio
asociados con inferencia heurstica aparecieron
en la literatura por los aos 70: experimentos y
observaciones mostraron que la gente
crnicamente malinterpreta eventos aleatorios
como representativos, admite que evidencia que
ratifica no lo hace, comete falacias deductivas
como afirmacin del consecuente mientras
evita la aplicacin de reglas vlidas como modus
tollendo tollens .
La gente interpreta eventos irrelevantes como
justificar sus bien fundadas ideas errneas ,
basndose en ancdotas que soportan sus
creencias mientras pasan por alto evidencia
hostil y sustentan sus sorprendentes teoras
ingenuas del sentido comn con adecuadas
frgiles explicaciones.
Esas tendencias aparentemente inevitables
fueros usadas para fundamentar dos
incompatibles y errneas afirmaciones:
(1) La heurstica no puede ser parte de la
racionalidad porque sus tendencias,
ponen boca abajo la naturaleza
algortmica.
(2) La heurstica puede ser parte de la
racionalidad pero la se sacrifica, puesto
que la heurstica no puede ser
formalizada, por otra parte la prevaleca
de tendencias indica que la ilogicidad
parece ser inevitable.
Nuestra posicin es que nosotros somos ms
racionales mientras ms (y mejor)
heurstica, y menos (y menos
dainas)tendencias tengamos. La
conclusin de la seccin previa mostr la
inaplicabilidad de los presupuestos clsicos
a sistemas de inferencia racional. La
heurstica no slo se necesita como
herramienta para copiar rpidamente gran
cantidad de informacin , y menos costoso
en trminos de trabajo cognoscitivo ello tal
vez tambin evite el costo de la trivialidad
discutido arriba. A cambio de eliminar la
logicidad de las teoras de la racionalidad(a
favor de un discurso resbaladizo de
supervivencia , adherencia a reglas sociales,
etc.) preferimos acercar la inferencia lgica
y la heurstica con la ayuda de puentes
como la economa cognoscitiva .
4.- Observaciones sobre formalizacin.
Un agente epistmico capaz de enfrentar
an los mnimos retos del mundo real (sea
computadora o humano)debe ser capaz de
manejar descripciones incompletas y/o
inconsistentes acerca del estado de la
cuestin actual. Normalmente , usamos
reglas que, no obstante son retractables,
garantizan un mnimo de racionalidad en
nuestro razonamiento. La lgica clsica
provee gua para incrementar informacin
explcita a travs de consecuencia lgica, y
nos permite retractar informacin con sus
principios de Reductio ad absurdum y
Modus Tollendo Tollens.
Desafortunadamente, la mayora de las
formalizaciones ponen nfasis en un
modelo deductivo tradicional de inferencia
racional en el cual simplemente agregamos
creencias cuando la informacin se
incrementa, pero nunca las perdemos.
Decimos que un operador de consecuencia es
monotnico si y slo si un conjunto de
creencias X puede ser subconjunto de Y y
Cn(X)Cn(Y). Esto es, aadiendo
informacin a X podran eliminarse previas
consecuencias. Por ejemplo, las lgicas
clsica intuicionista y modal son
monotnicas porque la adicin de
informacin no afecta la validez de las
inferencias obtenidas previamente.
Ejemplos tradicionales de formalismos no
monotnicos incluyen aquellos para
induccin cientfica y abduccin,
probabilidad y estadstica. Ejemplos de
inferencias no monotnicas en ciencias de
la computacin son la negacin por falla en
programacin lgica y la suposicin del
mundo cerrado (SMC) en la
administracin de bases de datos. La SMC
tiene paralelo con la habilidad humana de
obtener conclusiones con bases de
informacin insuficiente tratndola como
si fuera completa. El razonamiento de la
ignorancia es a menudo una buena
estrategia, porque muchos hechos son tan
vistosos que su ausencia en su reporte
cuenta como evidencia contra su ocurrencia.
La gente continuamente infiere desde
informacin que pudiera ser en principio
incapaz de completez. En esos casos un
comportamiento no racional pudiera ser no
inferir. Una seal de racionalidad es la
habilidad de revisar y unir nuestras
conclusiones provisionales sin detener el
proceso de inferencia.
Podemos an hacer la afirmacin
normativa de que para que un agente con
limitaciones cognoscitivas sea racional,
algunas de sus conclusiones deben ser
retractables. As , necesitamos modelos que
incorporen un estatus provisional de
nuestras creencias inferidas. Un modelo de
racionalidad que no contiene
retractabilidad, un modelo puramente
monotnico falla en la respuesta a esta
necesidad.
Desde los 80 tenemos formalismos
adicionales para modelar diferentes aspectos
de la inferencia no monotnica. Por ejemplo,
[15] aade a la lgica clsica esquemas de
circunscripcin que producen el efecto de
suposicin de mundo cerrado. La
circunscripcin limita el dominio de la
extensin de un predicado , y elige modelos
mnimos.
[16] usa una lgica no monotnica modal
con un operador lgico M que seala algo
como Es posible hasta donde el sistema
conoce.Las alternativas populares incluyen
el uso de lgica por default en [17], lgica
auto epistmica en [18] y modelos de
preferencia en [19].
La heurstica a menudo ejemplifica
razonamiento no monotnicoporque en
muchos casos produce creencias retractables
en el sentido de nueva evidencia, Ya que
este comportamiento es ya al menos
parcialmente formalizado en las antes
mencionadas lgicas no monotnicas, la
acusacin de que la heurstica no es
formalizable pierde credibilidad.
5 CONSECUENCIAS DE LA NOCIN DE
RACIONALIDAD.
El proyecto de construir una nueva teora de
la racionalidad debe aspirar a una
explicacin de los mecanismos de inferencia
en trminos de mltiples construcciones
tericas. Un modelo tal acomoda el uso de
reglas contextuales de inferencia tan bien
como reglas sintcticas, permite el empleo de
mecanismos pragmticos (como modelos
mentales, imagery, esquemas, escripts) y
heurstica retractable, toma nota de una
larga variedad de limitaciones
cognoscitivas (no solo aquellas asociadas
con la capacidad de memoria y el tiempo de
cmputo), reconoce tendencias generales y
provee una explicacin para el
razonamiento desviado en trminos de
procedimentos no monotnicos.
Es posible discernir dentro de el fenmeno
del razonamiento el cdigo la
representacin las estrategias la
competencia y el desempeo. Nosotros
presentamos que el origen de la limitacin
en el proceso total de inferencia es el
principio biolgico de economa cognoscitiva.
El cerebro no simplemente graba y presenta
aspectos de la realidad externa y nuestras
reacciones ante eso . categoriza la
informacin , reduce su complejidad dentro
de las estructuras contextuales a una escala
manejable y la organiza permitiendo una
recuperacin efectiva. Estos procesos son
posibles (Casi totalmente) gracias al
mecanismo costo- eficiencia que llamamos
economa cognoscitiva.
El efecto de esta necesidad crucial de
economa en el razonamiento no ha sido
suficientemente explorado en la literatura.
La economa cognoscitiva, creemos juega un
significativo papel en la descripcin del
aspecto de conocimiento de los procesos de
inferencia (informacin, representacin,
conceptualizacin) y su manipulacin. La
arquitectura cognoscitiva humana ha
diseado facciones que promueven potencia
y velocidad a expensas de algo de fiabilidad.
Un sistema racional debera ser capaz de
producir un largo nmero de conclusiones
en aras de superar la ignorancia que es
nociva para la supervivencia.

6 CONCLUSIONES.
En este escrito sugerimos una visin de la
racionalidad que asigna un rol lgico al
razonamiento heurstico. Empezamos
sosteniendo que cualquier teora de
razonamiento (racional) incluye la nocin
de habilidad lgica . Tradicionalmente esta
nocin ha sido confinada a inferencia
deductiva algortmica. Un examen critico de
las suposiciones subyacentes de esta
tradicin exhibe la ineficiencia de cualquier
teora de racionalidad que limite por si
misma a la lgica clsica. Como resultado
expandimos la nocin de logicidad para que
incluya razonamiento no- deductivo , y
mencionamos recientes formalizaciones de
relaciones de consecuencia no monotnica.
Una teora de la racionalidad no tiene que
dar el ideal de formalizacin solo porque
alberga inferencias heursticas, aun si no
todas las heursticas son formalizables.
La aun relativamente desnuda estructura
de una concepcin dinmica de inferencia
heurstica que la gente emplea junto con el
aclaratorio poder de los principios de
economa cognitiva pueden ser usados como
fundamentos para una teora de inferencia
racional.


Traduccin de Gabriela Escudero.
Versin: 5 de julio de 2004.