Un juego a

er a de lgi a indu tiva

T. Israel Rodrguez Al ntara

Julio Beltrn Miranda
FFyL, UNAM

2012

Preliminares...

Puede des ribirse el juego de una manera genri a: se desea

ono er las ondi iones, tanto ne esarias omo su ientes, que
ha en posible una determinada ondi in dada. Y de una
manera parti ular": el juego onsiste en imaginarse en una
reunin de egresados de la Universidad X. El primer objetivo
es ono er el plan de estudios de la arrera de losofa en X;
se eligen personas al azar, y se les formulan preguntas de la
lista siguiente:

La bsqueda de ondi iones...

1. Eres titulado?
2. Aprobaste el examen profesional?
3. Aprobaste la Tesis?
4. Aprobaste Lgi a?
5. Aprobaste ti a?
6. Aprobaste Epistemologa?
7. Aprobaste Axiologa?
8. Aprobaste Metalgi a?
9. Aprobaste Estti a?
10. Aprobaste Filosofa de la Mente?
11. Aprobaste Metafsi a?
12. Aprobaste Ingls?
13. Aprobaste Italiano?

Anlisis indu tivo del juego...

Supongamos que ada persona puede tener hasta 12

instan ias positivas de las propiedades ondi ionantes (de la
propiedad ondi ionada dada). De lo que se trata es de
adivinar el plan de estudios, as que, la propiedad
ondi ionada ser Titulado . As, ada persona ser una
instan ia positiva (o bien, negativa) de di ha propiedad, y
tambin de las propiedades ondi ionantes. Las preguntas han
de eliminar las propiedades no ondi ionantes, para hallar las
propiedades Ne esarias y Su ientes.

Diagrama de rbol del juego (slo un ejemplo):

Titulado


Lgi a


Epistemologa


kk
kkkk
k
k
k
kkk
ku kkk

ti a

SSS
SSS
SSS
SSS
SSS
)

Metalgi a

Filosofa de la Mente

...

...

Axiologa

...

rbol del juego...

...


Metalgi a

nnn
nnn
n
n
n
w nn
n

OOO
OOO
OOO
OO'

Metafsi a
P

q
qqq
q
q
q
qx qq

PPP
PPP
PPP
PP(

Ingls

u
uu
uu
u
u
zu
u
Tesis

MMM
MMM
MMM
M&
Examen

Italiano

Estti a

Algoritmo

del

juego...

Como el segundo objetivo del juego es formular preguntas de

manera que nuestro S ore disminuya lo menos posible;
porque por pregunta se paga un punto. Un algoritmo del
juego puede des ribirse omo:
(i) elegir un interlo utor (que por hallarse en la
reunin, uenta on algunas propiedades) y,
(ii) formular preguntas inteligentes"(que eliminen
propiedades no ondi ionantes, y uidar el nmero de
ellas, debemos uidar el S ore), sobre sus
propiedades (si es titulado, si aprob lgi a, et .).

El algoritmo... Anlisis (diseo des endente)

El algoritmo se nos presenta en una forma sen illa para

implantarse en una omputadora...

Mdulo prin ipal

kk
kkk
kkk
k
k
k
ku kk
Genera reunin

SSS
SSS
SSS
SSS
SS)

Presenta datos

Examina datos

El algoritmo... Anlisis (diseo des endente)

El mdulo (de nivel 1) Genera reunin, interesa en uanto a

lgi a interna, porque sta interviene dire tamente en la del
juego, en uanto a las propiedades ondi ionantes, y la
propiedad ondi ionada, de las instan ias... Genera reunin se
des ompone en 3 (nivel 2): Nmero de propiedades, Genera
ombina in (de propiedades) y Genera persona; `Nmero
de propiedades y Genera ombina in se des omponen en 1
(de nivel 3): Cal ula mxpersonas y Combina in vlida...

El algoritmo... Anlisis (diseo des endente)

Genera reunin

mmm
mmm
m
m
mm
mv mm

prop.

SSSS
SSSS
SSSS
SSS)

Genera omb.




Mx p.

Combina in vlida

Genera persona

El algoritmo... Sntesis (diseo des endente)

Podemos sintetizar la des omposi in en mdulos, en el

algoritmo:
Genera reunin:

Obtn nmero de propiedades

Cal ula mxpersonas
WHILE (mxpersonas > 0) DO
BEGIN-WHILE
Genera ombina in de propiedades
IF Combina in vlida THEN Genera persona
END-WHILE

Anlisis-sntesis

Es ne esario, y ahora posible, ya que se ha

analizado-sintetizado el mdulo que ontiene la lgi a
indu tiva del juego (Genera reunin), adentrarnos en los
detalles del pseudo digo. As pues...

Pseudo digo... Anlisis

(En nuestro aso se ha elegido N=13)

VAR person : matriz(4096,12) of BOOLEAN
VAR value : matriz(N) of BOOLEAN
(i)[value(i) < FALSE ( on 1 <= i <= N-1)
(i)[option(i) < RANDOM(N-1) on
option(i)<>option(j), i<>j, y 1 <= i, j <= N-1
WHILE ( x <= N) DO
BEGIN-WHILE1
X < value(1)
Y < value(2) & value(3) & value(4)
Z < value(5) o value(6) o value(7) o value(8)
W < value(9) o value(10)
P < value(11) o value(12)
value(N) < X o (Y & Z & W & P)

Pseudo digo... Anlisis

En el anterior digo: X es la propiedad ondi ionada,

mientras que Y ontiene las materias obligatorias (propiedades
ne esarias), Z las optativas (propiedades su ientes), W los
idiomas, o requisitos de titula in (su ientes), y P los
requisitos de Tesis o Examen profesional (su ientes).
As, se ve que, el Condi ional Universal usado es:

X ==> (Y o Z o W o P)

Pseudo digo... Anlisis

Continuando el anlisis de la lgi a del pseudo digo del

mdulo Genera Reunin...

...
IF [X &( Y & Z & W & P) = TRUE o
[X o (Y&Z&W&P) = TRUE THEN
BEGIN-IF1
IF (X = TRUE o (X) = TRUE *) THEN
BEGIN-IF2
(i)(j)[person(i,j) < value(j)
( on 1 <= i <= 4096 y 1 <= j <= N-1)
END-IF2
END-IF1

Pseudo digo... Anlisis

El anterior digo, se orresponde on el submdulo

Combina in vlida:

...
X & ( Y & Z & W & P)= TRUE o [X o (Y&Z&W&P) = TRUE
y ex luye el aso en que X est ausente, pero Y & Z & W & P
estn todas presentes ( aso trivial del ondi ional, que no
nos interesa). O bien, que estn ausentes todas Y & Z & W &
P, pero X est presente...

Pseudo digo... Anlisis

ste es el nal, y ya no es relevante, para nuestros
propsitos... :-)

...
IF value( x) = FALSE THEN
BEGIN-IF
x2 < x
value( x2) < TRUE
WHILE ( x2 > 0) DO
BEGIN-WHILE2
x2 < x2-1
value( x2) < FALSE
END-WHILE2
END-IF
END-WHILE1

That's all folks!