LA TEORA DE LA DECISIN

Nuestra exposicin de esta teora proceder en dos pasos. Primero determinamos sus
modelos potenciales y posteriormente sus modelos actuales. El mtodo usado para
determinar ambos tipos de estructuras es el mtodo axiomtico semi-formal conocido
como definicin de un predicado conjuntista, que ya hemos ilustrado en el caso de
EXT: un predicado conjuntista es definido por medio de las condiciones (axiomas) que
tienen que ser satisfechas por las nociones bsicas de la teora en cuestin. Este
predicado es, por as decir, el apellido de todas las estructuras que llamamos modelos
potenciales, o respectivamente actuales, de una teora dada. El predicado definido por
las condiciones que determinan los modelos actuales ser llamado el predicado
fundamental de la teora en cuestin.
En cada uno de los siguientes casos, el predicado que nombra a los modelos
potenciales de la teora ser el mismo que el predicado fundamental con la palabra
potencial colocada antes; despus procederemos a determinar los modelos actuales
mediante definicin del predicado fundamental (cuyas condiciones incluyen la(s)
ley(es) fundamental(es)).
Empezamos reconstruyendo los modelos potenciales y actuales de la teora de la
decisin en la versin propuesta por Jeffrey, a la que nos referimos mediante DEC.
Esta teora pertenece claramente a las ciencias de la conducta. Slo tiene sentido tratar
de aplicarla a los seres humanos o, a lo sumo, a los organismos y a las mquinas
desarrollados.
La teora de la decisin de Jeffrey se ocupa de la forma en que la gente (idealmente)
toma decisiones en situaciones en donde tiene un ranking de preferencias sobre distintas
alternativas, cuyos resultados slo son incompletamente conocidos por anticipado. La
idea intuitiva bsica es que en tales situaciones la gente idealmente tiende a convertir
sus preferencias en compatibles de alguna manera con las utilidades esperadas de sus
decisiones, as como tambin con la probabilidad de que las distintas alternativas
posibles tengan realmente lugar o no. Para decirlo en pocas palabras, la tarea de la teora
de la decisin es decir cmo se conectan las utilidades de la gente y sus juicios de
probabilidad personal.
En nuestra exposicin sistemtica de la teora de la decisin los individuos bsicos
no sern personas u organismos sino, antes bien, proposiciones. Ellas son todo lo que
necesitamos en este contexto. Estas proposiciones se supone que describen las
diferentes alternativas a las que se enfrenta fcticamente la persona (o, mejor an, a las
que l/ella cree que se enfrenta) as como tambin las diferentes maneras en que esta
persona puede reaccionar ante ellas, es decir, las decisiones que l/ella toma. Estas
proposiciones deberan obedecer las reglas de la lgica clsica; es decir, el conjunto de
proposiciones admitidas en una estructura de la teora de la decisin, junto con las
operaciones lgicas de conjuncin , disyuncin y negacin
, deben constituir un
llamado lgebra booleana (cf. [8], p. 246). En particular, esto implica que entre todas
las proposiciones tendremos dos seleccionadas: la proposicin tautolgica o
universal, denotada por I , y la proposicin contradictoria, denotada por 0 , con sus
bien conocidas propiedades.
Adems del conjunto base de proposiciones booleanas, necesitamos un conjunto
base auxiliar: el conjunto de los nmeros reales, . Las otras nociones bsicas de DEC
(obtenidas a partir de los conjuntos base por medio de tipificaciones) sern dos
relaciones didicas llamadas, respectivamente, utilidad U y probabilidad P. U ser
caracterizada simplemente como una funcin cuyos valores son nmeros reales. La

caracterizacin de P ser ms rica. Requeriremos que P, junto con el lgebra booleana

del conjunto base, sea un espacio de probabilidad.
M p (DEC): x es una estructura de decisin potencial (x M p (DEC)) syss existen B, U,
p, B, , ,
, 0 , 1 tales que
(1) x = B, , U, p
(2) B = B, , ,
, 0 , 1 es un lgebra booleana
(3) U: B

(4) p: B

(5) B, p es un espacio de probabilidad finito generalizado (e.e., p( 0 ) = 0, p(1)

.

= 1, para toda a B: 0 p(a) 1, y para toda a, b B: si a b = 0 ,

entonces p(a b ) = p(a)+ p(b)).
M(DEC): x es una estructura de decisin (x M(DEC)) syss existen B, U y p tales
que

(1) x = B, , U, p M p (DEC)
(2) para toda a, b B: si a b = 0 , entonces U(a b) p(a b ) = U(a)
p(a) + U(b) p (b).
DEC tiene una ley fundamental que conecta la utilidad y la probabilidad en el caso de la
disyuncin exclusiva.
Indicamos algunas implicaciones que pueden ser fcilmente probadas para
cualquier x M(DEC) a partir de las condiciones recin establecidas.
TI-1:

Si B, , U, p M(DEC), entonces
(a) para toda a, b B: si a b = 0 y U(a) U(b), entonces U(a) U (a b)
y U(a b) U(b)
.

- U(
(b) para toda a B: si U(a) U( a), entonces U(1)
a ) = p (a)(U(a) - U
(
a )).
(El ltimo teorema es muy importante para las aplicaciones de la teora de la decisin
por la siguiente razn: permite calcular la probabilidad subjetiva de una proposicin
bajo el supuesto de que el sujeto no sea indiferente hacia ella conociendo slo sus
utilidades.)