Bitácora de Jacinto Dávila

Bitacora Logica 09 B2011: El dilema del prisionero

2012-01-26T10:10:00.000-04:30

Saludos,

Ayer completamos la lectura del capítulo 8 que explora la forma lógica de los juegos entre agentes, en particular, del llamado dilema del prisionero:

http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/capitulo08.html

El texto es un ejercicio que combina la llamada teoría de decisiones, la teoría de juegos y la lógica, como una manera de enrriquecer la descripción del agente con la capacidad para evaluar la utilidad de los resultados de sus acciones y decidir el mejor plan de acción (de acuerdo una noción matemática de utilidad).

Esas referencias a la Wikipedia en Español son buenas para la revisión histórica. Sin embargo, les pido que hagan lo que comenzamos a hacer en clase, una exploración de la matemática de estos juegos con la que se pretende definir métodos de optimización de la conducta del agente en situaciones de disputa con otro agente.

Por eso, una buena referencia a revisar es la del concepto de "dominancia" (como traduje a dominance. Pude decir dominación pero mejor usar el anglicismo para no mezclar otros significados). Este enlace en particular:

http://en.wikipedia.org/wiki/Strategic_dominance

En clase estuvimos explorando el concepto con ayuda de los dos problemas que transcribo a continuación. Les suplico que los revisen con mucho cuidado y pregunten o comenten lo que consideren:

1.- Resuelve el siguiente juego por dominancia estricta:

			Jugador 2
		L	C	R
	T	3,0	0,1	4,0
Jugador 1	M	0,0	3,1	1,-1
	B	1,1	1,0	2,-1
	E	2,1	-1,3	3,4

2.- Antes de jugar un juego, se lanza una moneda para escoger cuál de las siguientes será su matríz de pagos:

		Jugador 2
		L	R
Jugador 1	U	9,5	1,-3	Escenario A
	D	3,7	4,6

		Jugador 2
		L	R
Jugador 1	U	3,0	9,-2	Escenario B
	D	9,9	3,8

Supongo que ambos jugadores son neutrales al riesgo (no les importa arriesgarse) y que los pagos indican dinero. ¿Cuánto estaría el jugador 1 dispuesto a pagar para enterarse del resultado de lanzar esa moneda?. ¿Cuánto sería el costo de esa información para el que el jugador 2 se mantendría indiferente acerca de saber o no saber el resultado de ese lanzamiento?.

--

Noten que para el primer problema, habría que decir, siguendo la definición aquella, que

para cada jugador i con un conjunto de estrategias S_i

La estrategia s^* en S_i domina débilmente a otra s' en S_i si
para cada estrategia s_(-i) en S_(-i) el conjunto de las estrategias de los otros agentes, se cumple que:
u(s^*, s_(-i)) >= u(s' , s_(-i)), es decir, la utilidad de s^* frente a s_(-i) es mayor o igual que la de s' frente a la misma acción del oponente, con al menos una s_(-i) para el que sea simplemente mayor (de lo contrario sería "intrasitiva").

Vimos en clase que ninguna acción domina estrictamente a ninguna otra para ninguno de los dos jugadores. ¿Qué hacemos entonces?.

Muy pendiente a la discusión..

Saludos.

TeoComp B2012: Problema 4.1.3.a

2012-01-26T09:12:00.001-04:30

Probar que el siguiente lenguaje NO es regular: El conjunto de las cadenas de ceros y unos que comienzan con un 1 tales que, interpretadas como un número entero, dicho entero sea primo.

R: Estamos hablando de secuencias como las siguientes:

..

Es decir, las descritas por las expresión regular 1+1(0+1)^*1. El uno al final se impone para que el número sea primo (de lo contrario sería divisible por 10, si es entero decimal o por 2 si es entero binario. Suponemos en lo que sigue que hablamos de enteros decimales).

1) Sea L el lenguaje descrito por esa expresión regular.
2) Sea n tal que |w| = n.
1) Sea w = 11^(m)1, con 1 < m < n.
2) Sea x=1, y=1^m, z=1. Claramente, y no es vacía y |xy| < n.
1) Con k = 1 y m = 1, w = 111, pero el ciento once no es un número primo. Es divisible por 3. Es decir, no pertenece al lenguaje!. LQQD.

Se podrán encontrar otros casos que sirvan a la prueba, con m>1? (recuerde aquella regla para los múltiplos de 3: :Un número es múltiplo de 3 si la suma de sus cifras es 3 o un múltiplo de 3.).

TeoComp B2011: Problema 4.1.2.a

2012-01-26T08:29:00.002-04:30

Traducido desde http://infolab.stanford.edu/~ullman/ialcsols/sol4.html

Sea n la constante del lema del bombeo y sea w = 0^(n^2), es decir, n^2 ceros. Cuando decimos w = xyz sabemos que y consiste de entre 1 y n ceros. Así que xyyz tiene una longitud de entre n^2 + 1 y n^2 + n. Dado que el siguiente cuadrado perfecto después de n^2 es (n+1)^2 = n^2 + 2n + 1, sabemos que la longitud de xyyz cae estríctamente entre los cuadrados consecutivos n^2 y (n+1)^2. Por tanto, la longitud de xyyz no puede ser un cuadrado perfecto. Pero si el lenguaje fuese regular, entonces xyyz tendría que estar en el lenguaje. Es decir, se contradice la suposición de que el lenguaje de cadena de ceros cuya longitud es n cuadrado perfecto es un lenguaje regular. LQQD.

fin de la traducción.

¿Cómo se podría caracterizar esa limitación en términos de memoria?

TeoComp B2011: Problema 4.1.2.c

2012-01-23T09:58:00.001-04:30

1) Sea L = { 0^n | n = 2^p }

2) Sea h, |w| >= h, h = 2^p p >= 0

1) Sea w = 0^(p 0)0^(p 1)0^(p 2) ... 0^(p p), donde (p i) es la combinatoria de p tomados de i en i. Es decir, estamos usando los coeficientes combinatorios como las "potencias". El objetivo es usar el hecho de que 2^p = Sumatoria desde i = 0 hasta p de (p i).

2) Sea x = 0^(p 1)..0^(p k-1) ; y = 0^(p k) ; z = 0^(p k+1)..0^(p p). Noten que y no es vacía y |xy| < h, verdad?

1) Sea k=0, cualquiera que sea la longitud correspondientes de 0^(p 1)..0^(p k-1) 0^(p k+1)..0^(p p) es menor que 2^p, por lo que NO pertenece a L. LQQD.

TeoComp B2011: Problema 4.1.2.a

2012-01-23T09:39:00.000-04:30

1) Sea L= { 0^n | n tal que n =r^2 }

2) Sea h, |w| >= h, h=r^2

1) Sea w = 0^(r)0^(r)

2) Sean x = 0^(r-1) ; y = 0 ; z = 0^r. Está claro que y no es lambda y |xy| < h

1) Sea k=0, 0^(r-1)0^r pertenece a L?. NO!. LQQD.

TeoComp B2011: Problema 4.1.1.f

2012-01-23T09:32:00.001-04:30

1) Sea L = { 0^(n)1^(2n) | n >= 1 }

2) Sea h tal que |w| >= h y h = 3n

1) Sea w = 0^(n)1^(2n)

2) Sea x=0^n ; y = 1^n ; z^n. Es claro que |y| =\= 0. Además, |xy| < h

1) Sea k=0, 0^n1^n pertenece a L?. NO!. Listo. LQQD.

TeoComp B2011: Problema 4.1.1.e

2012-01-23T09:25:00.004-04:30

1) Sea L = { O^n1^m | n =< m }

2) Sea h, tal que |w| = h, h = 2m

1) Sea w = 0^m1^m

2) Sean x = 0^(m-1) y =0 z = 1^m ; obviamente |y| no es 0 y y no es lambda; Además, |xy| <= h

1) Sea k=0, 0^(m-1)1^m pertenece a L?. Sí. No sirvió.
Sea k=1, 0^(m-1)01^m pertenece a L?. Sí. Tampoco sirvió.
Sea k=3, 0^(m-1)0^(3)1^m pertenece a L?. NO!. LQQD

Versos del Niño para Paraduras (Actualizado 2012)

2012-01-22T22:16:00.000-04:30

TeoComp B2011: Problema 4.1.1.d

2012-01-22T14:49:00.000-04:30

L = {0^p1^m2^p} donde p y m son enteros arbitrarios.

Para todo .. el Jugador 1) dice Sea L.

Existe .. el Jugador 2) Sea n = 3p con p = m.

Para todo .. el Jugador 1) Sea w tal que |w|=n, w = 0^p1^m2^p

Existe .. dice el Jugador 2) Sean x = 0^p, y = 1^p, z = 2^p con p >= 0

Para todo .. el Jugador 1) Sea k = 0, 0^p2^p pertenece a L? Sí!.. !!

De hecho, para cualquier k se es escoja, se cumpliría. Falla el jugador 1 en probar que el lenguaje no es regular? NO. Lo que pasa es que 2 se lo puso muy difícil a 1.

Volvamos a la elección de x, y y z en w: w = 0^(p+1)1^p2^(p+1). Ahora x=0^p, y=01^p, z = 2^(p+1)

1) Sea k = 0, xy^0z pertenece a L? 0^p2^(p+1) pertenece a L? NO!

Lqqd!.

TeoComp B2011: Problema 4.1.1.c

2012-01-19T10:57:00.000-04:30

Demostrar que los siguientes lenguajes no son regulares:

c) {0^n10^n|n>=1}

(Traducido desde http://infolab.stanford.edu/~ullman/ialcsols/sol4.html)

Sea n la constante del lema del bombeo (observe que esta n no es la misma n que aparece como variable local en la defnición del lenguaje L arriba. NT: Es decir, podemos llamarla de otra manera). Sea w = 0^n10^n. Entonces, cuando escribamos w = xyz, sabremos que |xy| <= n, y por tanto, y consiste únicamente de 0's (ceros). Así, xz, que debe pertenecer a L si L es regular, consistirá de menos ceros que n, seguidos de por un 1 y exactamente n ceros. (NT Esto supone que y es una cadena formada con alguna porción de la primer subcadena de ceros de w, siempre que no sea vacía. También podría ser otra subcadena, incluso con el uno. El argumento sería similar). Pero esta cadena, xz, no está en L, lo que contradice la suposición de que L es regular. Fin de la prueba.

(fin de la traducción libre).

Ahora intentemos la misma demostración, jugando el juego en

http://jacinto-davila.blogspot.com/2012/01/teocomp-b2011-el-lema-del-bombeo-como.html

1) Sea L = {0^m10^m | m > 0 }

2) Sea w = 0^n10^n, con n>1, xy=0^p1 diferente de lambda.

1) Sea x = 0^i ; y = 0^(n-i) ; z = 10^n con i >= 1 e i < n. Como n > 2, y no es lambda y |xy| = |0^i0^(n-i)| < n

2) bombea diciendo que xy^kz no pertenece a L para k = 0. Es decir, queda claro que |xz| = 0^i10^n con i < n no pertenece al lenguaje. LQQD.

Será más claro así?

TeoComp B2011: El lema del bombeo como un juego entre adversarios

2012-01-19T10:32:00.001-04:30

El lema del bombeo como un juego entre adversarios
(basado en texto con el mismo nombre que aparece en [1])

Un teorema cuyo enunciado contiene varias alternativas de cuantificadores universales y existenciales puede considerarse un juego entre dos jugadores.

El lema del bombeo se puede plantear así: Para todo lenguaje regular L, existe un n tal que para toda palabra w perteneciente a L, con |w|>=n, existen x, y y z , tales que w=xyz, de modo que y no es la cadena vacía lambda o épsilon y |xy| <= n, con quienes se cumple que para todo k>=0, la cadena xy^kz también pertenece a L.

Jugador 1: Elige en lenguaje L que pretende demostrar NO es regular.
Jugador 2: Escoge n (sin decir su valor al Jugador 1, quien debería poder sobrevivir a cualquier valor de n).
Jugador 1: Elige w, que puede depender de n y que, en todo caso, debe ser tal que |w|>=n
Jugador 2: Divide a w en x, y y z , cuidando que yno sea la cadena vacía y que |xy|<=n
Jugador 1: Gana (es decir, demuestra que L no es regular) si logra encontrar un valor para k, tal que xy^kz no pertenezca a L.

[1] Hopcroft, J. E.; Motwani, R.; Ullman, J. Introducción a la Teoría de Autómatas, Lenguajes y Computación. Segunda Edición. Pearson Educación. 2002

Logica B2011: Calificaciones primer parcial, replanificación y proyecto

2012-01-19T09:53:00.000-04:30

Saludos,

A continuación las calificaciones del primer parcial. Creo que están muy bien, estadísticamente hablando. Incluso los dos reprobados tienen buena oportunidad de aprobar el curso.

Deben haber visto las repuestas en una bitácora anterior:

http://jacinto-davila.blogspot.com/2012/01/logica-b2011-primer-parcial.html

Tendrán oportunidad de revisar y discutir sus respuestas conmigo en cualquier momento hasta el final del semestre. Les recuerdo que cada parcial cuenta por la mitad de la calificación, con la salvedad de que el recuperativo reemplaza la peor de esas notas, si así lo desean. Mas sobre ese recuperativo debajo de la tabla:

El proyecto,

El recuperativo es una evaluación de un trabajo que Uds harían y defenderían. Ese trabajo puede ser una aplicación de lo aprendido en el curso. Por ejemplo, un conjunto de reglas como las que se estudian esta semana (en capítulo 6 y 7) que pueda ser defendido como la especificación realista de un agente, en lógica, puede servir como proyecto. Uds tendrían que entregarlo y permitirme cuestionar ese trabajo. Como resultado verificables, Uds podrían tener una simulación con uno o más agentes, o un sistema real (como un servicio Web) con agentes que sigan esas reglas.

Tenemos, adem'as, una propuesta para cambio de fechas de la segunda evaluación y el recuperativo (que estaban pautados para la misma fecha). El semestre del postgrado ha sido extendido hasta el 2 de Marzo.

Así que la propuesta UNO es realizar el segundo parcial el Miércoles 29 de Febrero, 8am. La propuesta DOS es que el recuperativo sea el mismo día, en la tarde (2pm). La propuesta TRES es que el recuperativo sea el viernes 2 de Marzo, 2pm. Se vale, desde luego, discutirlas todas abiertamente.

Muy agradecido por su esfuerzo.

Jacinto

Bitacora Logica 08 B2011: El sentido de la vida

2012-01-19T08:40:00.001-04:30

Saludos Amigos,

Les reitero mis mejores deseos para Uds en el 2012.

Ayer continuamos con la revisión de los capítulos 6 y 7 del libro texto, que explican cómo las metas de un agente le definen (le dan sentido a su vida) y del cómo un agente bien puede no estar consciente de las metas superiores a las que sirven, mientras procura las suyas. Este es un recurso, argumenta el texto, que puede servir para acomodar metas trascendentes en cuerpos con limitaciones de memoria y capacidad de procesamiento, como los del piojo y el robot en Marte.

Como podrán apreciar, nuestro modelo de agente lógico, o racional, se presta para esas reflexiones profundas acerca del sentido final de la vida, para que nos preguntemos por su origen (somos diseñados por quien o por qué?), su significado. Y también para discutir sobre consciencia. Será la conciencia computacional que acá se discute, todo lo que realmente podemos pretender que sea la conciencia humana? Por qué no?

Los dejo con el material para pensar:

http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/capitulo06.html
http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/capitulo07.html

y con esta referencia a un texto que puede conectar esas reflexiones con una visión mucho más cruda y realista de la racionalidad y de la lógica. Me refiero al libro de Harford, la lógica oculta de la vida. Lo recomiendo con reservas, pues puede herir algunas sensibilidades. Me parece, sin embargo, que sus argumentos acerca de la racionalidad relativa de cada agente y de la posibilidad de dar cuenta de ella con lógica son muy interesantes. Iremos en esa dirección en el próximo capítulo, la próxima semana.

http://www.papelenblanco.com/ensayo/la-logica-oculta-de-la-vida-de-tim-harford

Vuelvo con las calificaciones en otro mensaje.

Saludos.

Logica B2011 Primer Parcial

2012-01-17T22:09:00.002-04:30

PREGUNTA 1: En la Cola.

Escriba las reglas de conducta en una cola para todos los agentes relevantes y que les permitan alcanzar un desenlace apropiado en cada una de estas situaciones.

Escenario: Ud. está haciendo una larga cola no virtual y una Abuela se acerca a pedirle que Ud haga la cola por ella.
Escenario: Ud. está haciendo una larga cola no virtual un Abuelo se colea delante suyo.
Escenario: Ud. Está haciendo una larga cola no virtual y un niño se acerca a la taquilla a hacerle una pregunta al prestador del servicio.

Respuesta (minimalista, no incluye las historias que Uds sí debieron incluir):

Escenario 1:

Abuela:

Si tuviera que pasar mucho tiempo de pie, pido ayuda.

Ud:

Si en la cola, alguien me pide que le haga la cola y estoy seguro lo necesita entonces me convierto en héroe.

Si soy un héroe en la cola entonces informo a los vecinos en la cola y al prestador del servicio cuál es la situación y espero sus instrucciones.

Si soy un héroe en la cola y nadie más ayuda y el prestador no resuelve y no me permiten hacer la cola por otra persona entonces hago la cola por quien lo necesite y hago la cola por mí más tarde.

Prestador:

Nunca me doy por aludido.

Escenario 2:

Abuelo:

Los abuelos siempre tenemos prioridad en las colas.

Ud:

Nunca confronto a un abuelo.

Si en la cola, un abuelo se me colea y estoy seguro que mi necesidad de atención es más urgente entonces me acerco al prestador y le explico la situación y sigo sus instrucciones.

Si en la cola, un abuelo se me colea y ya son demasiados abuelso coleándose entonces me acerco al prestador y le explico la situación y sigo sus instrucciones.

Si en la cola, el prestador del servicio no atiende mis explicaciones o no resuelve mis problemas entonces evito o abandono ese servicio.

Escenario 3

Si en la cola, un niño trata de colearse entonces me acerco al prestador y le explico la situación y sigo sus instrucciones.

PREGUNTA 2: Misión hijos de Venezuela.

El Gobierno de Venezuela recién lanzó un nuevo programa de Misión Social llamada “Hijos de Venezuela” cuyo objetivo declarado es: “erradicar la pobreza extrema en el país” [1]. Para ello el programa otorgará, durante un período máximo de dos años, una asignación mensual de dinero por cada hijo (hasta 3) de cada madre en situación de pobreza (lo cual implica, entre otros, que debe tener como ingreso menos del salario mínimo). El programa demanda de las beneficiarias que “deberán capacitarse para ejercer un oficio” (.ibid) y que deberán capacitarse durante el período que dure el beneficio.

Escriba reglas que conecten ese objetivo con las acciones que se mencionan.
Escriba reglas que conecten ese objetivo con otras acciones que Ud considere apropiadas o que conecten las acciones anteriores con otros objetivos que Ud considere importante destacar.

Respuesta:

1.- (sólo algunas de las reglas):

Para erradicar la pobreza,

mejore los ingresos de las familias vulnerables por un tiempo determinado y procure que los proveedores en esas familias se capaciten, durante ese tiempo, para ejercer un oficio.

Para mejorar los ingresos de una familia durante un tiempo T,

Si una familia F es vulnerable entonces asígnele a F una beca apropiada durante T.

Una beca es apropiada para la familia F si F es vulnerable y F tiene N hijos y ( si N < 3 entonces beca = 100*N) y ( si N>=3 entonces beca = 300).

Una familia F es vulnerable si la proveedora es una madre soltera y tiene uno o más hijos y el ingreso familiar es inferior al salario mínimo.

2.- Podría reescribir la primer regla así:

Para erradicar la pobreza,

mejore los ingresos de las familias vulnerables por un tiempo determinado y procure que los proveedores en esas familias se capaciten, durante ese tiempo, para ejercer un oficio que les permita generar y mejorar ese ingreso al salir del programa.

Esta regla forzaría la verificación de los procesos de formación de manera que terminen insertando a las beneficiarias en procesos productivos que les garanticen un mejor nivel de vida al salir del programa.

Es el mismo objetivo con unas acciones aparentemente diferentes

Pero también podríamos decir que el objetivo superior es otro, tal como algunos de Uds sugirieron en clase:

Para ganar más votos en un año electoral,

mejore los ingresos de las familias vulnerables por un tiempo determinado y procure que los proveedores en esas familias se capaciten, durante ese tiempo, para ejercer un oficio.

Cuál será la regla correcta? Qué importa?

PREGUNTA 3: Anti-Capuchinos

En la historia de los Capuchinos que hemos estudiado, los capuchinos terminan limitándose a estas reglas:

si ha llegado el momento, has un berrinche.
para hacer un berrinche, atraviezate y quema un caucho.

Pero la población ha decidido que incluso esto es inaceptable y constituye un crimen de terror sin causa. Estrategia alternativas se discuten para contrarrestarlos. Algunos proponen sistematizar las pobladas, que podrían traer el efecto no deseado de la explosión de la violencia y sus víctimas. Otros proponen vigilias (como una toma simbólica de la casa embrujada) hasta que los capuchinos sean puestos a derecho, acción que también tiene sus riesgos y tiene el efecto no deseado de demandar logística y el tiempo de muchas personas. Formalice las alternativas (con un conjunto de reglas) y despliegue historias donde se puede apreciar el desenlance de cada una usada en contra de los capuchinos.

Respuesta (también minimalista, sólo una historia y sin reglas):

Los capuchinos observan que ha llegado el momento en 1.

Los capuchinos se atraviezan y queman cauchos en 1.

La poblada realiza una vigilia en 1, sin violencia y sin abandonar la casa. (Como una huelga de hambre, pero sin hambre).

Los capuchinos observan que ha llegado el momento en 2.

Los capuchinos se atraviezan y queman cauchos en 2.

La poblada realiza una vigilia en 2.

Los capuchinos observan que ha llegado el momento en 3.

Los capuchinos se atraviezan y queman cauchos en 3.

La poblada realiza una vigilia en 3.

...

Los capuchinos observan que ha llegado el momento en 10.

Los capuchinos se atraviezan y queman cauchos en 10.

La poblada realiza una vigilia en 10.

Los capuchinos se retiran (cansados) en 10.

Será esta una historia factible?

PREGUNTA 4: frente al semáforo

Las siguientes son las reglas de conducta de un conductor de un vehículo automotor frente a los semáforos.

Si la luz está en verde a las T, acelere a las T.

Si la luz está en amarillo a las T, acelere a las T.

Si la luz está en rojo a las T y los vehículos no han comenzado a cruzar a las T, acelere a las T.

Si la luz está en rojo a las T y los vehículos comenzaron a cruzar a las T, deténgase a las T.

Considere este escenario:

La luz está en amarillo a la 1:00pm, la luz está en rojo a las 1:01, los vehículos no han comenzado a cruzar a las 1:01, la luz está en rojo a las 1:02, los vehículos comenzaron a cruzar a las 1:02.

Despliegue la historia detallada desde ese escenario con esas reglas. ¿Qué pasará si el vehículo necesita 3 segundos para detenerse?. ¿2 segundos? ¿Cómo sabe el conductor cuanto tiempo le tomará detenerse?

Respuesta (una posible. Noten que tenían que resolver algunos detalles técnicos. Qué significa 1:00pm, la una de la tarde en punto?. la una y cero minutos y cero segundos? Supongo aquí que así es):

Amarillo a las 1:00:00pm. Acelero a las 1:00:00pm. Rojo a las 1:01:00 pm. No han cruzado a las 1:01:00pm. Acelero a las 1:01:00pm. Rojo a las 1:02:00pm. Cruzan a las 1:02:00pm. Me detengo a las 1:02:00pm.

Eso es, estrictamente hablando, toda la historia que se puede deducir de las regla dadas. Ahora vienen las preguntas especulativas.

Si el vehículo necesita tres segundos para detenerse, la historia sería más parecida a esta:

y con dos segundos, claro:

Estoy tratando de llamar vuestra atención acerca del efecto de las demoras en las acciones.

La última pregunta era un regalo interpretativo. Varios de Uds atinaron a explicar que la acción de detenerse depende, cuando menos, de la velocidad actual del vehículo. No debería estar eso en las reglas del conductor? Cómo sería?

Les recuerdo que estos son ejemplos simplificados de respuestas posibles. Tendrán oportunidad de discutir vuestros examenes hasta el último día de clases para aclarar dudas.

Muchas Gracias.

Bitacora 07: Logica B2011: La o y Rentin

2011-12-20T23:01:00.000-04:30

Saludos Amigos,

Disculpen la demora con la bitácora. Debí viajar el jueves y viernes pasado y, bueno, la Navidad se impone. Tratándose de la última bitácora antes del examen, sin embargo, permítanme un recuento del material a evaluar y un ejercicio de reducción de metas a sub-metas como el que se discutió en clase.

El material a evaluar es:

http://jacinto-davila.blogspot.com/2011/10/bitacora-01-logica-b2011-el-aviso-del.html
http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/capitulo01.html
http://jacinto-davila.blogspot.com/2011/10/bitacora-02-logica-b2011-razonamiento.html
http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/capitulo02.html
http://jacinto-davila.blogspot.com/2011/11/bitacora-03-logica-b2011-metas-de.html
http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/capitulo03.html
http://jacinto-davila.blogspot.com/2011/11/bitacora-04-logica-b2011-el-aviso-de.html
http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/capitulo04.html
http://jacinto-davila.blogspot.com/2011/11/bitacora-05-logica-b2011-busqueda.html
http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/capitulo05.html
http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/lcph-cap-a1.pdf
http://jacinto-davila.blogspot.com/2011/12/bitacora-06-logica-b2011-los-capuchinos.html

y, claro, el capítulo 1 de mi libro:

http://webdelprofesor.ula.ve/ingenieria/jacinto/libros/logica-practica-aprendizaje-computacional.pdf
http://jacinto-davila.blogspot.com/2011/10/el-libro-logica-practica-y-aprendizaje.html

Respeto a la última discusión, permítanme responder y trasmitir la inquietud de Laudin quien, gentilmente, nos informa de la última resolución de la Real Academia de la Lengua Española acerca del significado de la palabra "o" y la palabra "ó". Desde el 2010, según RAE SIEMPRE se escribe SIN ACENTO. Esta es la definición (http://buscon.rae.es/draeI/):

o¹.

1. f. Decimoctava letra del abecedario español, y decimoquinta del orden latino internacional, que representa un fonema vocálico, medio y posterior.

2. f. Fil. Signo de la proposición particular negativa.

no saber ni hacer la ~ con un canuto.

1. loc. verb. coloq. Ser muy ignorante.

o².

(Del lat. ubi).

1. adv. l. desus. En donde.

o³.

(Del lat. aut).

1. conj. disyunt. Denota diferencia, separación o alternativa entre dos o más personas, cosas o ideas. Antonio o Francisco. Blanco o negro. Herrar o quitar el banco. Vencer o morir.

2. conj. disyunt. U. generalmente ante cada uno de dos o más términos contrapuestos. Lo harás o de grado o por fuerza.

3. conj. disyunt. Denota equivalencia, significando 'o sea, o lo que es lo mismo'. El protagonista, o el personaje principal de la fábula, es Hércules.

Ver también en http://www.wordreference.com/definicion/o

o 1

f. Decimosexta letra del abecedario español,y cuarta de sus vocales. Representa un sonido de articulación velar,semiabierta y oral.
no saber hacer la o con un canuto loc. col. Ser muy ignorante.
♦ pl. oes.

o 2

conj. Denota diferencia,separación o alternativa entre dos o más personas,cosas o ideas:
Eugenia o Francisco;
blanco o negro;
adaptarse o morir.
Suele preceder a cada uno de dos o más términos contrapuestos:
lo harás por las buenas o por las malas.
Expresa equivalencia:
Rodrigo Díaz de Vivar, o El Cid Campeador, no es un personaje de ficción.
o sea Expresión que indica equivalencia y se emplea para aclarar o explicar lo dicho:
ya no te soporto,o sea,hemos terminado.
♦ Cuando va entre dos cifras y puede confundirse con un 0 (cero),se acentúa:
8 ó 9.

Observen que no se ocupan demasiado en aclarar el sentido lógico de la palabra (claro contraste con los angloparlantes http://www.thefreedictionary.com/OR ). Pareciera inclinarse por la opción del "o exclusivo". Y está esa nota al final que ofrecen como explicación para el uso del acento. También se dice que el ó se usa entre letras, para no confundirlas con números. En ninguno de esos casos hay una fundamentación semántica.

Estoy tratando de ubicar la referencia a mi versión del cuento. (La "ó" usada para el "o exclusivo" y la otra sin acento para el inclusivo).

En todo caso, es obvio que tenemos una palabra muy común cuyo significado es muy vago, lo cuál quizás justifica el uso de la nueva palabra "y/o". Uds que opinan?. Por cierto, qué opinan de que la RAE nos diga cómo usar esas palabras?

Rentín

Para terminar la bitácora, permítanme intentar un reconstrucción un por más formal del ejemplo de Rentín (sección 1.3.2.10. de mi libro), con la esperanza de aclararles cómo funciona el proceso de reducción de metas usando razonamiento hacia atrás. Noten que no lo hago todo (como en el libro), así que va con una invitación a completarlo y consultarlo. Noten también que estoy usando una forma de lógica con palabras en inglés. Se trata de un par de lenguajes de programación lógica que inventamos localmente y de los cuáles les hablaré más adelante.

Codificamos estas reglas:

Metas:
Si puedo, abuso.
Si me da flojera, no trabajo .
Creencias:
Abuso si gano sin merecerlo .
Puedo si nadie sospecha de mí .
Nadie sospecha de mí si me oculto tras la complejidad .
Me oculto tras la complejidad cuando toda evaluación es
compleja y el sistema judicial no funciona .
Una evaluación se complica si no hay memoria .
No hay memoria si los datos no se colectan o se pierden .
No lo merezco si no trabajo .
El sistema judicial no funciona si no hay jueces confiables y
las exenciones y excepciones son arbitrarias .
Las exenciones y excepciones son arbitrarias si la evaluación
es compleja .
Los datos sólo se colectan y se preservan si hay un observador
independiente encargado de cuidarlos .

Así:

--
1) if puedo then abuso.

2) if me_da_flojera then no_trabajo.

3) to abuso do gano_sin_merecerlo.

4) to puedo do nadie_sospecha_de_mi.

5) to nadie_sospecha_de_mi do me_oculto_tras_la_complejidad.

6) to me_oculto_tras_la_complejidad do
    la_evaluacion_es_compleja,
    el_sistema_judicial_no_funciona.

7) to la_evaluacion_es_compleja do
    no_hay_memoria.

8) to no_hay_memoria do los_datos_no_se_colectan.
9) to no_hay_memoria do los_datos_se_pierden.

10) to no_lo_merezco do no_trabajo.

11) to el_sistema_judicial_no_funciona do
    no_hay_jueces_confiables,
    las_exenciones_son_arbitrarias.

12) to las_exenciones_son_arbitrarias do
    la_evaluacion_es_compleja.

13) to los_datos_no_se_colectan do no_hay_observador_de_datos.

de 1) y 4)

14) if nadie_sospecha_de_mi then abuso.

de 14) y 5)

15) if me_oculto_tras_la_complejidad then abuso.

de 15) y 6)

16) if     la_evaluacion_es_compleja, el_sistema_judicial_no_funciona then abuso.

de 16) y 7)

17) if no_hay_memoria, el_sistema_judicial_no_funciona then abuso.

de 17) y 11)

18) if no_hay_memoria, no_hay_jueces_confiables, las_exenciones_son_arbitrarias then abuso.

de 18) y 12)

19) if no_hay_memoria, no_hay_jueces_confiables, la_evaluacion_es_compleja then abuso.

de 19) y 7)

20) if no_hay_memoria, no_hay_jueces_confiables then abuso.

--

Que tengan una Feliz Navidad. Cuídense y consiéntanse (es decir, siéntanse con otros). Nos vemos el próximo año.

Gracias

Jacinto

Propuesta de replanificacion de evaluacion

2011-12-08T22:21:00.000-04:30

Saludos Compañeros de Lógica,

Tratando de balancear una decisión bien pensada con el tiempo que habría que tener para actuar, les tengo ahora una propuesta de replanificación de las evaluaciones del curso.

Según el plan original [1], tendríamos el primer parcial el próximo miércoles 14 de Diciembre, a partir de las 8:00am.

La situación, sin embargo, no está muy bien para los viajeros a los Andes Venezolanos. Tenemos lluvias recurrentes y los gobiernos nacionales y locales han declarado estados de emergencia. En particular, la vía principal de acceso a Mérida desde el Vigia está afectada por un deslave que causa el cierre, especialmente cuando las lluvias arrecian. No estamos aislados, pero hay que admitir que el acceso no es fácil y, desde luego, con las vacaciones de diciembre hay más gente viajando. El clima podría cambiar en los próximos días, pero los pronósticos no son claros.

Como deben saber, las evaluaciones de este curso son presenciales. No hay otra modalidad para evaluaciones. Además, con el afán de proteger el nivel, solemos hacer la misma evaluación para estudiantes presenciales y a distancia.

Por estas razones, les propongo que movamos el primer examen parcial para el miércoles 11 de Enero (justo al volver a clases. El reinicio de actividades en la ULA está pautado para el 9 de Enero).

Entiendo que esto puede afectar a quienes ya han tomado previsiones para venir a Mérida y quieren intentarlo, no obstante las condiciones. Para esas personas (estudiantes a distancia), les garantizo su examen parcial para el miércoles 14 de diciembre, siempre que confirmen que vendrán.

En cualquier caso, tendremos la clase regular el próximo miércoles. Ya las otras circunstancias que impedían el acceso se han resuelto (puesto que fueron suspendidas las clases de pregrado hasta Enero).

Las otras evaluaciones siguen pautadas como en aquella bitácora [1] para el 15 y para el 22 de Febrero. Por favor, tomen sus previsiones desde ya.

En resumen, si no hay objecciones, el primer parcial será el miércoles 11 de Enero de 2012. (Si Ud es estudiante a distancia y quiere el parcial el 14 de diciembre, lo tendrá). Todo lo demás sigue de acuerdo al plan.

Lamento los inconvenientes y estos cambios tardíos pero, como en la vida real, las circunstancias se imponen.

Muy pendiente.

Gracias.

Jacinto Dávila.

[1] http://jacinto-davila.blogspot.com/2011/10/bitacora-00-logica-b2011.html

Bitacora 06: Logica B2011: Los Capuchinos

2011-12-07T21:42:00.000-04:30

Saludos Amigos,

Esta semana no tuvimos actividades por las razones de que Uds conocen. Tenemos, además, una situación muy compleja con las realización del examen parcial. Les escribiré al respecto.

Entretanto, permítanme ofrecer un ejercicio de preparación. Les decía en un mensaje que el concepto clave en esta etapa es la relación entre un conjunto de reglas de los agentes y sus conductas, que se despliegan (o desenvuelven) en una historia.

Para explorar esas ideas, permítanme proponer un ejercicio cómo parte de un cuento. Noten, por favor, que la pregunta a responder está en medio de la historia. Muy atento a sus respuestas. Por favor, envíenlas a las lista:

Los Capuchinos.

Los capuchinos son un grupo de fantasmas que han embrujado cierta vieja mansión. Su misión en la vida (y en la muerte) es aterrorizar a los residentes y visitantes de esa mansión en ciertas épocas del año. Son fantasmas muy elementales: no se les vé la cara, atraviezan algunas paredes, pero no todas, y pueden salir de día, pero no de noche. Cada uno por separado puede hacer muy poco para asustar, pero en equipo son muy efectivos.

Las reglas originales de conducta de cada capuchino eran mas o menos las siguientes:

--
si ha llegado el momento, has un berrinche.
si tus compañeros se mueven, síguelos en formación.

para hacer un berrinche, atraviezate y lanza una botella con cuidado.
para hacer un berrinche, atraviezate y raspa un machete.
para hacer un berrinche, atraviezate y grita barbaridades.
para hacer un berrinche, atraviezate y quema un caucho.
--

Sin embargo, en uno de esos despliegues múltiples de "atraviezate" y "lanza una botella, raspa un machete, grita barbaridades y quema un caucho", una poblada, harta de tanto asedio, se lanzó contra los capuchinos y estos, inusualmente, huyeron despavoridos y en desorden. Uno quedó atrapado por la poblada y lo retuvieron un buen tiempo. Lamentablemente, por un descuido de los pobladores, estos permitieron que ese capuchino fuese tocado por otros fantasmas y todos se esfumaron sin dejar rastro.

Los pobladores, sin embargo, confiaron que esa persecusión había terminado con la maldición de los capuchinos.

Se equivocaron. Los capuchinos regresaron a aterrorizar, pero con una estrategia ligeramente diferente. Se apertrecharon de muchos cauchos. Dejaron las botellas y los machetes y se concentraron en la quema de cauchos en forma masiva.

Como modificaría Ud las reglas originales para dar cuenta de la nueva conducta?

Para terminar el cuento, los capuchinos han vuelto a ser exitosos. Su estrategia se combina muy bien con la de los caza-fantasmas que, en lugar de ir por ellos, se atraviezan sin hacer nada, salvo impedir la formación de las pobladas.

Muy pendiente a sus reglas, los dejo con una imagen, hecha por un artista, de los capuchinos en acción.

Saludos.

Suspendidas las actividades en Ingenieria la Hechicera

2011-12-01T07:18:00.000-04:30

Saludos amigos,

Ayer se presentó una situación muy difícil en el núcleo de la hechicera. No pudimos pasar temprano debido a que un grupo de encapuchados, con machetes y botellas, impedian el paso y amenazaban abiertamente. Cerca de las 7:30am, una poblada se lanzó sobre ellos y los dispersó. Uno quedó atrapado, bajo protección de vigilancia, en el edificio de Ingeniería y fue luego entrevistado por los decanos de las facultades de Ciencias e (el encargado) de Ingeniería. Al parecer, es un estudiante de la Facultad de Ciencias. El estudiante fue trasladado más tarde por una comisión. Según reportes, la situación se puso más difícil en horas de la tarde.

Por lo pronto, las actividades de la facultad han sido suspendidas completamente.

Pero podemos seguir activos por las listas.

Lamento las angustias.

La Logica democratica y el colapso del lenguaje

2011-11-27T21:48:00.000-04:30

La "Lógica Democrática" y el Colapso del Lenguaje

(Con ejemplos tomados de la discusión de Acceso Abierto al Conocimiento)

Para quienes (todavía) invocan a Sócrates.

No me malentiendan. La democracia es la mejor solución para la organización de una sociedad humana, pues le otorga a cada persona la misma oportunidad al escoger el destino colectivo. La democracia ha dado muestras de ser la mejor manera de escoger nuestras metas colectivas (se podría decir que para las individuales, la votación va por dentro). Por eso es tan extraño que las aristocracias (u oligarquías) sigan siendo tan comunes en el mundo moderno.

Pero respecto a aquello en lo que debemos creer, la democracia no es solución. Por mucho, o por muchos, que queramos que algo sea el caso, eso puede no ser suficiente para hacerlo realidad. De hecho, cuando desafiamos a la naturaleza normalmente tenemos muchas oportunidades de comprobar que el mundo no es como quisieramos que fuese.

En lógica se dice que un argumento es válido si siempre que sus premisas o condiciones son ciertas, su conclusión es cierta. Esto es así independientemente de lo que queramos o creamos sobre esas premisas y esa conclusión. Invirtiendo esa definición, solemos probar que un argumento es inválido, mostrando una ocasión, un ejemplo o una circunstancia en la que sus premisas son verdaderas, pero no así su conclusión.

Aristóteles soñó con identificar esos argumentos válidos, de una vez y para siempre, de manera que pudieramos enseñarlos a cualquiera, lo que equivaldría a enseñarle a razonar correctamente, de una vez y para siempre.

Él y muchos de sus seguidores han identificado ciertas formas lingüísticas que declaran argumentos válidos, sin importar los detalles. Por ejemplo, si todo ambureto es ministerado y todo ministerado es creditoso, entonces, concluye el argumento, todo ambureto es creditoso. No importa qué significan "ambureto", "ministerado" y "creditoso" (confío que sea la primera vez que Ud lee estas palabras. Pero realmente no importa).

Los matemáticos dicen, desde luego, que es un asunto matemático. Si A pertenece a M y M pertenece a C, entonces A pertenece a C. No hay escape. No hay que someterlo a votación.

Así que la validez del argumento no depende de la naturaleza de las cosas, sino más bien de que tan bien codifica la naturaleza de las relaciones entre las cosas.

Noten, en particular que si ningún ambureto es ministerado, ningún ministerado es creditoso y ningún ambureto es creditoso, en ese mismo escenario, aquel argumento sigue siendo válido.

Es decir, el asunto terminológico no es condicionante para los argumentos. Y debido al carácter arbitrario de los términos que usamos al referirnos a cosas, conceptos y relaciones, esa independencia de los argumentos lógicos es una buena noticia (aunque tenga más de 20 siglos).

Podría ayudarnos a salvar discusiones terminológicas en las que se sufra de ambigüedad, que es inaceptable en la lógica, o también de vaguedad, que no sólo es aceptable en la lógica, sino recomendable para manejar la complejidad.

O podría, incluso, ayudarnos a escapar de esos ejercicios muy poco democráticos que explotan una suerte de retórica ofuscacionista, buscando oscurecer los argumentos para que nadie los entienda (y, así, fácilitar la manipulación de los electores). Como dice el viejo adagio (viejo en las Universidades): "si no puedes convencerlos, confúndelos".

Por ejemplo, si alguien dice:

"El conocimiento debería estar disponible para el Pueblo, no sólo para las instituciones"

reemplazar "Pueblo" por "Sociedad" en esa oración alegando que "todos somos Pueblo" es completamente inútil. El alegato refuerza, de hecho, el punto del declarante (siempre suponiendo que las instituciones son parte del Pueblo, pero no son todo el Pueblo).

si luego se declara que con esta versión basta:

"El conocimiento debería estar disponible para el Pueblo"

entonces queda claro que se pretende ofuscar la declaración inicial de manera que no se note la acusación contra las instituciones.

Someter luego ambas versiones a votación para escoger la más clara, alegando que la "aplanadora democrática" resolverá la disputa, es un ejercicio necio.

Algo similar ocurre cuando se exige que se asiente este texto:

"El caso es que los mecanismos tradicionales de publicaciones impresas y digitales (libros y revistas) suponen que los autores ceden, a cambio de esa visibilidad y el prestigio asociado, los derechos de copia y distribución de sus contenidos en publicaciones de las instituciones universitarias y de casas editoriales comerciales, entre cuyos modelos de negocio prevalece la venta de cada copia, incluso en la misma comunidad en donde se generan los contenidos."

en lugar de este:

"El caso es que los mecanismos tradicionales de publicación suponen que los autores ceden, a cambio de esa visibilidad y el prestigio asociado, los derechos de copia y distribución de sus contenidos en publicaciones de casas editoriales comerciales, cuyos modelos de negocio dependen de la venta de cada copia, incluso en la misma comunidad en donde se generan los contenidos."

alegando que el primero es más completo (porque incluye más términos y más detalles), obviando, muy adrede, que no se altera el caso en cuestión. Sólo se lo hace más difícil de entender.

Ese tipo de reducción de la democracia: la simulación de los ejercicios de decisión en los que se nos pide escoger entre (muchas) palabras o términos sin contexto, le ha traído a la democracia gran desprestigio.

Es un ejercicio, mucho me temo, del que no escapará ningún sistema democrático moderno. Hay intereses individuales que, simplemente, no aguantan el ojo público ("yo quiero esa parte de la renta") y, para disimularlos, por fortuna, el único recurso posible parece ser esa retórica ofuscacionista (digo, por fortuna, porque en otro tiempo o lugar, la violencia física ha sido un recurso).

Por ejemplo, si en la discusión sobre permitir el acceso abierto a todos los contenidos académicos alguien esgrime que "mejor nos ocupamos sólo de lo nacional", está tratando de forzar que el problema de financiamiento en divisas internacionales para contenidos académicos no existe o no importa.

En el mismo contexto, si alguien dice "no seamos extremistas, declaremos acceso abierto sólo para las tesis", está tratando de desvirtuar el acceso abierto excluyendo justamente aquello que causa el mayor daño por los costos en divisas que implica. Las tesis normalmente son realizadas sin cobrar honorarios ni regalías.

Nuestra preocupación fundamental gira en torno a ese vacío de razones que supone un colapso del lenguaje y que parece caracterizar a esos giros "democráticos" en los argumentos públicos.

Como decíamos en otro lugar, no es que el colectivo no tenga o no pueda tener la razón. Pero tampoco es que el colectivo siempre tenga la razón. Colectivos e individuos podemos equivocarnos cuando nuestras creencias (por ejemplo, aquellas que describen las dinámicas del universo) no están bien formadas o informadas. En esos contextos, la existencia de individuos que, valientemente, se atreven a defender sus puntos de vista, aún enfrentando a una abrumadora mayoría (que podría "aplanarlos") es una condición vital para esas mismas sociedades democráticas.

El acceso abierto, por ejemplo, es una solución tardía a un problema que algunos debieron ver hace mucho o que quizás vieron, pero no tuvieron el valor de denunciar.

Expresiones Regulares

2011-11-25T23:41:00.000-04:30

Saludos estudiantes de Teoría de la Computación,

Estas son las referencias prometidas. El material de la Prof. H. Yelitza Contreras, está aquí:

http://webdelprofesor.ula.ve/ingenieria/hyelitza/materias/preteoria/apuntes/tema2.pdf

http://webdelprofesor.ula.ve/ingenieria/hyelitza/materias/preteoria/apuntes/POSIX.pdf

La tesis de la Ing. Yaritza Vargas, está acá:

http://webdelprofesor.ula.ve/ingenieria/jacinto/tesis/2004-tesis-ing-yaritza-vargas.pdf

Allí encontrarán la explicaciones que discutimos, así como los temas que sugerimos para el recuperativo.

El código flex (para Jflex) del analizador léxico de Galatea puede ser visto en línea en (para ejemplos de ER).

http://galatea.svn.sourceforge.net/viewvc/galatea/Galatea/trunk/gCompilerSrc/galatea.flex?revision=482&view=markup

Por último, los ejercicios del parcial anterior y otros están (en formato Jflap) en:

http://webdelprofesor.ula.ve/ingenieria/jacinto/teocomp/p1-pr1.jff
http://webdelprofesor.ula.ve/ingenieria/jacinto/teocomp/p1-pr2.jff
http://webdelprofesor.ula.ve/ingenieria/jacinto/teocomp/mealy.jff
http://webdelprofesor.ula.ve/ingenieria/jacinto/teocomp/hola.jff

Consideren también este código Prolog para generar las expresiones concretas, del que les hablé en clase. No está completo, pero ya les ayudará a generar expresiones con clausura de Kleene.

http://webdelprofesor.ula.ve/ingenieria/jacinto/teocomp/er.pl

--
profundidad(2).

er(A, A) :- A\=[], atomico(A), !.
er((A,R), AR) :- er(A,AA), er(R,RR), er(AA,RR,AR).

er(A+B,[AUB1,AUB2]) :- er(A,AUB1), er(B,AUB2).
er(A^e, E) :-
profundidad(N), er(A, AA), ere(AA^N, E).

er(A, B, AIB) :- y(A,B,AIB).

ere(_^0, [lambda]). % cualquier expresion cero veces
ere(A^N, [AA|R]) :- % una expresion n veces
N>0, NN is N-1, ern(N,A,AA), ere(A^NN,R).

ern(1,A,A).
ern(N,A,(A,R)) :-
N>0, NN is N-1, ern(NN,A,R).
--

Esta es una salida:

?- ereg((0,(1+0)^e), L).
L = (0, 1, 1) ;
L = (0, 1, 0) ;
L = (0, [1, 0], 1) ;
L = (0, 0, 1) ;
L = (0, 0, 0) ;
L = (0, [1, 0], 0) ;
L = (0, 1, 1) ;
L = (0, 1, 0) ;
L = (0, [1, 0], 1) ;
L = (0, 0, 1) ;
L = (0, 0, 0) ;
L = (0, [1, 0], 0) ;
L = (0, 1) ;
L = (0, 0) ;
L = (0, lambda) ;
false.

Nos vemos el lunes.

Buena suerte.

Bitacora 05: Logica B2011: Busqueda

2011-11-18T09:44:00.000-04:30

Saludos,

Esta semana estamos combinando varios documentos. El capítulo 5 del texto guía está dedicado a "búsqueda", un tema en el que la Inteligencia Artificial tiene una larga y muy rica tradición. Trataré de resumir la idea con un ejemplo similar al del texto, pero que funciona en el computador:

http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/capitulo05.html

Pero también comenzamos esta semana a revisar el capítulo A1 del texto guía, que explica la sintaxis de las formas lógicas que estudiamos en el curso. Un objetivo de revisar ese capítulo es conocer cómo se suele codificar el conocimiento en los diversos sabores de lógica, incluyendo la computacional. Avanzamos apenas hasta la página 9, por una razón que explico a continuación:

http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/lcph-cap-a1.pdf

Pero para no perder de vista el objetivo superior de conocer la semántica asociada a esa sintaxis, comenzamos a revisar el capítulo 1 de mi libro: lógica práctica y aprendizaje computacional, hasta la sección sobre validez!.

http://webdelprofesor.ula.ve/ingenieria/jacinto/libros/logica-practica-aprendizaje-computacional.pdf

Les suplico que lean con cuidado esa primera parte de mi libro, hasta la página 20, sección 1.2.1, y nos preparemos para discutir el tema de validez en lógica. Suele ser una fuente de confusión por varias razones.

Es muy probable que NO tengamos clase presencial la próxima semana. Les confirmo tan pronto pueda. Nos invitaron a un evento académico en Caracas. Si así fuese, podríamos usar la semana para discutir los avisos de las colas y ese tema de validez, por vía de la lista. Voy a insistir que envíen sus contribuciones a todos en la lista. También sirve el blog. Pero no olviden que no es un asunto de todos contra uno. Es uno asunto de todos contra todos en el que no necesariamente domina la mayoría.

Permítanme volver con el problema de búsqueda. Como he dicho varias veces, es un tema tradicional en inteligencia artificial. Se construye una máquina, normalmente el software de la máquina, para que pueda buscar la solución de un problema recorriendo, en su "mente" un espacio de posibilidades que podría ser infinito. Hay muchas realizaciones de esas máquinas. Incluso existe una taxonomía de soluciones que comienza con las alternativas muy gruesas de 1) búsqueda por fuerza bruta y 2) búsqueda informada.

En este curso tenemos una gran ventaja inicial. Prolog es una máquina de búsqueda que utiliza una forma de razonamiento hacia atrás: la regla de resolución, para revisar un espacio que se construye a partir de una base de conocimiento, buscando cómo probar un teorema (y subteoremas, que son como metas y submetas).

Consideren el ejemplo que construimos en clase y que es muy cercano a la descripción del ejemplo de las vacacaciones del profesor Kowalski:

--
% busqueda.pl
%

ir(A,B) :- juntos(A,B).
ir(A,B) :- juntos(A,C), ir(A,C), ir(C,B).
--

A esta implementación de las reglas generales para ir de un punto a otro tenemos que agregarle la descripción particular de nuestra "geografía". Entre comillas porque, como verán, puede ser una "geografía ideal" (geografía de ideas!). Algo como esto:

--
juntos(pobre, estudiante).
juntos(pobre, ladron).
juntos(estudiante, profesional).
juntos(ladron, rico).
juntos(profesional, rico).
--

Ese programa puede decirnos si es posible ir de pobre a rico:

--
?- ir(pobre, rico).
true
--

aunque no nos dice cómo. Para hacer explícito el camino, consideren esta versión de las mismas reglas con un argumento auxiliar:

--
ir(A,B,[B]) :- juntos(A,B).
ir(A,B,[C|Camino]) :- ir(A,C,[C]), ir(C,B,Camino).
--

ahora si podemos saber el cómo:

--
?- ir(pobre, rico, Como).
Como = [estudiante, profesional, rico]
--

Este programa, como ven, sirve para encontrar una solución. Pero si le pido, como hice descuidadamente en clase, otra solución (con Prolog eso se hace escribiendo punto y coma ";" justo después del true) el programa cae en un ciclo infinito. Esto ocurre porque Prolog usa un algoritmo de fuerza bruta, primero en profundidad, para encontrar las soluciones. Sin ayuda adicional (sin más información), cae en un ciclo, después de la primera respuesta.

Noten, antes de que decidan olvidar ese código y a Prolog, que el programa puede ayudarnos a verificar si la otra solución que a alguien se le pudiera ocurrir también es un "Como":

--
?- ir(pobre, rico, [ladron, rico]).
true
--

Es decir, la lógica es infalible. Lo que falla acá es la estrategia de búsqueda sobre esas reglas lógicas.

Pero incluso esto se puede corregir en Prolog. Noten esta versión de uno de los códigos del Prof. Bratko en:

http://webdelprofesor.ula.ve/ingenieria/jacinto/logica/manual-prolog/grafos-prolog.html

--
% ir_sin_ciclos
ir_sin_ciclos(Start,Stop,Camino) :-
    ir(Start,Stop,[Start],Camino).

ir(Stop,Stop,Camino,Camino).
ir(Start,Stop,ActCamino,Camino) :-
       Start\=Stop,
       juntos(Start,Proximo),
       no_miembro(Proximo,ActCamino),
       ir(Proximo,Stop,[Proximo|ActCamino],Camino).

no_miembro(_,[]).
no_miembro(X,[Y|T]) :-
       X\=Y,
       no_miembro(X,T).
--

Este programa no es estructuralmente muy distinto a nuestro primer código. Sin embargo, no tiene problemas con los ciclos y calcula todas las respuestas que necesitamos (noten que el camino se muestra al revés):

--
?- ir_sin_ciclos(pobre, rico, Camino).
Camino = [rico, profesional, estudiante, pobre] ;
Camino = [rico, ladron, pobre] .
--

Confío que el ejemplo les dé una idea de qué es buscar en este contexto. Les sugiero que lo prueben Uds mismos en Prolog y reconstruyan el árbol de búsqueda que Prolog recorre al ejecutarlo. Así es como se genera un espacio de búsqueda infinito a partir de un código finito.

Muy pendiente a sus preguntas y comentarios,

Gracias,

Jacinto

Bitacora 04: Logica B2011: El aviso de las colas

2011-11-10T10:44:00.000-04:30

Saludos,

Ayer completamos la lectura del capítulo 4 del libro, en el cual se realiza la integración de las estrategias de razonamiento hacia adelante y hacia atrás que se presentaron en los capítulos anteriores. El detalle crucial es ese programa "ciclo" por medio del cuál se explica la dinámica interna de un agente que conecta sus observaciones con sus acciones en una forma razonable.

http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/capitulo04.html

Como consecuencia de esa dinámica se genera una historia para el agente. Asegúrense de entender cómo se despliega esa historia, con esos ejemplos en los que se "ejecuta" el programa ciclo del agente y se muestra la "traza" de esa ejecución paso a paso.

Les agradezco mucho el empeño puesto en la tarea del aviso de las colas. En clase discutimos varios de sus propuestas, en un intento de hacer un análisis crítico. Algunos de Uds parecen creer que la mejor manera de conseguir cómo comunicar algo así es simplemente escribiendo avisos y sometiéndolos a la evaluación del público. Creo que esta idea está conectada con la "lógica democrática": si a la mayoría (o a los pocos que se molestan en opinar) les parece bueno, debe estar bueno.

Como un primer contraargumento, consideren lo que dijimos acerca de esos ejercicios de escribir avisos: son ejercicios de programación. Programación de las personas para que realicen ciertas acciones. Esa versión de la "lógica democrática" en computación supondría que la mejor manera de programar un computador es una que, bueno, funciona!. Esto niega, desde luego, la posibilidad de que haya unos que funcionan mejor que otros y que podemos anticipar cuáles son. De hecho, existen una rama de la computación que plantea la generación de códigos en la búsqueda de alguno que funcione: se llama programación genética (y no es lo mismo que los algoritmos genéticos, aunque se le parezca). Ha tenido algunos éxitos, pero la evidencia sugiere que el programador, con su capacidad para anticipar el efecto de tal o cual código, sigue siendo la mejor manera de programar un computador.

Así que yo sigo intentando escribir un aviso que pueda ser considerado, a priori, como una mejor o peor manera de comunicar información útil a quienes hacen una cola. Acá va mi intento, con la intención de que lo sometan a la crítica (DESTRUCTIVA):

En la COLA

Al llegar a la cola, anuncie que ahora Ud es la última persona.

Ud será la última persona en la cola, mientras no llegue alguien más.

Si cada uno anuncia y mantiene su posición, se mantendrá el orden en la cola y todos saldrán de ella en el menor tiempo posible.

No se colee, ni permita que otros lo hagan. Es injusto.

Si alguien se colea, los que vengan después tardarán más de lo necesario.

El prestador del servicio decidirá cómo y cuándo atender los casos especiales que alteren el orden la cola por una buena causa.

Muy pendiente a sus comentarios.

Gracias,

Jacinto

Bitacora 03: Logica B2011: Metas de mantenimiento

2011-11-04T13:59:00.000-04:30

Saludos,

El capítulo 3 del libro de Kowalski se refiere a otro par de situaciones simples. Lo leímos todo en la clase, pero estoy seguro que hará bien volverlo a leer. Es la primera vez que aparecen las "variables matemáticas" explícitamente en los ejemplos y ocurrió como parte del MODELO de un termostato. Noten que estoy llamando MODELO al conjunto de dos condicionales. Me refiero a una descripción que sirve para explicar la conducta del dispositivo. No es una descripción particular de su conducta (como sería, por ejemplo, una serie de lecturas de la temperatura del sistema que regula ese termostato), sino una descripción de la RELACION que MANTIENE el termostato con su ambiente.

Les decía en clase que el tema principal de este capítulo 3:

http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/capitulo03.html

a pesar de lo que puede leerse en los título, es la aparición de una categoría o tipo de atributo para caracterizar la conducta de los agentes, y de los humanos en particular: Las metas.

Tuvimos una larga discusión acerca de qué significa describir o modelar a una persona. Una discusión muy rica pero que no pareció tener un desenlace claro. Creo que faltan muchas cosas por discutir. Pero, por el afán de regular el curso, me veo en la necesidad de puntualizar. Para efectos del MODELO de agente que estamos construyendo, necesitaremos dos tipos de estructuras: METAS Y CREENCIAS. Estas últimas corresponden con la base de conocimiento de la que ya hemos hablado: las reglas del aviso del metro y las de la Zorra son ejemplos sencillos, pero muy claros.

Noten que habíamos hablado de METAS antes en el curso, cuando la zorra dijo "quiero el queso". Eso también es una meta, desde luego: la expresión de un deseo sin condiciones. Les llamaremos METAS DE LOGRO o POR ALCANZAR.

Pero lo que estamos proponiendo ahora es que usemos las oraciones condicionales para describir METAS (METAS DE MANTENIMIENTO) como:

Si tengo hambre, busco de comer.

Les invito a pensar que sentido tiene decir que una CONDICIONAL es una meta.

El capítulo del profesor trata de explicar el uso de las condicionales para generalizar la noción de REGLA DE PRODUCCION, que ha sido tan ampliamente aprovechada en las ciencias cognitivas. Decimos que generalizamos porque cuando antes decíamos:

si condiciones entonces accion.

Ahora diremos

si condiciones entonces meta.

en donde "meta" puede ser una acción propiamente dicha o una meta de tendría que reducirse posteriormente a un serie de acciones (como hizo la zorra). Por ejemplo, la Zorra podria tener esta meta:

si tengo hambre y veo un alimento entonces quiero ese alimento.

¿Ven a qué me refiero?

En la clase también dedicamos una buena cantidad de tiempo a revisar este material:

http://www.saber.ula.ve/handle/123456789/16209

Se trata de una notas acerca del uso de la lógica para mejorar nuestra habilidad para comunicarnos (entre humanos). Se los refiero ahora con la intención de reforzar el trabajo que han hecho con los avisos. Verán que allí hay recomendaciones muy precisas acerca del cómo se podría mejorar la legibilidad de nuestros escritos. Este trabajo ha sido llevado a realizaciones computacionales en varias tesis de pregrado y postgrado. En particular, recién se ha publicado un libro de una egresada del postgrado en modelado y simulación, originalmente licenciada en letras, que contiene un MODELO COMPUTACIONAL basado en esas ideas.

El software al que se refiere ese modelo está acá:

http://sourceforge.net/projects/resumidor/

y el libro acá:

https://www.eae-publishing.com/catalog/details/store/es/book/978-3-8454-9591-0/un-modelo-computacional

Otra de las tesis está acá:

http://tesis.ula.ve/harvester/index.php/record/view/30538

Muy pendiente a sus comentarios. Trataré de comentar sus propuestas de avisos esta semana.

Entretanto, y aprovechando vuestro interesés en los avisos y la comunicación entre humanos, quiero proponer otro ejercicio de lógica. Esta vez vamos a tratar de escribir un aviso que exprese, lo mejor que podamos, un conjunto de reglas de conducta. Todos Uds deben haber sufrido una cola y estoy seguro que tendrán sus ideas acerca del cómo se debe comportar cada persona en una cola, si queremos aliviar el sufrimiento que causan. Así que escriban un aviso PARA ENSEÑAR a las personas a HACER LA COLA, en el contexto de su preferencia.

No quisiera sesgarlos en dirección alguna acerca del qué y el cómo hacer eso. Pero este texto que escribí hace poco tiene algunas de mis propias ideas sobre las colas en Venezuela.

http://aporrea.org/actualidad/a129381.html

Buena suerte.

Gracias.

Como se ejecutan los automatas en Prolog

2011-10-31T13:54:00.000-04:30

Este es el código con las funciones de transición y transición extendida para los automátas finitos deterministas, no deterministas y con transiciones de cadenas vacías.

% hola.pl
% programa Prolog para probar automatas
%
% escrito en clase como ejemplo

delta(q0,h,q1).
delta(q1,o,q2).
delta(q2,l,q3).
delta(q3,a,q4).
delta(q4,a,q4).
delta(q0,h,q5).
delta(q5,i,q6).

delta_techo(E0,[A],Ef) :- delta(E0,A,Ef).
delta_techo(E0,[A|W], Ef):-
   delta(E0,A,Ei), delta_techo(Ei,W, Ef).

% de acuerdo al texto de la prof. H. Yelitza Contreras

% autómata finito determinista

delta_t(Q0, [A|W], Qf) :-
   delta(Q0, A, Q1), delta_t(Q1, W, Qf).
delta_t(Q, [], Q).

% autómata finito no determinista

% así se escribiría el ejemplo anterior
%delta_n(q0,h,[q1,q5]).
%delta_n(q1,o,[q2]).
%delta_n(q2,l,[q3]).
%delta_n(q3,a,[q4]).
%delta_n(q5,i,[q6]).

%
delta_n(q0, 0, [q0,q1]).
delta_n(q0, 1, [q0]).
delta_n(q1, 1, [q2]).

delta_n([], _, []).
delta_n([Qo|R], A, RR) :-
   not(delta_n(Qo, A, _)), delta_n(R, A, RR).
delta_n([Qo|RQs], A, S) :-
   delta_n(Qo, A, Qss),
   delta_n(RQs, A, NQs), une(Qss, NQs, S).

delta_t_nd_inicia(Q, W, F) :- delta_t_nd([Q], W, F).

delta_t_nd(Qs, [], Qs).
delta_t_nd(Q0s, [A|W], QsF) :-
   delta_n(Q0s, A, Qsigs), delta_t_nd(Qsigs, W, QsF).

une([], A, A).
une([U|X], Y, [U|Z]) :- not(pertenece(U,Y)), une(X,Y,Z).
une([U|X], Y, Z) :- pertenece(U,Y), une(X,Y,Z).

pertenece(E,[E|_]).
pertenece(E,[_|R]) :- pertenece(E,R).

% autómata finito no determinista con transiciones lambda

% la definicion de lambda_clausura

lambda_clausura(Q, Clausura) :-
   delta_l(Q,'\lambda', Ps),
   lambda_clausura_lista(Ps, Clausura_de_Ps),
   une([Q], Ps, Pss), une(Pss, Clausura_de_Ps, Clausura).
lambda_clausura(Q, [Q]) :- atom(Q).

lambda_clausura_lista([Q], C) :- lambda_clausura(Q,C), !.
lambda_clausura_lista([P|RPs], Clausura ):-
   lambda_clausura(P, Clausura_de_P),
        lambda_clausura_lista(RPs, Clausura_Resto),
   une(Clausura_de_P, Clausura_Resto, Clausura).

% modifica los métodos de delta_t_nd para usar lambda_clausura

delta_t_l_inicia(Q, W, F) :- delta_t_l([Q], W, F).

delta_t_l(Qs, [], Qs).
delta_t_l(Q0s, [A|W], Clausura) :-
   lambda_clausura_lista(Q0s, Clausura_Q0s),
   delta_l(Clausura_Q0s, A, Qsigs),
   delta_t_l(Qsigs, W, QsF),
        lambda_clausura_lista(QsF, Clausura).

delta_l([], _, []).
delta_l([Qo|R], A, RR) :-
   not(delta_l(Qo, A, _)),
   delta_l(R, A, RR).
delta_l([Qo|RQs], A, S) :-
   delta_l(Qo, A, Qss), delta_l(RQs, A, NQs),
   une(Qss, NQs, S).

% representa el automata con transiciones de cadena vacía

delta_l(q0, 0, [q0]).
delta_l(q0, '\lambda', [q1]).
delta_l(q1, 1, [q1]).
delta_l(q1, '\lambda', [q2]).
delta_l(q2, 2, [q2]).

% salida del ejemplo en la figura 2.8
%
%[debug] ?- delta_t_l_inicia(q0, [0,2], L).
%   Call: (8) delta_t_l([q0], [0, 2], _G391) ? leap
%   Call: (9) lambda_clausura_lista([q0], _G474) ? leap
%   Call: (11) lambda_clausura_lista([q1], _G477) ? leap
%   Call: (13) lambda_clausura_lista([q2], _G480) ? leap
%   Exit: (13) lambda_clausura_lista([q2], [q2]) ? leap
%   Exit: (11) lambda_clausura_lista([q1], [q1, q2]) ? leap
%   Exit: (9) lambda_clausura_lista([q0], [q0, q1, q2]) ? leap
%   Call: (9) delta_t_l([q0], [2], _G552) ? leap
%   Call: (10) lambda_clausura_lista([q0], _G551) ? leap
%   Call: (12) lambda_clausura_lista([q1], _G554) ? leap
%   Call: (14) lambda_clausura_lista([q2], _G557) ? leap
%   Exit: (14) lambda_clausura_lista([q2], [q2]) ? leap
%   Exit: (12) lambda_clausura_lista([q1], [q1, q2]) ? leap
%   Exit: (10) lambda_clausura_lista([q0], [q0, q1, q2]) ? leap
%   Call: (10) delta_t_l([q2], [], _G629) ? leap
%   Exit: (10) delta_t_l([q2], [], [q2]) ? leap
%   Call: (10) lambda_clausura_lista([q2], _G628) ? leap
%   Exit: (10) lambda_clausura_lista([q2], [q2]) ? leap
%   Exit: (9) delta_t_l([q0], [2], [q2]) ? leap
%   Call: (9) lambda_clausura_lista([q2], _G391) ? leap
%   Exit: (9) lambda_clausura_lista([q2], [q2]) ? leap
%   Exit: (8) delta_t_l([q0], [0, 2], [q2]) ? leap
% L = [q2] .

% fin del programa

El aviso amamantar es una inversión

2011-10-28T10:53:00.000-04:30

Tengo razones para creer que quien diseñó este aviso, publicado por la ULA hace 16 años, pretendió ayudar a las madres y padres a decidir si deben o no amamantar a sus bebés. El diseñador interpreta que la madre, particularmente, está en una disyuntiva típicamente económica: 1) lo amamanto, con todo el esfuerzo que requiere, posiblemente efectando las otra actividades que realizo, incluso el trabajo ó 2) lo alimento con leche de fábrica (es de vaca normalmente, pero es sometida a tratamiento industrial) que cuesta algún dinero, pero quizás no importe frente a las consecuencias de 1). El diseñador, con cierta habilidad instrumental, le dice que amamantar es también una inversión que se retribuirá en los beneficios que menciona el afiche.

Insisto que este es un ejercicio económico, incluso si no se llegan a sacar las cuentas con dinero. Un ejercicio no económico sería, por ejemplo, que los padres decidan que amamantar es tan precioso como experiencia de vida que lo harán no importa cuanto tengan que "invertir" en eso. Eso sería económicamente irracional (según los clásicos de la economía, a mi juicio), pero humanamente divino!

Acá surgió el tema de la lógica democrática: Será que mi argumento es correcto si y sólo sí la mayoría está de acuerdo conmigo?

Qué opinan?

El aviso sobre los antidepresivos

2011-10-28T10:38:00.000-04:30

Permítanme compartir uno de los avisos que trajimos a clase. Sobre este hubo una discusión que, a mi juicio, terminó cuando todos estuvimos de acuerdo que se trata de un ejercicio de mercadeo que expone, indebidamente, a algunas personas al riesgo de tomar antidepresivos. Incluyo, además, el análisis que gentilmente hiciera Klaudia Laffaille, egresada del postgrado en Modelado y Simulación:

Creo que es sencillo, hay un doble discurso, el escrito y el que aparece en las imágenes "debe hacer todo esto para salir de una depresión y sin embargo, no lo garantizamos. Mantenerse ocupado (fíjate que la foto es en una playa bajo una sombrilla), tener quien lo acompañe y pueda confiar (se trata de una pareja), aumente su autoestima (y sale mirándose en un espejo, no existe un método para eso)... etc..." En fin, el discurso escrito plantea que quiere ayudarte pero los dibujos te muestran que no tienes todo eso, entonces viene el mensaje subliminal "Si quiere un atajo, tómese esto!" No hay conflicto de intereses, solo uno, demostrarte que no tienes alguna o varias de las cosas que la sociedad impone a quien quiere calificarse como exitoso, entonces... "Tome nuestros antidepresivos..."

El Libro Logica Practica y Aprendizaje Computacional ha sido publicado

2011-10-28T10:05:00.000-04:30



ISBN-13:: 978-3-8465-6233-8
ISBN-10:: 3846562335
EAN:: 9783846562338
Book language:
Blurb/Shorttext:: Este libro es una composición atrevida de tres temas, uno para cada capítulo: lógica, simulación y aprendizaje automático. La idea que conecta los tres temas es la noción de agente. En el capítulo 1 se revisa una forma de lógica, la Lógica Computacional, y se le usa como lenguaje de alto nivel para modelar un conjunto de agentes y sus formas de razonamiento. En el capítulo 2, el foco del libro gira hacia el modelado de los ambientes en los que los agentes se desenvuelven, objetivo habitual de la simulación de sistemas, por lo que se presenta una familia de lenguajes usados para describir sistemas multi-agentes. En el capítulo 3, el modelo básico de agente es ampliado para incorporarle capacidades de aprendizaje de reglas lógicas. Este esfuerzo culmina con una demostración práctica de la capacidad de estos agentes aprendices para servir a tareas de optimización basada en simulación. En todo el libro, el lenguaje de modelado de los agentes es una forma de lógica, la Lógica Computacional, que, como se ilustra a todo lo largo del texto, adquiere un carácter práctico que el lector sabrá juzgar.
Publishing house:: Editorial Académica Española
Website:: http://www.eae-publishing.com/
By (author) :: Jacinto A. Dávila Q.
Number of pages:: 160
Published at:: 2011-10-22
Stock:: In stock
Category:: Informatics, IT
Price:: 49.00 €
Keywords: Lógica Computacional, Simulación, Aprendizaje Automático, Agentes

Para ver como lo usamos, los invitamos al:

Curso de Agentes y Lógica Computacional

Bitacora 02: Logica B2011. Razonamiento hacia atras

2011-10-28T09:58:00.000-04:30

Saludos,

Esta semana las sesiones presenciales estuvieron dedicadas al análisis de los avisos y a la revisión del capítulo 2 del texto guía, cuya lectura completamos.

http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/capitulo02.html

La zorra y el cuervo es un cuento ancestral que contiene una moraleja que se puede resumir en: tenemos que pensar antes de actuar. El Prof. Kowalski usa los personas de ese cuento para ilustrar su propuesta de agentes reactivo (el cuervo, en esa historia) y proactivo (la zorra).

El tema central de la lección, sin embargo, es el razonamiento hacia atrás. Una estrategia para pensar que dice al hacerlo uno puede reducir una meta a sus submetas, haciéndo la conexión con algunas reglas lógicas.

Les decía que en clase que estamos muy familiarizados a una forma de razonar que usa esta forma de representar "si A entonces B", para construir un argumento con esta forma:

si A entonces B
A
por lo tanto, B.

He usado la palabra "forma" varias veces a propósito para ilustrar las diversas acepciones del término que usamos en el curso. En cualquiera de esos casos, una forma aspira a ser más que una palabra o símbolo particular. Ese fue uno de los detalles de fallaron en la tarea 1.

Las formas se pueden "instanciar" para convertirlas en las expresiones que usamos para transmitir un mensaje particular. Por ejemplo, en si A entonces B, podemos reemplazar la A por "emergencia" y la B por "pulse el botón" y obtenemos una nueva instancia, más particular, de aquella forma en el regla:

si emergencia entonces pulse el botón.

La forma de razonamiento que estoy mostrando es tan conocida que tiene un hermoso nombre en latín: "modus ponens".

Pero no es para nada la única forma de razonamiento lógico. En este capítulo conocimos, muy rápidamente, otra muy importante en lógica computacional.

A partir de:

Yo tengo el queso si lo sujeto.

y

Yo quiero tener el queso.

obtengo:

lo sujeto.

La forma general de este argumento es (observen con cuidado!):

A si B.
no A.
por lo tanto, no B.

Se le llama "modus tollens" y cómo llegamos desde ella hasta el procedimiento para reducir metas en submetas es parte de la historia sensacional de la programación lógica. Sigan leyendo a Kowalski.

La clase nos llevó a una muy interesante discusión sobre los avisos. Además de los que algunos de Uds entregaron, trajimos un par de avisos más a discusión y nos permitieron conversar sobre las intenciones profundas de quienes los escribieron. Eso ya es un gran logro y me alegra poder atribuírselo al curso de lógica.

Pero, además, sugieron temas muy importante, como ese de la validez de los argumentos y la "lógica democrática".

Voy a preparar otro mensaje al respecto. Por lo pronto, les sugiero releer el capítulo 2 y preguntar todo lo que se les ocurra.

Gracias.

Bitacora 01: Logica B2011. El aviso del Metro

2011-10-20T12:27:00.000-04:30

Bitácora de Jacinto Dávila: Bitacora 01: Logica B2011. El aviso del Metro: Saludos, Esta semana revisamos completamente el capítulo 1 del texto del profesor Kowalski dedicado a analizar las formas lógicas subyacen...

Bitacora 01: Logica B2011. El aviso del Metro

2011-10-20T11:52:00.000-04:30

Saludos,

Esta semana revisamos completamente el capítulo 1 del texto del profesor Kowalski dedicado a analizar las formas lógicas subyacentes al aviso del Metro.

http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/capitulo01.html

La lección central es que hay varias formas superficiales (es decir, en la superficie, en el lenguaje natural) que corresponden a una forma interna principalmente: la condicional, es decir, si condiciones entonces conclusiones, característica de la lógica computacional, clásica y matemática.

Estaremos estudiando esa forma condicional y la usaremos para codificar las estructuras de conocimiento de un agente de software para modelado y computación.

Pero en este capítulo y en esta parte del curso enfatizamos el uso de esa y otras formas lógicas para modelar la comunicación humana. De hecho, destacamos los aporte que hace la lógica al escritor que pretende comunicar alguna necesidad a través de un aviso público.

Como quedamos en clase, les pido que nos ayuden con un experimento de análisis de avisos públicos. Para ello, seleccionen el aviso que les parezca mejor y describan:

1.- El contexto, es decir, la situación o circunstancias en la que el aviso será leído.
2.- La intención de quien lo escriba, desde luego, hasta donde se puede saber.
3.- El efecto pretendido, es decir, cómo se supone que cambiará el estado mental de quien lo lee. De nuevo, hasta donde se pueda saber. Muchas veces, se lo oculta. Especialmente si se trata de un ejercicio de marketing.
4.- Las forma lógicas que Ud identifica en el aviso.

Para que tengan una idea general, acá va mi análisis del aviso del Metro de Caracas (que también incluyo):

1.- El contexto es el devenir cotidiano del metro, con pasajeros que quieren ir de un punto a otro de la ciudad con cierta prisa. El hecho de que el tren se desplace bajo tierra y el espacio de cabina sea limitado y siempre escaso para la cantidad de personas, agrega otros elementos a la vulnerabilidad de los ciudadanos frente a posible situaciones de emergencia. Los pasajeros dependen, casi completamente, de la ayuda de los operadores en caso de una emergencia.

2.- El aviso colocado justamente debajo del enorme botón rojo, pretende decirle al usuario para qué sirve el botón. Pero inmediatamente (con las mismas letras, que sugiere que se lea todo junto) le advierte que SOLO se le debe usar para indicar al operador de la emergencia en el vagón. Al parecer, el operador o la organización están muy preocupados por que sólo se le use en esas circunstancias particulares, impresión que se confirma con el texto más pequeño por debajo que advierte sobre las consecuencias de usarlo indebidamente: demoras (justo lo que prácticamente ningún pasajero quiere) y "sanciones severas"). Esa manera de advertir de las consecuencias confirma la impresión de que el aviso es para procurar que el botón se use correctamente. La amenaza es desmedida y muy vaga, lo cuál la hace aterradora. Cualquier persona lo pensará dos veces antes de usar el botón. Pero, ¿eso es lo que queremos que pase en una emergencia?. No es lo que sugiere el aviso del metro de Londres, de acuerdo al análisis de Kowalski.

3.- El texto anterior bosqueja el efecto pretendido. Advertir el usuario de que es un botón para usar "correctamente", so pena de sufrir terribles consecuencias. Se podría decir que pretende asustar al usuario para que cuando se encuentre en una situación de emergencia, seguramente asustado, haga el balance de cuál susto es mayor. No muy gentil en mi opinión.

4.- La palabra SOLO es la clave para llegar a la forma lógica que propongo:

presione el botón si y sólo si está en una emergencia.

Como vimos en clase, y lo propuso José, la expresión:

si está en una emergencia, presione el botón

Es una forma útil que conecta la situación con la acción rápidamente.

Sin embargo, el texto que se usa en el metro de Caracas, sugiere antes esta otra forma:

si presiono el botón, estoy en un emergencia.

Lo que podría lanzar al usuario a un proceso de verificación (¿realmente es una emergencia?. ¿Me irán a "sancionar severamente" si la "autoridad" cree que es no una emergencia?) o, incluso, en un bucle o loop (botón -- emergencia -- botón -- emergencia ..).

Nada útil para un angustiado usuario.

¿Ven a qué me refiero?

Pendiente a sus comentarios a la lista. Ojo!. No todos los análisis tiene que ser en contra. Argumentos a favor de ciertos textos son bienvenidos!.

No olviden enviarme una fotografía personal. No tiene que ser de carnet, pero tampoco muy vieja. Es para colocar acá y que todos podamos conocer las caras y nombres (de pila, sin detalles personales) de los participantes en el curso.

Saludos.

BNF en BNF

2011-10-17T14:03:00.000-04:30

Excelente trabajo de la Wikipedia http://en.wikipedia.org/wiki/Backus%E2%80%93Naur_Form

Plan del curso de Teoria de la Computación

2011-10-17T07:18:00.000-04:30

Saludos,

A continuación el plan del curso de Teoría de la Computación. El material básico está disponible en línea por bondad de la Prof. Hilda Yelitza Contreras, aqui:

http://webdelprofesor.ula.ve/ingenieria/hyelitza

Tenemos pautado las evaluaciones siguientes:

Primer parcial: lunes, 7 de Noviembre de 2011.
Segundo parcial: lunes 28, de Noviembre de 2011.
Tercer parcial: miércoles, 18 de Enero de 2012.
Recuperativo: lunes, 23 de Enero de 2012.

El plan general puede verse en esta imagen:

Con mas de detalle y permitiendo flexibilidad para ajustes en el semestre:

Plan de Evaluación. Teoría de la Computación

Unidad I: Autómatas finitos y Expresiones Regulares.
Unidad II: Gramáticas Libres de Contexto.
Unidad III: Lenguajes Libres de Contexto y Autómatas de Pila.
Unidad IV: Máquinas de Turing.

3 parciales. 20% el primero. 30% el segundo y 50% el último. 1 recuperativo que sustituye al peor.

Planificación del curso de Teoría de la Computación
Semestre B2011
Profesor: Jacinto Dávila

Semana	Día	Contenido
1	1	Presentación del curso, plan de evaluación, repaso de conceptos básicos (conjuntos, inducción matemática), la historia de A. Turing, reflexiones sobre una práctica para una teoría (qué es un lenguaje de programación).
2	1	Autómatas Finitos (AF) Deterministas (AFD). Ejemplos y ejercicios (Grafos, Digrafos, Relaciones y Funciones). Seleccionando lenguajes de programación y aplicaciones para ejercicios (posix, grep, sed, awk, gedit, netbeans, eclipse, emacs, shells, xml, perl, c, c++, java, php, javascript, phyton, prolog, hasckel)
	2	Autómatas Finitos No Deteministas (AFND). Cómo reducir un AFND a un AFD. Ejemplos y ejercicios.
	3	Programación de un autómata finito.
3	1	Repaso. Editores (vi, gedit, emacs, netbeans).
	2	Autómatas con Salidas: Moore y Mealy. Relación entre Moore y Mealy. Ejemplos y ejercicios.
	3	Expresiones regulares: definición, ejemplos y ejercicios. Posix, Grep, Awk.
4	1	Equivalencia entre AF y expresiones regulares. Perl
	2	Más de la equivalencia entre AF y expresiones regulares. Revisión.
	3	Propiedades de los lenguajes regulares: Lema del bombeo.
5	1	Parcial 1.
	2	Propiedades de los lenguajes regulares: propiedades de clausura.
	3	Propiedades de los lenguajes regulares: algoritmos de decisión.
6	1	Propiedades de los lenguajes regulares: minimización. Ejemplos.
	2	Gramáticas: definición, clasificación de Chomsky, Gramáticas regulares, Gramáticas libres de contexto, GLC. Ejemplos.
	3	Repaso. (Shell)
7	1	Más sobre GLC: árboles de derivación, ambigüedad. Simplificación de GLC: eliminación de transiciones nulas (Árbol).
	2	Más sobre simplificación de GLC: eliminar producciones unitarias, símbolos inútiles. Forma Normal de Chomsky (FNC).
	3	Más sobre simplificación de GLC: Forma Normal de Greybach (FNG).
8	1	Parcial 2.
	2	Autómatas de Pila (AP): Definición, funcionamiento. Ejemplos.
	3	Tipos de autómatas de Pila: equivalencia entre AP de Estado Final y AP por Pila Vacía. Relación GLC y AP. Ejemplos.
9	1	Más de la relación GLC y AP. AP deterministas.
	2	XML para un lenguaje libre de contexto.
	3	Repaso (c, c++, java, php, javascript, phyton)
10	1	Propiedades de los lenguajes libre de contexto (LLC) : Lema del bombeo.
	2	Propiedades de los lenguajes libres de contexto (LLC): Lema de Orden, propiedades cerradas. Ejercicios.
	3	Propiedades de los lenguajes libres de contexto (LLC): Algoritmos de decisión y parser CYK.
11	1	Repaso (prolog y hasckel)
	2	Máquinas de Turing (MT): modelo básico. La hipótesis de Church/Turing. ¿Cómo podría computarse de otra manera?
	3	Modelos extendidos. Programación de máquinas de turing. Ejemplos.
12	1	MT Calculadora de funciones, MT generadora de lenguajes. Ejemplos.
	2	MT como modelo de la computación. Los límites de la computación.
	3	Parcial 3.
13	1	Recuperativo.

Bitacora 00: Logica B2011

2011-10-10T11:23:00.000-04:30

Saludos,

Reciban la tercera bienvenida al curso de lógica.

Por lo pronto, quiero asegurarme de que todos reciben mis mensajes y que tienen sus direcciones afiliadas a la lista del curso. La lista pgcomp_logica en ula punto ve la administra Taniana Rodriguez (taniana en ula punto ve) y se recomienda enfáticamente a todos los estudiantes del curso, incluso a los del postgrado enmodelado y simulación, que se registren (enviando un email а Taniana). Así no perderán la información

El plan general del curso está en:

http://webdelprofesor.ula.ve/ingenieria/jacinto/logica/agentes-y-logica-computacional.html

El libro que iremos revisando está, en línea, aquí:

http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/logica-de-agentes.html

Habrá dos evaluaciones obligatorias presenciales (PRESENCIALES). El primer parcial después de unidad 7, el 14 de Diciembre y el segundo al final del programa el 15 de Febrero del 2012.
Habrá también una evaluación PRESENCIAL recuperativa, como expliqué el miércoles (y volveré a explicar más adelante). Será una semana después del último parcial, el 22 de Febrero.

Los estudiantes a distancia por favor, recuerden que si no he respondido a sus correos electrónicos en el lapso de una semana, se perdieron. Favor insistir entonces o contactarme a través de Luisa o Taniana.

La próxima semana no tendremos clases presenciales (Conmemoración del 12 de Octubre).

De nuevo, bienvenidos al curso de Lógica B2011. Anexo el diagrama Gantt con la planificación detallada.

Gracias.

Calificaciones Definitivas Matematicas Discretas A2011

2011-09-22T15:18:00.001-04:30

Después de las consideraciones de hoy, estas son las calificaciones definitivas.

	CI	Calificación FINAL
1	V019609656	10
2	V018924679	10
3	V015031562	0
4	V019144828	13
5	V015825742	1
6	V018458571	6
7	V019144785	7
8	V018797123	3
9	V013896404	1
10	V015774434	6
11	V017894431	5
12	V017340603	3
13	V009010193	10
14	V018925145	7
15	V018873885	14
17	V018471885	0
16	V019609203	0
18	V019159102	2
19	V016535617	4
20	V018965919	11
21	V011464104	4
22	V017269535	7
23	V018964136	5
24	V015826429	12
25	V018125669	1
	Matemáticas Discretas A2011. Calificación definitiva.
		5

Calificaciones Finales Matematicas Discretas A 2011

2011-09-21T22:08:00.000-04:30

Estas son las calificaciones finales (incluye el recuperativo) que serán entregadas a OREFI este viernes próximo. Algunos de los proyectos recuperativos no fueron aceptados por razones que se explican por el correo electrónico.

La Magia del Anís: Dialogo de 10 milenios

2011-08-29T19:10:00.000-04:30

Continuando con la Magia del Anís

Qué le dijo el dientes de sable a la mastodonta?

Calificaciones preliminares matemáticas discretas A2011

2011-08-29T15:22:00.001-04:30

Noten que incluye el orden de presentación de los proyectos, en el CESIMO a partir del lunes 12 de septiembre.

CI	Parcial 1	Parcial 2	Parcial 3	Recuperativo	Nota Previa	Orden presentación proyecto
V018873885	18	11	10		12	1
V009010193	16	6	7		9	2
V019609656	13	3	9		8	3
V019144785	11	4	8		7	4
V018924679	13	2	8		7	5
V015826429	13	2	8		7	6
V018925145	10	3	8		7	7
V019144828	10	8	5		7	8
V015774434	7	4	6		6	9
V018458571	7	1	7		5	10
V018964136		7	6		5	11
V017894431	8	3	4		5	12
V017269535	8	2	4		4	13
V011464104		3	6		4	14
V018965919	13	3			4	15
V016535617	10	5			4	16
V017340603	6		4		3	17
V018797123	13				3	18
V019159102	10				2	19
V015825742	6				1	20
V013896404		4			1	21
V018125669		3			1	22
V015031562					0	23
V018471885					0	24
V019609203					0	25

La Magia del Anís

2011-08-24T17:17:00.000-04:30

La Magia del Llano Grande del Anís

(Sobre el nuevo parque paleoarqueológico de Mérida)

La magia se siente en el Llano Grande del Anís, en el corredor vial entre Mérida y El Vigía. Cualquiera puede verificarlo con una corta visita al lugar. Un evento científico extraordinario: el descubrimiento de un yacimiento de megafauna fosilizada, ha culminado en la creación de un parque temático que alberga y es albergado por una comunidad de campesinos, artesanos y trabajadores.

No será la primera vez que se construye una infraestructura para exhibir unos hallazgos que entusiasman a la comunidad científica. En Venezuela existen unos cuantos lugares así que no pasan de ser curiosidades con apenas algún impacto turístico y con avisos en lenguaje sofisticado que sirven expresamente para establecer la ascendencia intelectual de algún centro científico sobre los hallazgos.

Lo que hace del Anís un proceso mágico es la relación especial que se ha creado entre '"los huesos" y la comunidad que allí vive y que nunca antes tuvo conocimiento de la materia. De hecho, es una comunidad con muchas carencias y una larga lista de problemas de servicios, infraestructura, atención médica, transporte y educación. Una lista que los cuatro consejos comunales que cubren esa geografía se han tomado el trabajo de elaborar y consultar, para efectos de priorizar, en asambleas de vecinos.

Es increíble como el yacimiento con los huesos fosilizados de una mastodonta, con una antigüedad estimada en unos 10mil años, descubiertos por una hermosa matriarca, Doña Ana Rosa y su hijo, mientras arreglaban las mangueras de agua al frente de su pequeña casa, se haya convertido en el catalizador de un proceso de organización comunitaria. Es realmente mágico y lo hace a uno desear que ocurrieran cosas similares por todo este país que tanto anhela organizarse y desarrollarse por sus propios medios y con sus propios motivos.

Más aún, la magia tiene otra faceta realmente especial: el papel de los científicos en este proceso. El Museo Arqueológico de la Universidad de Los Andes y el equipo de investigación GRIAL, liderados por una investigadora icono nacional, la Dra Jacqueline Clarac de Briceño, conocieron del hallazgo de la Sra Ana muy temprano y en una secuencia de eventos que restauran la confianza de nuestra gente en nuestra gente. Apenas la quijada de la querida mastodonta y algunos dientes fueron desplazados desde el lugar del hallazgo para la necesaria experticia científica. Los vecinos han dejado muy claro que ellos quieren preservar los huesos en el lugar y la Universidad, con una respuesta digna y de base, ha respondido haciendo que sean sus científicos los que se desplacen y se conviertan de hecho, en nuevos vecinos de la comunidad.

Así que, en los últimos 4 años, el Profesor Antonio Niño, un arqueólogo de mérito ya jubilable y El profesor Lino Meneses, un dinámico joven que podría estar justificando su academia sólo con sus publicaciones, para citar solamente a dos de ellos, se han convertido en actores comunales excepcionales que, sin alterar la dinámicas propias de la comunidad, les han acompañado en el proceso de apropiación del conocimiento y empoderamiento organizacional. De nuevo, uno no puede menos que desear que esta misma sinergia Universidad-comunidad ocurra por todo este país que tanto anhela organizarse y desarrollarse por sus propios medios y con sus propios motivos.

Toda esta magia culmina con la constitución de una cooperativa comunitaria que concreta uno de los objetivos acordados por las asambleas comunitarias: la creación de un parque, no un museo, que incluye (pero no se agota en) un centro cultural para la comunidad, pero es también un espacio mayor que contiene a la comunidad y preserva los yacimientos. Están aprendiendo a vivir con ese patrimonio paleontológico en sus patios y en su suelo.

Con la ayuda de varios vecinos, los científicos y el apoyo de la gobernación de Mérida, se han reservado tres espacios para el proyecto. La antigua gallera pasa de tener esa carga terrible de un lugar donde los animales son sacrificados por diversión y ganancia fácil, a ser el punto inicial del salto al pasado con aquellos otros animales fabulosos que allí vivieron y que ahora vuelven a la vida con la ayuda de jóvenes guías, de la misma comunidad, que explican los hallazgos y nos transportan a esa nueva prehistoria que transformará nuestra historia.

El segundo espacio es el lugar donde yace la mastodonta. Le llaman el sendero de interpretación paleontológica. Situado justo al frente de la bomba de PDVSA que sirve a todo el corredor de entrada a los túneles, como decimos en Mérida, un toldo tipo punto rojo sirve para que los guías le den la bienvenida al visitante y, desde allí, una caminata de unos 5 minutos los acerca a los restos fosilizados. El frágil galpón construído en torno a las excavaciones, para protegerlas de la lluvia, no parece muy vistoso. Pero uno, que ya tiene algún tiempo de vuelo, no puede dejar de entusiasmarse al ver el arreglo fabuloso de los huesos de todo el cuerpo de la mastodonta, casi perfectamente preservados. Por si fuera poco, los guías nos explican y luego señalan las dos huellas de felino descubiertas recientemente justo al lado de los restos de la mastodonta. ¿Quien puede dejar de soñar con un felino de hace 10mil años en estas montañas?.

El tercer espacio es el sendero de interpretación geográfica y geológica. En un genial giro pedagógico, la cooperativa ha dispuesto una caminata de unos 200 metros del otro lado de la comunidad, al pie de una loma que lleva hasta una cruz de misión. Desde allí, en medio de un sembradío de sábila y con un vigoroso y refrescante viento, se puede tener una vista panorámica del valle del rio Chama, desde la Sierra Nevada y hasta la entrada al valle del Mocoties. La vista es sensacional y las guías se aseguran, con la ayuda de binoculares, que uno no pierda detalle y pueda interpretar las disposiciones geográfica y hasta el color de la tierra.

El proyecto apenas comienza. La iniciativa es incipiente y necesita apoyo. Cada visita hará mucho bien. Además, son sólo 5 bolívares por adulto (para los tres espacios). Pero ya es justo decir que lo están logrando. Gracias!.

450 años después, las mismas creencias

2011-08-19T17:03:00.000-04:30

450 años después, las mismas creencias. Qué lástima!

A2011 Matematicas Discretas tercer parcial

2011-08-18T16:37:00.000-04:30

PREGUNTA 1. Contando números

¿Cuántos números de cinco cifras hay?

90000. Es decir, 9 x 10 x 10 x 10 x 10. Recuerden que si el cero se coloca al comienzo, ya no es de cinco cifras.

¿En cuántos de ellos todas las cifras son pares?

En 4 x 5 ^ 4 = 2500 casos. Noten que son 4 al principio porque el cero no puede estar allí.

¿En cuántos son todas impares?

5 ^ 5 = 3125 casos. Aquí sí van los cinco desde el principio.

¿En cuántos no figuran cifras menores que 6?

Es decir, solo quieren los números con las cifras 6, 7, 8 y 9. Son 4 ^ 5 = 1024 casos.

¿En cuántos no hay cifras mayores que 3?

Ahora son números con 1, 2, 3 y el 0 siempre que no vaya en la primera posición. Es decir, 3 x 4 ^ 4 = 768 casos.

¿Cuántos de ellos contienen a todas las cifras 1, 2, 3, 4, 5?

Todas las cifras 1, 2, 3, 4, 5 están contenidas en 5!=120 casos.

¿Cuántos contienen a todas las cifras 0, 2, 4, 6, 8?

Las cifras 0, 2, 4, 6, 8 aparecen en 4 x 4!=96 casos, los números que se pueden armar con esas cifras sin colocar el cero al comienzo.

PREGUNTA 2. Fórmula recurrente combinatoria

Considere como se forman las combinaciones de m tomados de n en n, C(m,n). Cada combinación contiene o no cada elemento. Las que no lo contienen son en total: C( _m-1_, n_ ). En las que lo contienen tal elemento puede estar en las posiciones 1, 2, ... , m mientras que los demás forman una combinación de _m-1_ elementos tomados de a _n-1_. Así que las que lo contienen son en total _1_ * C( _m-1_, _n-1_ ). Resulta entonces que C(m,n)= _____________________. Transcriba este razonamiento completando los espacios.

C(m,n) = C(m-1, n) + c(m-1,n-1)

PREGUNTA 3. conteo combinatorio

¿De cuántas maneras pueden colocarse 5 libros diferentes en un estante?

5! = 120

¿Cuántas colecciones de libros pueden hacerse con 10 libros entrando en cada colección 3 libros?

Equivale a preguntar de cuantas maneras de pueden combinar los 10 libros tomando de a 3 en 3, suponiendo que son todos diferentes. C(10, 3) = 120

Se dispone de cinco libros de matemática, 3 de física y 4 de biología. Cada libro es de un autor diferente. Calcular de cuantas maneras se pueden colocar todos ellos en un estante.

Como dice Navarro, puesto que se colocan todos y el orden importa (y son diferentes) el número es 12! = 479001600

Calcular de cuantas maneras diferentes pueden colocarse con la condición de que el primer libro sea de física y el último de biología.

La estructura de cada configuración es (física)(cualquier otro libro)(biología). En consecuencia, el número de variantes es 3*10!*4 = 43545600

Calcular de cuántas maneras diferentes pueden colocarse con la condición de que un libro determinado de física y otro también de matemáticas nunca estén juntos.

Consideren todos los grupos posibles (12!, de la primer respuesta) y réstenles los grupos en los que esos dos libros particulares estén juntos (que son 11!, es decir, es como si los dos libros se convirtieran en uno, pero falta considerar que esos dos pueden ir en 2!=2 formas diferentes. Es decir, 11!*2!). Con esto tenemos que el número de maneras es:

12! - 11! 2! = 399168000

PREGUNTA 4. Repartiendo objetos.

¿De cuántos modos se pueden distribuir 3n objetos diferentes ente tres personas, de forma que cada uno obtenga n objetos?

Fijando una configuración ordenada, le podríamos dar los primeros n a la primer persona, los n siguientes a la segunda y los restantes a la última persona. Una vez asignados, el orden de los objetos pierde su importancia. Así que tendríamos:

C(3n, n) * C(2n, n) = 3n!/(2n!*n!)*(2n!/(n!n!)) = 3n!/((n!) ^ 3)

maneras de repartirlos.

Fin de la evaluación

Sobre el tercer parcial y los proyectos

2011-07-15T12:27:00.000-04:30

Estimados estudiantes de matemáticas discretas,

No tenemos todavía una programación definitiva para el resto del curso, así que me permito proponer un plan para aliviar la incertidumbre. Lo discutiremos en la próxima ocasión.

El tercer parcial será el lunes 25 de Julio, 2pm, si no hay inconveniente alguno para llegar al salón de clases.

Si hubiere algún problema, nos veríamos el martes 26 de Julio, 2PM, en el lugar que ya todos me escucharon explicar.

Sobre los proyectos, me temo que tenemos que esperar las decisiones de las autoridades. Pero no serían para entregar el día del examen.

Confío que esto los ayude a concentrarse en el material que les dí en CD y que incluye estas guías:

http://webdelprofesor.ula.ve/ingenieria/jacinto/matematicas/induccion-matematica.pdf
http://webdelprofesor.ula.ve/ingenieria/jacinto/matematicas/combinatoria.pdf

Buena suerte.

Jacinto

Finitas y finitos

2011-07-04T23:06:00.000-04:30

La dos técnicas que hemos propuesto para los proyectos: Diferencias Finitas [1] y Elementos Finitos [2], tienen en común un ejercicio de discretización de los dominios de algunas de la funciones involucradas en el modelado. En cada caso, se tienen que definir ciertos puntos, o elementos del dominio, en los que será evaluada cierta función. Esa función normalmente representa la conducta de algun fenómeno o estructura en estudio y el dominio de la función corresponde con la que se haya seleccionado como variable independiente para estudiar ese fenónemo o estructura. Ambas técnicas se usan para modelar procesos de cambio (es decir, un fenómeno ocurriendo sobre una estructura), incluso cuando la variable independiente no es el tiempo. Por esta razón, suelen usarse a partir de un sistema de ecuaciones diferenciales.

No obstante ese objeto común, las técnicas son diferentes. La matemática de los elementos finitos es mucho más elaborada y en consecuencia más difícil de estudiar. La formulación de la forma variacional requerida por los elementos finitos requiere de conocimiento sobre espacios de banach, y esto queda probablemente fuera del alcance del tiempo disponible en este curso.

En consecuencia, vamos a refinar la propuesta de proyecto como sigue:

1.- Cada una y uno elige la técnica que prefiera.

2.- Selecciona un problema de referencia. Algún fenómeno o estructura sobre la que pueda hacerse preguntas concretas del tipo: ¿cuál será el valor de estas funciones para este conjunto discreto de valores de las variables independientes?. Problemas como los modelados por las ecuaciones de Navier-Stokes [3] son perfectamente aceptables.

3.- Identifica algún software para el cuál se pueda codificar el problema y generar soluciones. Las soluciones son, básicamente, los cálculos con las respuestas a la pregunta como la descrita en 2.

4.- Codifica el problema para ese software, ejecuta el software y recoge las soluciones en una presentación adecuada. Recuerden que las preguntas que se hacen tienen que tener un sentido práctico que Uds puedan explicar. Nada de "estoy usando la relación de Poisson" sin saber el porqué.

Puede ocurrir (y lo más probable es que ocurra) que Ud primero encuentra el software y realiza el trabajo en el orden inverso. Eso también es perfectamente aceptable.

De hecho, considerando el esfuerzo adicional sobre los elementos finitos, vamos a permitir construir sobre una solución existente. Se aceptan esfuerzos en equipo en torno al mismo software como [4], sobre el cuál se ha desarrollado toda base matemática para modelar ciertos problemas con elementos finitos. Este software [4] es un excelente ejemplo y podrían instalarlo y estudiarlo en equipo, eligiendo un problema particular [5] para presentarlo individualmente. Eso sí, confirmen conmigo los integrantes del equipo y sus objetivos antes de comenzar.

Otras aplicaciones de elementos finitos se pueden ver en [6], aunque el software parece no estar accesible. Acerca de diferencias finitas pueden ver también [7]-

Por último, vamos a dejar las presentaciones de los proyectos para el 25 y 26 de Julio, suponiendo que todo sigue normal esa semana. Así tendrán una semana más para preparar su presentación.

Si hubiere indicio alguno de problemas en la Hechicera, programaremos una reunión en la feria de comida del Centro Comercial Alto Prado. Ya les informaré por esta vía o por twitter (@jacintodavila)

Buena suerte.

Feliz Bicentenario de la Independencia!

Referencias:

[1] http://es.wikipedia.org/wiki/Diferencia_finita
[2] http://en.wikipedia.org/wiki/Finite_elements
[3] http://en.wikipedia.org/wiki/Navier%E2%80%93Stokes_equations
[4] http://www.cimec.org.ar/petscfem
[5] http://www.cimec.org.ar/twiki/bin/view/Cimec/CursoFEM
[6] http://es.scribd.com/doc/7424200/Elementos-Finitos-Aplicados-a-Ingenieria
[7] http://html.rincondelvago.com/metodo-de-diferencias-finitas.html

Induccion matematica

2011-06-23T13:17:00.000-04:30

Las guías están aquí:

http://webdelprofesor.ula.ve/ingenieria/jacinto/matematicas/induccion-matematica.pdf

http://webdelprofesor.ula.ve/ingenieria/jacinto/matematicas/lm-u2.pdf

Programas logicos para conjuntos de conocimiento

2011-06-23T13:10:00.000-04:30

% fusion.pl
%
% herramientas para fusiones programas y bases de conocimiento
%
% Inspiradas por el trabajo de Ramón Pino y Jose Luis Chacón
%
% autor: Jacinto Dávila
% Junio, 2011
%

% union de conjuntos
union([], X, X).
union([U|X], Y, [U|Z]) :- not(member(U,Y)), union(X,Y,Z).
union([_|X], Y, Z) :- union(X,Y,Z).

% intercepcion de conjuntos
intercepcion([], _, []).
intercepcion([U|X], Y, [U|Z]) :- member(U,Y), intercepcion(X,Y,Z).
intercepcion([_|X], Y, Z) :- intercepcion(X,Y,Z).

% resta de conjuntos
resta([], _, []).
resta([U|X], Y, [U|Z]) :- not(member(U,Y)), resta(X,Y,Z).
resta([_|X], Y, Z) :- resta(X,Y,Z).

% proposiciones en un programa
prop([], []).
prop([P|R], [Pr|RR]) :- pro(P, Pr), prop(R, RR).

pro(A, A) :- atom(A).
pro(no(A),A) :- atom(A). % literales negativo se escriben no(p).
pro(H :- B, L) :- pro(H, L1), pro(B, L2), union(L1, L2, L).
pro((A,B), [Pa|Pbs]):- pro(A,Pa), pro(B, Pbs).

% valuaciones de una lista de proposiciones
valuaciones([], []).
valuaciones([_], [[0], [1]]) :- !.
valuaciones([_|Resto], V) :-
    valuaciones( Resto, VResto ),
    expandall(0, VResto, VResto_0),
    expandall(1, VResto, VResto_1),
    append(VResto_0, VResto_1, V).

expandall(N, [V], [VE]) :- expand(N, V,VE).
expandall(N, [PV|R], [PVE|RR] ) :-
    expand(N, PV, PVE), expandall(N, R, RR).

expand(N, [E|R], [N,E|R]).
expand(N, [], [N]).

pv(P, V) :- write(P), nl, pr(V).

pr([]).
pr([V|RV]) :- write('('), prv(V), pr(RV).

prv([V]) :- write(V), write(')'), nl.
prv([V1|VR]) :- write(V1), write(','), prv(VR).

% verifica si cierta valuacion V de una lista de proposiciones L es un modelo de un programa dado
modelo([], _, _).
modelo([C|Pr], L, V) :- satisface((L,V), C), modelo(Pr, L, V).

satisface(V, A) :- cierto(A, V).

cierto(A, (L,V)) :- atom(A), posicion(A, L, N), posicion(1, V, N).
cierto((A,B), (L,V)) :- cierto(A, (L,V)), cierto(B, (L,V)).
cierto((A;B), (L,V)) :- cierto(A, (L,V)); cierto(B, (L,V)).
cierto(no(A), (L,V)) :- falso(A, (L,V)).
cierto(H:-B, (L,V)) :- not(invalida(H, B, (L,V))).

invalida(H, B, (L,V)) :- falso(H, (L,V)), cierto(B, (L,V)).

falso(A, (L,V)) :- not(cierto(A, (L,V))).

posicion(Atomo, [Atomo|_], 1).
posicion(Atomo, [_|R], NN ) :- posicion(Atomo, R, N), NN is N+1.

% ejemplos
% B1 P=[p,q,t,r], Pg=[p, t:-(p, no(q))]
% B2 P=[p,q,t,r] Pg=[no(q) :- no(r), no(r)].
% P=[p,q,t,r], valuaciones(P, Vs), member(V, Vs), Pg=[p, t:-(p, no(q))], modelos(Pg, P, V).

modB1(L) :- findall(V, (P=[p,q,t,r], valuaciones(P, Vs), member(V, Vs), Pg=[p, t:-(p, no(q))], modelo(Pg, P, V)), L).

modB2(L) :- findall(V, (P=[p,q,t,r], valuaciones(P, Vs), member(V, Vs), Pg=[no(q):-no(r), no(r)], modelo(Pg, P, V)), L).

comp(B, Bprima) :- valuaciones([p,q,t,r], U), resta(U,B, Bprima).

fusionb1b2(B) :-
       modB1(B1), modB2(B2),
    comp(B1, B1prima),
    comp(B2, B2prima),
    resta(B1, B2prima, B11),
    resta(B2, B1prima, B22),
    union(B11, B22, B),
    pv([p,q,t,r], B).

ifusionb1b2(B) :-
       modB1(B1), modB2(B2),
        intercepcion(B1, B2, B),
    pv([p,q,t,r], B).

Matematicas Discretas Segundo Parcial

2011-06-09T20:18:00.000-04:30

Saludos,

Disculpen la demora. Estas son las guías corregidas para el examen del lunes. Recuerden, por favor, que deben completar esos ejercicios y pensar en operadores sobre la clase de los conjuntos tipo base de conocimiento, como los que discutimos en clases.

http://webdelprofesor.ula.ve/ingenieria/jacinto/matematicas/conjuntos.pdf

http://webdelprofesor.ula.ve/ingenieria/jacinto/matematicas/estructuras-algebraicas.pdf

Mañana viernes, 10 a 12, consulta en el CESIMO y a las 3pm, Charla sobre el mercado de hardware de Venezuela, en el CC Tulio Febres, en el marco del 7mo Congreso Nacional de Software Libre.

Gracias.

Por qué no una alianza con Microsoft en la Universidad?

2011-05-25T16:38:00.000-04:30

Algunas personas nos han pedido, con mucha gentileza, que expliquemos porqué es incorrecta una alianza entre la Empresa Microsoft y la Universidad.

La respuesta corta es que Microsoft monopoliza conocimiento y esto contradice claramente el espíritu de la Universidad Pública.

La respuesta corta no es suficiente, desde luego, porque tenemos que explicar porqué decimos que Microsoft monopoliza conocimiento, implicando además que lo hará en cualquier acercamiento que tenga con la Universidad. Habría que explicar también si acaso otras empresas no hacen lo mismo y si no cabría una posición más firme en contra de cualquier alianza que comprometa el libre acceso al conocimiento (en la Universidad, al menos).

Como si todo eso fuese poco, habría que explicar que no nos mueve ninguna animosidad o sentimiento particular en contra de esta transnacional. Tampoco es retaliación por algo que estén haciendo los anglo-norteamericanos contra Venezuela. Se trata de un juicio racional que estamos dispuestos a defender más allá de apasionamientos. De hecho, tenemos que decir que pueden venir a la Universidad cuando gusten y que pueden esperar un comportamiento respetuoso de parte de los Universitarios, en particular de quienes no estamos de acuerdo con sus objetivos y sus políticas empresariales.

Esto último es muy importante. La Universidad no puede cerrarle las puertas a nadie. Así que, de la misma manera que Misión Sucre y el sistema de Orquestas Sinfónicas llegan hasta quienes están privados de libertad, la academia tiene que mantener los canales de comunicación abiertos incluso con quienes son conocidos por sus prácticas privativas de libertad contra los usuarios de las tecnologías de la información.

Estamos dispuestos a elaborar o discutir esas respuestas largas. Podemos adelantar que no se trata simplemente de atender formalidades o decretos nacionales como el 3390 (que, de hecho, no prohibe el software privativo. Sólo establece que el libre es prioritario). Se trata de elaborar razones trascendentes y también prácticas acerca del porqué el conocimiento, el tecnológico en particular, debe estar al alcance de todos.

No obstante, como ya hemos dicho antes [1], las razones trascendentes, sobretodo las colectivas, se enfrentan con algunas razones prácticas "locales" y esos intereses locales se las arreglan para evitar esa discusión larga.

Hasta donde hemos podido averiguar, la Universidad no ha hecho convenio alguno con Microsoft. La propia Vicerrectora, a quien le responde todo el Consejo de Computación Académica, y quien fuese sorprendida por un ejercicio de mercadeo [2] (haciendo el papel honorable de buena anfitriona), ha negado que exista. Y, claro, hacer o dejarse hacer mercadeo [3] no es un crimen tipificado en Venezuela.

Al parecer sí hay profesores interesados en que se establezca una alianza que permitiría adquirir ciertas licencias para usar el software de Microsoft en la plataforma administrativa. Pero nadie ha asumido la responsabilidad, por ahora.

Ojalá lleguemos a discutirlo.

[1] http://www.rebelion.org/noticia.php?id=54188
[2] http://www.aporrea.org/tecno/a122779.html
[3] http://www.aporrea.org/tecno/a76939.html

Ejercicios sobre Conjuntos

2011-05-18T12:25:00.000-04:30

La guía está en:

http://webdelprofesor.ula.ve/ingenieria/jacinto/matematicas/conjuntos.pdf

Consideren también, por favor, estos ejercicios del texto de Ayres:

Primer parcial de matematicas discretas A2011

2011-05-03T12:12:00.000-04:30

Estos son los documentos de referencia:

Guias:

http://webdelprofesor.ula.ve/ingenieria/jacinto/matematicas/logica.pdf
http://webdelprofesor.ula.ve/ingenieria/jacinto/matematicas/laminas-logica-introduccion.pdf

Libro (capitulo 1):

http://webdelprofesor.ula.ve/ingenieria/jacinto/libros/logica-practica-aprendizaje-computacional.pdf

y, claro, las bitácoras previas.

Reconstruccion del argumento de Sicko

2011-04-30T20:21:00.000-04:30

Este es un intento por reconstruir el argumento del documental Sicko, de Michel Moore (http://es.wikipedia.org/wiki/Sicko, http://en.wikipedia.org/wiki/Sicko) en un texto breve que pueda servir para apreciar la estructura. A saber:

Un servicio de salud universal y gratuito es la alternativa correcta en cualquier sociedad humana moderna,

porque

los humanos compartimos una condición ("compartimos el mismo bote") que nos convierte en vulnerables en circunstancias imprevisibles. Responder como equipo, que todos los que estén sanos atiendan a (paguen por) los que estén enfermos, es lo único realmente efectivo y lo más justo.

Un servicio universal de salud es económica y políticamente factible, como ilustran los casos canadiense, británico, francés y cubano. De hecho, EEUU es la única gran economía que no lo implementa.

Es efectivo (la salud de más personas es mejor) como ilustran los reportes médicos que comparan la salud en otros países con la estadounidense.

La socialización del servicio (es decir, atención universal y gratuita sin condiciones previas, especialmente las económicas) no implica la pérdida de calidad, como atestiguan los pacientes canadienses, británicos, franceses y los propios estadounidenses que han recibido ayuda en esos países y han disfrutado de servicios especiales (como la atención residencial y las vacaciones pagas por razones de salud).

La socialización tampoco significa sacrificar la motivación al logro de los médicos y personal de salud, ni la evaluación del rendimiento del personal por sus resultados, como ilustra el relato del médico del NHS británico. Ese mismo caso, ilustra también que no tiene que haber pérdida en el nivel de vida del personal de salud. La socialización tampoco significa que los médicos pierdan su libertad de ejercer su carrera en donde gusten. Y tampoco significa una carga insoportable de impuestos para la sociedad, como ilustra el caso de la pareja francesa y su ritmo de vida y de viajes por el mundo.

Las ventajas de un servicio de salud universal y gratuito son claras para todo el mundo, salvo para los estadounidenses. Esto último se debe a la propaganda anti-socialista, la propia omisión de sus medios de prensa, y la corrupción generalizada de sus representantes políticos, todo lo cual ha logrado ocultar la evidencia del fracaso del sistema basado compañías aseguradoras que maximizan sus ganancias, desechando la atención de los vulnerables.

fin del argumento

Una primera observación posible con esta reconstrucción es que Moore dedica buena parte del esfuerzo, antes que a apoyar su conclusión, a prepararse para defenderse de los contraargumentos. ¿Pueden verlo en este texto?

Validez Salarial

2011-04-19T20:36:00.000-04:30

En las primeras clases del curso de matemática discreta hicimos un ejercicio de levantamiento de información para minería de datos. Uno de los atributos levantado fue la respuesta a la pregunta: midiendo en salarios mínimos, cuánto espera Ud ganar al graduarse?. Las respuestas variaron entre 3 y 12 salarios mínimos, aunque varios respondieron "no sé".

En las últimas clases, les pedimos explicar el porqué. 13 (de los 25) respondieron.

A continuación coloco el análisis de sus respuestas desde la perspectiva de la validez lógica (sólo desde esa perspectiva). Es decir, vamos a tratar de explicar si cada argumento salarial es válido o inválido y, en alguna medida, explicaremos las razones.

Respuesta 1

No sé. Estaré recién graduada. Recién graduada aceptaré lo que venga. Haré experiencia. Teniendo experiencia voy a aspirar y exigir un sueldo muy alto.

Es válido que no sepa cuanto ganará si ha decidido aceptar cualquier cantidad y no siente ninguna curiosidad. Concluir que ganará un sueldo muy alto sólo por tener experiencia, sin embargo, no es válido.

Respuesta 2

La razón por la cual no sé cuando podría ganar aproximadamente al graduarme es porque tengo varios hobbies y pues me gustaría [ser] la dueña de mi propia empresa para poder tener tiempo para eso. Otra razón es que también me gustaría tener una empresa pero de otras cosas no tan relacionadas con mi profesión (por ejemplo: .. ).

No es válido ignorar el sueldo posible cuando uno tiene otros intereses adicionales al trabajo. Al contrario, en ese caso tendría que tratar de estimar con más cuidado cuando podría ganar trabajando una dedicación menor que le permita cultivar sus hobbies.

Sin embargo, es válido ignorar el sueldo posible en una profesión cuando uno no desea ejercerla realmente o tiene otras alternativas de ingreso mejores.

Respuesta 3

Pienso que debo ganar por lo menos 10 sueldos mínimos porque al graduarme espero que mi trabajo sea de gran importancia para la empresa a la cuál preste mis servicios.

Este es un argumento inválido, típico además, porque aún si el trabajo es de gran importancia para ella eso (por si solo) no implica que la empresa pueda pagar los 10 salarios mínimos al recién graduado.

Respuesta 4

Coloqué que quería ganar 3 veces el sueldo mínimo porque pensé que era lo suficiente, pero razonado y sacando cuentas, me dí cuenta que es muy poco. Si pudiera rectificar diría que quisiera ganar unos 8 sueldos mínimos ya que estoy estudiando una carrera bastante compleja donde estoy adquiriendo conocimientos valiosos que merecen un buen sueldo, además deseo vivir bien y para tal propósito necesito un buen sueldo.

La forma correcta de argumentar es, ciertamente, sacando esas cuentas (entre otras). Sin embargo, el argumento final (de la última oración) es inválido porque no hay ninguna conexión definitiva entre la complejidad de la carrera y el salario devengado. El valor de los conocimientos no siempre se mide en salarios . Más aún, no se mide regularmente de esa manera.

Hay una pizca importante de validez en la afirmación de que hace falta un buen sueldo para vivir bien pero, desde luego, habría que explicar qué es un buen sueldo (sin decir que es uno que nos permite vivir bien simplemente).

Respuesta 5

Espero ocurra un milagro y para el momento de entrar a mi área de trabajo haya una mejor calidad de vida para el trabajador, me considero una persona responsable y capaz de realizar el trabajo que se me pidiese en dicho momento, nada es imposible. La mejor manera de establecerse sería ganando una cantidad considerable, para poder o buscar campos en el exterior o formar una empresa propia.

No hay argumento en este párrafo.

Respuesta 6

El pago mensual de un trabajador es un sueldo. El sueldo, en la mayoría de los casos es sueldo mínimo. Un sueldo mínimo equivale a 1250 Bsf. Como para sacar esta carrera hay que luchar mucho, espero ganar 10 sueldo mínimos. Quiere decir que espero ganar 12.500 BsF.

Este casi es un argumento válido, pero para la conclusión de que 12500 = 1250*10 que, a estas alturas, es obvia.

No es válido suponer que los grandes luchares ganarán grandes salarios. (Es decir, encontrarán grandes luchadores que ganan poco. En muchos contextos, la lucha no importa. Importa el resultado).

Por otro lado, la afirmación que la mayoría de los sueldos (en Venezuela?) sean mínimos necesita soporte.

Respuesta 7

4 sueldos mínimos. Dada la calidad de mi formación y el hecho de ser un recién graduado merezco ganar esa cantidad, con derecho a aumento con las mejoras de mi trabajo.

Es inválido por razones dadas antes.

Respuesta 8

Quiero ganar 4 veces el sueldo mínimo porque considero que mi capacidad (preparación académica) lo merece y debido al campo donde deseo desempeñarme considero que es un sueldo que de primeras podría obtener.

Es inválido por razones dadas. El autor, además, pierde la oportunidad de explicar cómo su campo de trabajo paga el sueldo que quiere. Quizá es secreto (en cuyo caso, sería válido).

Respuesta 9

Aspiro ganar 4000 Bs como salario mínimo al graduarme por mis conocimientos adquiridos y esfuerzos aplicados en mi formación académica como estudiante de ingeniería.

Inválido por razones dadas. Es curioso que tantos crean que el esfuerzo en la carrera (que se supone es para vencer su ignorancia) merece el premio del salario alto sin más. Hasta donde sé, les pagarán por lo que hagan. No por lo hayan hecho antes. Eso sólo servirá como punto de partida, en el mejor de los casos.

Respuesta 10

No sé. Depende de la competencia en el mercado y de la responsabilidad del trabajo.

No es válido decir que no se sabe, alegando que depende la competencia en el mercado y de la responsabilidad del trabajo. Se podría decir que hay una gran incertidumbre acerca de la cantidad exacta (cuando no), pero si se ha llegado a considerar seriamente conceptos como esos, seguramente se tiene más información.

Respuesta 11

El sueldo mínimo no alcanza para nada, yo estudio ingeniería, para sustentar mis gastos, por lo tanto aspiro ganar 6 sueldos mínimos.

No llega a elaborar un argumento.

Respuesta 12

Los ingenieros ocupan altos puestos. Los altos puestos pagan más. Yo seré ingeniero. Yo cobraré más.

Es válido (para la conclusión Yo cobraré más) y está estructurado (aunque en lenguaje telegráfico). Noten, sin embargo, que depende de premisas que son discutibles, como esa de que los ingenieros ocupan altos puestos (qué es un alto puesto?).

Respuesta 13

Deseo ganar 9000 Bsf porque me lo merezco por mi gran desarrollo académico y tener una posición económica estable.

Inválido, por razones dadas antes.

Discutiremos algunas de esas respuestas en clase y les mostraré una manera mucho más efectiva de argumentar una o varias conclusiones.

Saludos.

10 DERECHOS Y PRINCIPIOS PARA USUARIOS DE INTERNET

2011-03-30T21:13:00.000-04:30

http://www.irpcharter.org/

Este documento define los diez derechos y principios fundamentales que deben formar la base de la gobernanza en Internet. Han sido recopilados por la Internet Rights and Principles Coalition (IRP), una coalición abierta de individuos y organizaciones que trabajan para defender los Derechos Humanos en el entorno electrónico. Los principios se basan en las normas internacionales sobre Derechos Humanos y se derivan de la Carta de la Coalición sobre los Derechos y los Principios Humanos para Internet.

Internet ofrece oportunidades sin precedentes para desarrollar los Derechos Humanos y desempeña un papel cada vez más importante en nuestra vida. Por lo tanto, es esencial que todos los agentes, tanto públicos como privados, respeten y protejan los Derechos Humanos en Internet. También se deben tomar medidas que garanticen que Internet funcione y evolucione de manera que cumpla y sea
respetuosa con estos derechos. Para hacer realidad un Internet basado en la Carta Universal de los Derechos Humanos, proponemos los siguientes derechos:

1) Universalidad e Igualdad

Todos los seres humanos nacen libres e iguales en dignidad y derechos, que deben ser respetados, protegidos y cumplidos en el entorno electrónico.

2) Derechos y Justicia Social

Internet es un espacio para la promoción, protección y cumplimiento de los Derechos Humanos y el avance de la justicia social. Toda persona tiene el deber de respetar los derechos de los demás en el entorno electrónico.

3) Accesibilidad
Toda persona tiene igual derecho a acceder y utilizar Internet de forma segura y libre.

4) Expresión y Asociación
Toda persona tiene derecho a buscar, recibir y difundir información libremente en Internet sin censura ni interferencias. Todo el mundo tiene derecho a asociarse libremente a través de Internet, con fines sociales, políticos, culturales o de otro tipo.

5) Confidencialidad y protección de datos

Toda persona tiene derecho a la privacidad On Line. Esto incluye el no ser vigilado, el derecho a utilizar cifrado y el derecho al anonimato. Todo el mundo tiene derecho a la protección de datos, incluyendo el control sobre la recolección, retención, transformación, eliminación y divulgación de sus datos personales.

6) Vida, la Libertad y Seguridad

El derecho a la vida, la libertad y la seguridad deben ser respetados, protegidos y cumplidos en Internet. Estos derechos no deben ser infringidos o utilizados para infringir los derechos de otros.

7) la Diversidad

La diversidad cultural y lingüística en Internet debe ser promovida, la innovación técnica y política deben alentar y facilitar la pluralidad de expresión.

8) Igualdad

Todo el mundo tendrá acceso universal y abierto a los contenidos de Internet, libre de priorizaciones discriminatorias, filtrado o control de tráfico por razones comerciales, políticas o de otro.

9) Normas y Reglamento

La arquitectura de Internet, los sistemas de comunicación y los formatos de documentos y datos se deben basar en estándares abiertos que garanticen la interoperabilidad completa, la inclusión y la igualdad de oportunidades para todos.

10) Gobierno

Los Derechos Humanos y la Justicia Social deben ser la base jurídica y normativa sobre la que operar en Internet. Esto sucederá de manera transparente y multilateral, con un Internet basado en los principios de la participación inclusiva y la rendición de cuentas.

Si quieres involucrarte con el desarrollo de la Carta IRP visita www.irpcharter.org, síguenos en nuestro canal e Twitter @netrights o únete al grupo de Facebook de los Principios de Facebook Internet Rights and Principles.

Por que no rar

2011-02-23T12:10:00.000-04:30

Esta es una de las preguntas frecuentes entre mis estudiantes, cuando preguntan claro está.

Si Ud envía un archivo comprimido .rar, generado con alguno de los programas que implementan el método patentado por Eugene Roshal y cuya licencia está en manos de WinRar, uno necesita un lector rar para descomprimirlo.

Existen lectores rar en software libre, basados en una versión inicial del método, pero probablemente no puedan leer los nuevos .rar. generados con otras variantes del método.

No puede existir software libre para generar el .rar pués los dueños de la licencia no lo permiten. Ver detalles en: http://en.wikipedia.org/wiki/RAR.

Es todavía posible que construir lectores rar para las últimas versiones del método. Pero no es tarea fácil pues el método no es público y hará falta una difícil reingeniería. La Fundación por el Software Libre está convocando la ayuda en ese sentido. Ver http://www.fsf.org/campaigns/priority-projects/#rarv3

Para la mayoría de los usos diarios en tradicional tar.gz (con gzip) es suficiente. Sin embargo, existen otros métodos de comprensión amigables al software libre (bgzip y lzip http://www.nongnu.org/lzip/lzip.html).

Por favor, no envíen archivos en .rar (y, desde luego, no me pidan que yo los envíe. No puedo).

Gracias

Calificacion final Matematicas Discretas B2010

2011-02-23T11:24:00.000-04:30

	Matemáticas Discretas B2010. Nota Definitiva
	CI	Calificación FINAL
1	V019794181	13
2	V015031562	0
3	V015825742	3
4	V019144785	0
5	V013896404	2
6	E080368057	0
7	V020431807	14
8	V009010193	0
9	V019995631	15
10	V019848208	11
11	V019422940	11
12	V020655966	11
13	V018456345	10
14	V020500316	15
15	V017662526	0
16	V018549553	10
17	V015826429	2
18	V019435165	14
19	V019609327	14

Respuestas a examen de combinatoria

2011-02-03T10:36:00.000-04:30

PREGUNTA 1. Formas de ir de un punto a otro

Un amigo turista está cruzando la ciudad entre el punto A y el punto B del diagrama anexo. Puede hacerlo por cualquier ruta, pero yo he decidido esperarlo en el punto C. ¿Cuál es la probabilidad de que me encuentre con él? (Indicación: Considere el número de formas de ir de A a C y luego de C a B sobre el número de formas de ir de A a B en general. Asuma que es un figura de n+m por n+m cuadras como hicimos en clase).

Solución:

Tal como dijimos en clase, la expresión general para el número de formas de ir de un extremo al otro, F(extremo, otro), es (cuadras x + cuadras y)!/((cuadras x)! (cuadras y)!).

En este caso, F(A,B) = (2*(m+n))!/((m+n)!^2). Este es el denominador de la expresión probabilística que buscamos prob(encontrar amigo) = F(A,C)*F(C,B) / F(A,B).
Es decir, que la expresión final es: prob(ea) = ((2*(m))!/((m)!^2)*((2*(n))!/((n)!^2)/(2*(m+n))!/((m+n)!^2

Uno de Uds argumentó hábilmente que lo que necesitamos en el numerador es sólo F(A,C), “porque una vez que llegue allí ya nos encontramos. No tiene que seguir”. Esa es una interpretación equivocada de la probabilidad a priori. Estamos contando posibilidades. No hechos. Pero eso sería un error en el curso de probabilidades. No en este.

PREGUNTA 2. Contando egresados

Imagine que toda escuela de sistemas se comporta como una pareja de conejos que luego de madurar por 5 años se reproduce generando otra escuela con igual comportamiento cada 5 anos desde entonces. Cada escuela produce 50 egresados cada año. ¿Cuantos egresados habrá al cabo de 30 años?.

Quinquenio	Número de Escuelas	Número de Egresados
0	1	0
1	1	250 = (5*50)
2	2	250+2550=750
3	3	750+3550=1500
4	5	1500+5550=2750
5	8	2750+8550=4750

PREGUNTA 3. Fórmula recurrente combinatoria

Considere como se forman las combinaciones de m tomados de n en n, C(m,n). Cada combinación contiene o no cada elemento. Las que no lo contienen son en total: C( __m-1__, __n___ ). En las que lo contienen tal elemento puede estar en las posiciones 1, 2, ... , m mientras que con los demás forman una combinación de _____m-1______ elementos tomados de a __n-1_____. Así que las que lo contienen son en total ___1_____ C( _m-1___, _n-1_ ). Resulta entonces que C(m,n)= C(m-1,n)+C(m-1,n-1). Transcriba este razonamiento completando los espacios.

PREGUNTA 4. Combinatoria

En una fiesta escolar hay 12 niñas y 15 niños. ¿De cuántas maneras se pueden escoger de entre ellos 4 pares para un baile?

Solución: Cuatro chicas pueden ser elegidas de C(12,4) maneras. Después de esto, elegimos de V(15,4) = C(15,4)*4! modos a los muchachos porque A con 1, B-2,C-3,D-4 no es igual que A-2,B-1,C-3,D-4. En total, se obtienen C(12,4)*C(15,4)*4! = 16.216.200 formas.

De cuántos modos se pueden dividir m+n+p objetos en tres grupos, de forma que en uno haya m objetos, en otro n, y en el tercero p?
Solución: (m+n+p)!/m!n!p!

¿Cuántas formas existen de escoger 12 personas de entre 17, si dos personas dadas de estas 17 no pueden ser elegidas juntas?

Solución: 12 personas tomadas de 17 en alguna de C(17,12). C(15, 10) es el número de casos en los que esas dos personas estarían juntas. Esto significa que el número que buscamos es C(17,12) – C(15,10)=3185.

Se dispone de 5 marcas de vino. ¿Cuántos sabores se pueden formar mezclando las 5 marcas cada vez en la misma proporción?
Solución: Sólo 1. Recuerden que marca y proporción definen el objeto.

PREGUNTA 5. Combinatoria

Se dispone de 10 soldados. ¿Cuántas filas de 5 soldados pueden hacerse?

Solución: De los 10 tomamos de a 5 y cada grupo de 5 puede rearreglarse de 5! formas diferentes. Son C(10,5)*5! = 30240.

A una persona le sirven en cada comida 4 platos diferentes de los 9 que son de su agrado. ¿Cuántas comidas diferentes puede hacer? (Se admite que dos comidas son diferentes cuando difieren en uno de los platos al menos).

Solución: Son 126 las combinaciones de los 9 tomados de 4 en cuatro C(9,4).

Se dispone de 16 puntos, 6 de ellos en línea recta y los demás NO están alineados de ninguna otra manera > 3. ¿Cuántas líneas rectas pueden trazarse?

Solución: Para cada línea recta necesitamos dos puntos: C(16,2) = 120. Debemos descontar las rectas que se podrían hacer con los 6 puntos alineados que son C(6,2) = 15. Finalmente, no olvidar agregar la recta de los 6 puntos. Es decir, 120-15+1 = 106.

Una habitación tiene 7 puertas. ¿De cuántas maneras puede una persona entrar y salir por puertas diferentes?
Solución: Si entra por A y sale por B no es igual a si entra por B y sale por A. En consecuencia son variaciones de 7 tomadas de 2 en 2. 42 maneras.
Fin de la evaluación.

Fin a la violación de derecho a la libertad de expresión en Egipto

2011-02-01T15:23:00.000-04:30

La Coalición por los Principios y Derechos en Internet urge al Gobierno Egipcio a terminar con la violación de los derechos del pueblo Egipcio a la libertad de expresión y a reunirse pacíficamente, eliminando las restricciones en el acceso a Internet y a las demás tecnologías de información y comunicación.

El acceso a Internet ha sido cerrado en Egipto. Las redes de telefonía móvil también han sido severamente limitadas. Las restricciones alcanzan también a los medios egipcios e internacionales, incluyendo el bloque sobre la señal de Al Jazeera y la confiscación de sus equipos.

Estas acciones constituyen una violación directa y muy seria de los derechos de los Egipcios y Egipcias a la libertad de expresión y de reunión. La libertad de expresión está consagrada en las leyes internacionales, en el artículo 19 de la convención internacional sobre derechos civiles y politicos (ICCPR), que Egipto ha ratificado. Este derecho incluye la libertad de procurar, recibir e impartir información a través de cualquier medio, sin importar fronteras. En la sociedad moderna, la Internet es fundamental para el disfrute del derecho a la libertad de expresión. Es, además, una herramienta esencial para las reuniones pacíficas, tanto en línea como presenciales, tal como está consagrada en el artículo 12 de la ICCPR.

El resto de esta declaración en inglés aquí.

http://internetrightsandprinciples.org/
http://www.facebook.com/internetrightsandprinciples
http://twitter.com/netrights

Bitacora Logica 10 B2010

2011-01-26T09:39:00.000-04:30

Saludos,

Ayer completamos la revisión del material de estudio del curso, con la lectura rápida del capítulo 10 y la unidad 11 de los textos guía:

http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/capitulo10.html

http://webdelprofesor.ula.ve/ingenieria/jacinto/ws/web-semantica.html

Les recomiendo, además, revisar los ejemplos del capítulo 1 de mi libro, en particular: El problema del disparo de Yale y el problema de cómo combatir la inflación del Prof. Carlos Domingo. Esos son problemas tipo examen.

A propósito, les recuerdo que la evaluación será el próximo martes, 1 de Febrero, 8am, en el salón de PGCOMP.

Respeto al proyecto, acordamos con nueva información, que la fecha de entrega es el viernes 11 de Febrero, medianoche.

Les agradezco su paciencia y dedicación durante todo el semestre y les deseo muy buena suerte en la próxima evaluación.

Jacinto

Guía de Combinatoria

2011-01-26T09:16:00.001-04:30

Formato ARFF para entrega de datos del proyecto Matematica Discreta

2011-01-24T22:15:00.000-04:30

Saludos,

Para los estudiantes de matemáticas discretas, este es el formato del que les hablé hoy para el ejemplo aquel del clima para salir a jugar:

--
@relation weather

@attribute outlook {sunny, overcast, rainy}
@attribute temperature real
@attribute humidity real
@attribute windy {TRUE, FALSE}
@attribute play {yes, no}

@data
sunny,85,85,FALSE,no
sunny,80,90,TRUE,no
overcast,83,86,FALSE,yes
rainy,70,96,FALSE,yes
rainy,68,80,FALSE,yes
rainy,65,70,TRUE,no
overcast,64,65,TRUE,yes
sunny,72,95,FALSE,no
sunny,69,70,FALSE,yes
rainy,75,80,FALSE,yes
sunny,75,70,TRUE,yes
overcast,72,90,TRUE,yes
overcast,81,75,FALSE,yes
rainy,71,91,TRUE,no
--

Con esos datos, el Sistema Weka produce este árbol de clasificación:

Recuerden que si tienen datos "dispersos" (es decir, con muchos "0"), se puede abreviar la escritura de cada fila así: Esto:

0, 26, 0, 0, 0, 0, 63, 0, 0, 0, “class A”
0, 0, 0, 42, 0, 0, 0, 0, 0, 0, “class B”

se escribiría así:

{1 26, 6 63, 10 “class A”}
{3 42, 10 “class B”}

Pero recuerden que los valores omitidos quedan en 0!.

Otro ejemplo con valores numéricos (como los que Uds tendrían que incluir para anotar los costos) y bien documentado (como los que esperamos Uds entreguen):

--
% 1. Title: Iris Plants Database
%
% 2. Sources:
%      (a) Creator: R.A. Fisher
%      (b) Donor: Michael Marshall (MARSHALL%PLU@io.arc.nasa.gov)
%      (c) Date: July, 1988
%
% 3. Past Usage:
%    - Publications: too many to mention!!! Here are a few.
%    1. Fisher,R.A. "The use of multiple measurements in taxonomic problems"
%       Annual Eugenics, 7, Part II, 179-188 (1936); also in "Contributions
%       to Mathematical Statistics" (John Wiley, NY, 1950).
%    2. Duda,R.O., & Hart,P.E. (1973) Pattern Classification and Scene Analysis.
%       (Q327.D83) John Wiley & Sons. ISBN 0-471-22361-1. See page 218.
%    3. Dasarathy, B.V. (1980) "Nosing Around the Neighborhood: A New System
%       Structure and Classification Rule for Recognition in Partially Exposed
%       Environments". IEEE Transactions on Pattern Analysis and Machine
%       Intelligence, Vol. PAMI-2, No. 1, 67-71.
%       -- Results:
%          -- very low misclassification rates (0% for the setosa class)
%    4. Gates, G.W. (1972) "The Reduced Nearest Neighbor Rule". IEEE
%       Transactions on Information Theory, May 1972, 431-433.
%       -- Results:
%          -- very low misclassification rates again
%    5. See also: 1988 MLC Proceedings, 54-64. Cheeseman et al's AUTOCLASS II
%       conceptual clustering system finds 3 classes in the data.
%
% 4. Relevant Information:
%    --- This is perhaps the best known database to be found in the pattern
%        recognition literature. Fisher's paper is a classic in the field
%        and is referenced frequently to this day. (See Duda & Hart, for
%        example.) The data set contains 3 classes of 50 instances each,
%        where each class refers to a type of iris plant. One class is
%        linearly separable from the other 2; the latter are NOT linearly
%        separable from each other.
%    --- Predicted attribute: class of iris plant.
%    --- This is an exceedingly simple domain.
%
% 5. Number of Instances: 150 (50 in each of three classes)
%
% 6. Number of Attributes: 4 numeric, predictive attributes and the class
%
% 7. Attribute Information:
%    1. sepal length in cm
%    2. sepal width in cm
%    3. petal length in cm
%    4. petal width in cm
%    5. class:
%       -- Iris Setosa
%       -- Iris Versicolour
%       -- Iris Virginica
%
% 8. Missing Attribute Values: None
%
% Summary Statistics:
%                 Min Max   Mean    SD   Class Correlation
%    sepal length: 4.3 7.9   5.84 0.83    0.7826
%     sepal width: 2.0 4.4   3.05 0.43   -0.4194
%    petal length: 1.0 6.9   3.76 1.76    0.9490 (high!)
%     petal width: 0.1 2.5   1.20 0.76    0.9565 (high!)
%
% 9. Class Distribution: 33.3% for each of 3 classes.

@RELATION iris

@ATTRIBUTE sepallength   REAL
@ATTRIBUTE sepalwidth    REAL
@ATTRIBUTE petallength    REAL
@ATTRIBUTE petalwidth   REAL
@ATTRIBUTE class    {Iris-setosa,Iris-versicolor,Iris-virginica}

@DATA
5.1,3.5,1.4,0.2,Iris-setosa
4.9,3.0,1.4,0.2,Iris-setosa
4.7,3.2,1.3,0.2,Iris-setosa
4.6,3.1,1.5,0.2,Iris-setosa
5.0,3.6,1.4,0.2,Iris-setosa
5.4,3.9,1.7,0.4,Iris-setosa
4.6,3.4,1.4,0.3,Iris-setosa
5.0,3.4,1.5,0.2,Iris-setosa
4.4,2.9,1.4,0.2,Iris-setosa
4.9,3.1,1.5,0.1,Iris-setosa
5.4,3.7,1.5,0.2,Iris-setosa
4.8,3.4,1.6,0.2,Iris-setosa
4.8,3.0,1.4,0.1,Iris-setosa
4.3,3.0,1.1,0.1,Iris-setosa
5.8,4.0,1.2,0.2,Iris-setosa
5.7,4.4,1.5,0.4,Iris-setosa
5.4,3.9,1.3,0.4,Iris-setosa
5.1,3.5,1.4,0.3,Iris-setosa
5.7,3.8,1.7,0.3,Iris-setosa
5.1,3.8,1.5,0.3,Iris-setosa
5.4,3.4,1.7,0.2,Iris-setosa
5.1,3.7,1.5,0.4,Iris-setosa
4.6,3.6,1.0,0.2,Iris-setosa
5.1,3.3,1.7,0.5,Iris-setosa
4.8,3.4,1.9,0.2,Iris-setosa
5.0,3.0,1.6,0.2,Iris-setosa
5.0,3.4,1.6,0.4,Iris-setosa
5.2,3.5,1.5,0.2,Iris-setosa
5.2,3.4,1.4,0.2,Iris-setosa
4.7,3.2,1.6,0.2,Iris-setosa
4.8,3.1,1.6,0.2,Iris-setosa
5.4,3.4,1.5,0.4,Iris-setosa
5.2,4.1,1.5,0.1,Iris-setosa
5.5,4.2,1.4,0.2,Iris-setosa
4.9,3.1,1.5,0.1,Iris-setosa
5.0,3.2,1.2,0.2,Iris-setosa
5.5,3.5,1.3,0.2,Iris-setosa
4.9,3.1,1.5,0.1,Iris-setosa
4.4,3.0,1.3,0.2,Iris-setosa
5.1,3.4,1.5,0.2,Iris-setosa
5.0,3.5,1.3,0.3,Iris-setosa
4.5,2.3,1.3,0.3,Iris-setosa
4.4,3.2,1.3,0.2,Iris-setosa
5.0,3.5,1.6,0.6,Iris-setosa
5.1,3.8,1.9,0.4,Iris-setosa
4.8,3.0,1.4,0.3,Iris-setosa
5.1,3.8,1.6,0.2,Iris-setosa
4.6,3.2,1.4,0.2,Iris-setosa
5.3,3.7,1.5,0.2,Iris-setosa
5.0,3.3,1.4,0.2,Iris-setosa
7.0,3.2,4.7,1.4,Iris-versicolor
6.4,3.2,4.5,1.5,Iris-versicolor
6.9,3.1,4.9,1.5,Iris-versicolor
5.5,2.3,4.0,1.3,Iris-versicolor
6.5,2.8,4.6,1.5,Iris-versicolor
5.7,2.8,4.5,1.3,Iris-versicolor
6.3,3.3,4.7,1.6,Iris-versicolor
4.9,2.4,3.3,1.0,Iris-versicolor
6.6,2.9,4.6,1.3,Iris-versicolor
5.2,2.7,3.9,1.4,Iris-versicolor
5.0,2.0,3.5,1.0,Iris-versicolor
5.9,3.0,4.2,1.5,Iris-versicolor
6.0,2.2,4.0,1.0,Iris-versicolor
6.1,2.9,4.7,1.4,Iris-versicolor
5.6,2.9,3.6,1.3,Iris-versicolor
6.7,3.1,4.4,1.4,Iris-versicolor
5.6,3.0,4.5,1.5,Iris-versicolor
5.8,2.7,4.1,1.0,Iris-versicolor
6.2,2.2,4.5,1.5,Iris-versicolor
5.6,2.5,3.9,1.1,Iris-versicolor
5.9,3.2,4.8,1.8,Iris-versicolor
6.1,2.8,4.0,1.3,Iris-versicolor
6.3,2.5,4.9,1.5,Iris-versicolor
6.1,2.8,4.7,1.2,Iris-versicolor
6.4,2.9,4.3,1.3,Iris-versicolor
6.6,3.0,4.4,1.4,Iris-versicolor
6.8,2.8,4.8,1.4,Iris-versicolor
6.7,3.0,5.0,1.7,Iris-versicolor
6.0,2.9,4.5,1.5,Iris-versicolor
5.7,2.6,3.5,1.0,Iris-versicolor
5.5,2.4,3.8,1.1,Iris-versicolor
5.5,2.4,3.7,1.0,Iris-versicolor
5.8,2.7,3.9,1.2,Iris-versicolor
6.0,2.7,5.1,1.6,Iris-versicolor
5.4,3.0,4.5,1.5,Iris-versicolor
6.0,3.4,4.5,1.6,Iris-versicolor
6.7,3.1,4.7,1.5,Iris-versicolor
6.3,2.3,4.4,1.3,Iris-versicolor
5.6,3.0,4.1,1.3,Iris-versicolor
5.5,2.5,4.0,1.3,Iris-versicolor
5.5,2.6,4.4,1.2,Iris-versicolor
6.1,3.0,4.6,1.4,Iris-versicolor
5.8,2.6,4.0,1.2,Iris-versicolor
5.0,2.3,3.3,1.0,Iris-versicolor
5.6,2.7,4.2,1.3,Iris-versicolor
5.7,3.0,4.2,1.2,Iris-versicolor
5.7,2.9,4.2,1.3,Iris-versicolor
6.2,2.9,4.3,1.3,Iris-versicolor
5.1,2.5,3.0,1.1,Iris-versicolor
5.7,2.8,4.1,1.3,Iris-versicolor
6.3,3.3,6.0,2.5,Iris-virginica
5.8,2.7,5.1,1.9,Iris-virginica
7.1,3.0,5.9,2.1,Iris-virginica
6.3,2.9,5.6,1.8,Iris-virginica
6.5,3.0,5.8,2.2,Iris-virginica
7.6,3.0,6.6,2.1,Iris-virginica
4.9,2.5,4.5,1.7,Iris-virginica
7.3,2.9,6.3,1.8,Iris-virginica
6.7,2.5,5.8,1.8,Iris-virginica
7.2,3.6,6.1,2.5,Iris-virginica
6.5,3.2,5.1,2.0,Iris-virginica
6.4,2.7,5.3,1.9,Iris-virginica
6.8,3.0,5.5,2.1,Iris-virginica
5.7,2.5,5.0,2.0,Iris-virginica
5.8,2.8,5.1,2.4,Iris-virginica
6.4,3.2,5.3,2.3,Iris-virginica
6.5,3.0,5.5,1.8,Iris-virginica
7.7,3.8,6.7,2.2,Iris-virginica
7.7,2.6,6.9,2.3,Iris-virginica
6.0,2.2,5.0,1.5,Iris-virginica
6.9,3.2,5.7,2.3,Iris-virginica
5.6,2.8,4.9,2.0,Iris-virginica
7.7,2.8,6.7,2.0,Iris-virginica
6.3,2.7,4.9,1.8,Iris-virginica
6.7,3.3,5.7,2.1,Iris-virginica
7.2,3.2,6.0,1.8,Iris-virginica
6.2,2.8,4.8,1.8,Iris-virginica
6.1,3.0,4.9,1.8,Iris-virginica
6.4,2.8,5.6,2.1,Iris-virginica
7.2,3.0,5.8,1.6,Iris-virginica
7.4,2.8,6.1,1.9,Iris-virginica
7.9,3.8,6.4,2.0,Iris-virginica
6.4,2.8,5.6,2.2,Iris-virginica
6.3,2.8,5.1,1.5,Iris-virginica
6.1,2.6,5.6,1.4,Iris-virginica
7.7,3.0,6.1,2.3,Iris-virginica
6.3,3.4,5.6,2.4,Iris-virginica
6.4,3.1,5.5,1.8,Iris-virginica
6.0,3.0,4.8,1.8,Iris-virginica
6.9,3.1,5.4,2.1,Iris-virginica
6.7,3.1,5.6,2.4,Iris-virginica
6.9,3.1,5.1,2.3,Iris-virginica
5.8,2.7,5.1,1.9,Iris-virginica
6.8,3.2,5.9,2.3,Iris-virginica
6.7,3.3,5.7,2.5,Iris-virginica
6.7,3.0,5.2,2.3,Iris-virginica
6.3,2.5,5.0,1.9,Iris-virginica
6.5,3.0,5.2,2.0,Iris-virginica
6.2,3.4,5.4,2.3,Iris-virginica
5.9,3.0,5.1,1.8,Iris-virginica
%
%
%--

Produce esta salida en Weka:

Buena suerte con la entrega.

Bitacora Logica 09 B2010

2011-01-19T11:06:00.000-04:30

Saludos,

Ayer leímos completamente el capítulo 9 del libro del profesor Kowalski, además de tener una discusión previa sobre estructuras semánticas.

http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/capitulo09.html

Esta unidad trata dos conceptos difíciles. Semántica es el primero y como explicaba en clase, está condicionado por una "decisión" que se pierde en los anales del tiempo.
En Lógica partimos con una ontología base que establece que el universo está compuesto de cosas (objetos o individuos) y relaciones entre ellos. Las implicaciones de esta especificación ontológica son difíciles de analizar. Normalmente nos preguntamos "qué queda fuera" de esa ontología.

Para motivar la discusión, los tentaba con algunos temas dificiles. Así fue como llegamos a el amor y las presuntas dificultades para hablar de él con lógica.

Acá va la referencia a la lámina que les mostré de mi curso de lógica anterior:

http://www.saber.ula.ve/handle/123456789/16215

Para aclarar el asunto semántico, les recomiendo revisar nuevamente el capítulo 1 de mi libro. Para el otro tema, las teorías del cambio, esta es una bitácora previa que puede ser útil.

http://jacinto-davila.blogspot.com/2007/05/bitcora-lgica-10-unidad-09.html

Respeto al plan del semestre, me temo que la fecha de culminación ha sido fijada para el 4 de Febrero. Eso me obliga a fijar el último parcial para el martes, 1 de Febrero, 8am, en el salón de costumbre.

Para el proyecto podemos esperar hasta el viernes 4, 12 medianoche.

Muy pendiente a su confirmación de lectura.

Gracias,

Jacinto

Bitacora Logica 08 B2010

2011-01-12T23:19:00.000-04:30

Bitacora Logica 08 B2010

Feliz Año 2011 para todos. Confío que logren cumplir sus metas académicas y personales.

Esta semana reiniciamos las actividades del curso de lógica con la discusión del capítulo 8 del texto guía: El dilema del prisionero.

http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/capitulo08.html

Antes de agregar algunos elementos a esa discusión, permítanme comentar sobre el examen parcial que presentaron en diciembre. Me temo que tenemos problemas para articular los conceptos que hemos venido estudiando y convertirlos en modelos funcionales. No basta con etiquetar las trazas con las frases "razonamiento hacia adelante" y "razonamiento hacia atrás" para decir que eso es lo que está ocurriendo. Tenemos que mostrar que la formulación (metas y creencias) del agente de hecho lo permiten.

Lo que hemos llamado razonamiento hacia adelante es una operación lógica que obtiene una fórmula "q", por ejemplo, a partir de una regla "si p entonces q" y otra regla (o hecho) "p". Sin la primer regla, no podemos decir que hemos obtenido q a partir de p.

En forma análoga (pero no igual), razonamiento hacia atrás ocurre cuando uno obtiene "no p" a partir de "si p entonces q" y "no q". Este último es el modo de funcionamiento de Prolog y de el lenguaje OpenLog que usamos en Galatea para escribir "to q do p". Se trata acá de la esencia de la programación lógica (del uso de la lógica para programar). Si esto no está claro, tendremos muchos problemas.

El tema de este semana es la Teoría de Decisiones y el modelado de juegos con lógica. Les decía en clase que la intención del último problema del examen era, precisamente, introducir el tema. Es relativamente fácil imaginar una situación en la que el ministro de educación es un agente que actúa y general cambios en el entorno que son observados por los rectores y usados para generar una respuesta. Es un juego.

En la clase también revisamos el ejemplo de Halcones, Palomas y Burgueses que aparece en el capítulo 1 de mi libro:

http://webdelprofesor.ula.ve/ingenieria/jacinto/libros/logica-practica-aprendizaje-computacional.pdf

Les prometí enviarles el enlace con la implentación que tenemos en Galatea. Acá va.

http://webdelprofesor.ula.ve/ingenieria/jacinto/galatea/halcones-palomas-burgueses.html

(recuerden que requiere en plugin Java en el navegador).

Puede ser útil también revisar otros ejemplos en ese mismo capítulo de mi libro.

Pendiente a sus preguntas.

Gracias.

Feliz Año.

La Izquierda y la Derecha

2011-01-12T23:03:00.000-04:30

El miedo está en el corazón de la Izquierda. Miedo a la nada. Miedo al final. Miedo a la extinción. A no ser ya nada más que la efímera partícula que sopla el viento hacia el olvido. Ese miedo es como un puñal que corta la carne viva, pero es también el motivo de la búsqueda de la relación, de un compromiso que nos saque de uno y nos conecte a todo.

La Derecha también tiene mucho miedo. Miedo a la uniformidad. Miedo a conformarse. Y como el odio se alimenta del miedo, la Derecha tiene muchos odios. Odia la igualdad. Odia la mente simple que se rehusa a entender los hechos duros de la vida y las realidades de la supervivencia selectiva: No hay para todos. Sólo para los mejores, y los escogidos por los mejores claro, resbalón hacia la incoherencia de quien se cree uno, pero quien no termina de arrancarse de los otros.

Ambas tienen historias. La Derecha viene de un hogar con conflictos entre muchos y contra muchos. Muy temprano debió aprender a luchar para sobresalir, que es casi lo mismo que sobrevivir, pero no es igual. Tuvo algunas ventajas naturales y las aprovechó al máximo. El choque constante le endureció la piel y, más allá de hacerla insensible, la hizo una unidad aparte, si se excusa la redundancia.

La historia de la Izquierda, antes que de conflictos, que los tuvo, es de agravios y carencias. Sufrió tantas limitaciones que está convencida, hasta el tuétano, de que tiene derecho a muy poco y actúa en consecuencia. Es un hábito de conducta que la convierte en una fantástica compañera, pues nunca tomará demasiado y siempre lo hará preguntándose por cuanto queda para los otros. Pero es también un hábito peligrosamente cercano al conformismo.

La Derecha es blanca de piel, orgullosa de sí misma y decidida a conquistarlo todo.

La Izquierda es morena, de figura suave, voz seductora y una mirada que transmite afecto.

Ambas son hermosas, más allá de todo estereotipo. Nunca se enfrentaron. Nunca se enfrentarán. Cada una continúa con su vida peculiar, en un ambiente hostil y con un futuro incierto.

Ambas han tenido muchos amantes, aunque pocos las han tocado realmente. Esos amantes, sin embargo, se han matado entre ellos procurando elevar a su amada a algún altar como diosa y reina por sobre todas las demás.

Me gusta la Izquierda. No alcanzo a definir el porqué, pero tiene que ver con su magia inclusiva y generosa. La Derecha es atractiva, pero un poco malcriada y egoísta. Confío que consiga calmar ese espíritu y volver feliz a ser parte de la familia.

Jacinto Dávila.
(Me reservo el derecho a decir que soy el autor de este texto. Por lo demás, hagan con él lo que gusten).

Bitacora Logica 07 B2010

2010-12-10T10:08:00.000-04:30

Saludos,

Una bitácora corta para recordarle a los estudiantes de lógica que mantendremos el plan que acordamos el martes pasado, a pesar de las suspensión de actividades para pregrado.

Les recuerdo también su compromiso de estudiar los capitulos 6

http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/capitulo06.html
y capítulo 7

http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/capitulo07.html

Para ello, quizás sea útil escuchar este audio grabado en una clase sobre esos capítulos el año pasado:

http://webdelprofesor.ula.ve/ingenieria/jacinto/ml/jacinto-davila-sentido-de-la-vida.wav

Finalmente, les recuerdo qel compromiso de definir, para el próximo MARTES, el proyecto final, en los términos que discutimos la semana pasada. Cualquier novedad, no duden en plantearla.

Gracias.

Jacinto

Matematicas Discretas B2010 suspension actividades diciembre

2010-12-10T09:57:00.000-04:30

Saludos estudiantes de matemática discreta,

Sólo para confirmar lo que imagino Uds ya saben. El miércoles pasado el Consejo de la Facultad de Ingeniería suspendió las actividades docentes de pregrado desde ese día a las 2pm y hasta el próximo viernes 17 de diciembre.

Eso significa, desde luego, que no tendremos clases en la última semana antes de receso (y en particular, que se anula mi convocatoria para la clase en FACES del lunes próximo).

Les recuerdo que tienen pendiente el trabajo de recolección de información para el proyecto. En una bitácora previa encontrarán el documento para transcribir los datos que procesaremos en Enero.

Vayan con cuidado durante el receso navideño.

Saludos y Feliz Navidad,

Jacinto Dávila.

Hoja para levantar informacion proyecto Matematicas Discretas B2010

2010-12-07T13:26:00.000-04:30

Estimados estudiantes de matemáticas discretas,

Va la planilla para que transcriban sus datos, tal como acordamos:

https://docs.google.com/uc?export=download&id=0BzanL2SnpVNGbHcxajBYeUhYS08wck0rOXpBbEVrdTc0Y084PQ&revision=true

Déjenme saber cualquier problema.

Gracias.

Jacinto

Sobre el acceso al edificio de la Hechicera para cursos de matematica y logica

2010-12-06T17:28:00.000-04:30

Saludos amigos,

El asedio al edificio de la Facultad de Ingeniería continúa. Los criminales, que operan en grupos de asalto rápido, atacaron el vehículo de un profesor y dejaron el mensaje de que harían lo mismo con cualquiera de nosotros que intente desafiarlos.

En consecuencia, me veo forzado a activar los planes B. Para el curso de Lógica de mañana, les convoco a una reunión de trabajo en C.C. La Hechicera, en la panadería "el imperio de la Hechicera", donde nos reunimos la semana pasada. Allí discutiremos una estrategia mañana a las 8am.

Para el curso de matemáticas discretas, debo suspender la clase de mañana martes en la tarde, pues no he podido asegurar un local en donde pueda instalar los equipos que uso en clase.

Pero los convoco (a todos los estudiantes de matemáticas discretas) para el próximo LUNES 13 de Diciembre a las 2pm en FACES Torre H, Salón PB04, que fuera reservado por la directora de la EISULA.

Esta convocatoria mantiene como plan C el punto en donde nos reunimos hoy para tomar el segundo examen parcial de matemáticas: Discotienda Giros, en el CC Alto Prado. Si no pudieramos dictar la clase en FACES, lo haremos en el CC media hora después.

Estoy consciente de las molestias y entiendo que algunos estén nerviosos por la situación local con estos criminales y la nacional con la lluvias. Pero entiendan que estamos luchando por nuestro derecho a estudiar y trabajar contra fuerzas nada razonables.

Les espero en los sitios indicados. Recuerden que pueden dejar mensajes en la bitácora (ver al final), por twitter @jacintodavila y como siempre por mis correos electrónicos jacinto en ula.ve y jacinto.davila en gmail

Sugiero también mantener un ojo en esta bitácora durante el resto de la semana.

Gracias.

Jacinto

Bitacora Simulacion 06 2010 Unexpo. Preparando la entrega

2010-12-05T12:26:00.000-04:30

Saludos,

Disculpen las demoras en atender sus preguntas. Les propongo que dediquemos la última mañana de sesión de esta semana a presentar los resultados de los ejercicios de modelado y simulación que nos hemos propuesto.

Como Uds saben, de los proyectos doctorales se espera una clara demostración de la capacidad del candidato para organizar una investigación y evaluar los resultados. Así que les pido que organicemos justamente eso para cada uno de los proyectos. Una presentación en la que cada uno dirá:

Cuáles objetivos se propuso.
Qué logró (incluyendo resultados negativos del tipo "así no se hace").
Cómo calificaría el experimento y sus resultados (es decir, la puntuación numérica que Ud le asignaría a su trabajo).

Es decir, será un ejercicio de autoevaluación que usaré para asignar las calificaciones finales que exige el programa.

Discutiré con cada uno (en privado, si prefiere) cualquier observación. Mi trabajo en este caso se reduce a corregir cualquier exceso en cualquier dirección.

Por lo pronto, les suplico a quienes van a codificar modelos de simulación de Galatea que completen la especificación. Durante la semana trabajaré en la generación de los códigos ejecutables. Acá va el primer ejemplo:

--
Simulador del Parque Robot
de Mario Vegas
Supervisado por Jacinto D'avila y Kay Tucci

NETWORK
    Entrada (I){
        Entrando = TRUE;
        IT=EXPO(TiempoEntreLlegadas);
        SENDTO(Taquilla[MIN]);
    }

    Taquilla (R) [2] {
        STAY = 5;
   RELEASE
            SENDTO(Operador);
    }

    Operador (R) {
        STAY = 2;
        RELEASE{
            if (Entrando) {
                SENDTO(Simulador3D);
            } else {
                SENDTO(Salida);
            }
        }
    }

    Simulador3D (R) {
        STAY = 5;
        Entrando = FALSE;
        RELEASE
            SENDTO(Operador);
    }

    Salida (E){
      WRITELN("Alguien ha salido, luego de ",TIME-GT, "segundos en el sistema");
    }
INIT
    TRACE;
    ACT(Entrada,0); TSIM=1000; TiempoEntreLlegadas = 5.0; a = 1;
    Operador = 12;
    Simulador3D = 12;

DECL
    real a, TiempoEntreLlegadas;
    MESSAGES Entrada(INTEGER Tipo, BOOLEAN Entrando);
    STATISTICS Entrada, Taquilla, Operador, Simulador3D;
END.
--

Pendiente a sus comentarios y preguntas.

Gracias.

Matematica Discreta B2010 Segundo examen parcial Lunes 6 de Diciembre

2010-12-01T15:20:00.000-04:30

Saludos estudiantes de matemáticas discretas,

Lamento mucho no haber podido realizar el segundo parcial esta semana. Tanto el lunes, como el martes, después que los criminales se retiraron, estuve en el Facultad a la hora en punto, para comprobar que no había electricidad, además de tener otros problemas (cero transporte o vías llenas de vidrios) y de la incertidumbre que causan esas interrupciones irracionales.

Previendo que los criminales sigan operando y amparándome en el pronunciamiento del Consejo de Facultad, que copio al final, me permito definir de una vez el plan B, es decir, el plan alternativo en caso de que la situación se mantenga y no podamos acceder a nuestro salón el próximo lunes 6.

El examen sigue pautado para las 2pm, en el salón regular en el edificio B en la Hechicera. Sin embargo,

si hubiere algún tipo de disturbio, interrupción del transporte regular a la hechicera, barricadas con objetos ardiendo, encachupados amenazantes con piedras o botellas, interrupción de la electricidad o amenaza alguna directa y demostrable para algunos de Uds entonces realizaremos el examen en el sitio alternativo a las 2:45pm, luego de encontrarnos, a las 2:30pm, en el punto de reunión que explico a continuación.

El punto de reunión alternativo es la discotienda GIROS, en el Centro Comercial Alto Prado, en la Avenida los Próceres. Allí estaré a las 2:30pm, para desplazarnos hasta el sitio alternativo que podría ser la feria de comida en el mismo edificio, en donde podríamos estar tranquilamente sentados por un par de horas. Esto, sin embargo, sólo lo podremos confirmar en el momento.

En virtud de las circunstancias les suplico:

Que confirmen que han recibido el mensaje (por email a mi cuenta regular).
Que traigan un tabla o algo en qué apoyar la hoja de examen.
Que traigan suficiente papel, lápiz, borrador y una calculadora.
Que pasen la voz a sus compañeros.

El examen será de 2:45 a 4:45pm. Confío que podamos ocupar un espacio cómodo durante esas dos horas.

Estaré pendiente a mi twitter @jacintodavila, como via alternativa de comunicación en tiempo real.

Los dejo con el pronunciamiento del Consejo de la Facultad de Ingeniería que me autoriza a esta y otras acciones que acordaremos luego. Confío que podamos vernos sin mayor trauma. Si alguno tiene algún inconveniente, no deje de avisarme.

Este es el pronunciamiento del consejo de la Facultad del lunes 29 de Noviembre.

INGENIEROS
Lista de discusión de los profesores de la Facultad de Ingeniería
***************************************
Se informa a toda la comunidad de la Facultad de Ingeniería que el Consejo
de Facultad en su sesión extraordinaria del dia de hoy acordo:

1.- Continuar con las actividades administrativas y académicas

2.- En caso de pérdida de clases, no habrá reprogramación del semestre, es
decir, se mantendrá la programación que se tiene aprobada

3.- Solicitar junto com las comunidades de San Pedro y Santa Rosa, la
actuación de los cuerpos de seguridad del estado.

4.- Autorizar a los profesores, en caso de considerarlo necesario, a
dictar sus clases utilizando cualquier medio (por ejemplo internet) y
hacer sus evaluaciones  en cualquier espacio que consideren conveniente

Sin otro particular al cual hacer referencia.



Atentamente,



_____
Dra. Dulce Milagro Rivero
Faculta de Ingeniería - Escuela de Ingeniería de Sistemas
Departamento de Computación
Nucleo La Hechicera Piso 2 Ala Sur
Telf:+58 274 2402685 Fax:+58 274 2402979

Bitácora de Jacinto Dávila

Bitacora Logica 09 B2011: El dilema del prisionero

TeoComp B2012: Problema 4.1.3.a

TeoComp B2011: Problema 4.1.2.a

TeoComp B2011: Problema 4.1.2.c

TeoComp B2011: Problema 4.1.2.a

TeoComp B2011: Problema 4.1.1.f

TeoComp B2011: Problema 4.1.1.e

Versos del Niño para Paraduras (Actualizado 2012)

TeoComp B2011: Problema 4.1.1.d

TeoComp B2011: Problema 4.1.1.c

TeoComp B2011: El lema del bombeo como un juego entre adversarios

Logica B2011: Calificaciones primer parcial, replanificación y proyecto

Bitacora Logica 08 B2011: El sentido de la vida

Logica B2011 Primer Parcial

Bitacora 07: Logica B2011: La o y Rentin

o 1

o 2

Propuesta de replanificacion de evaluacion

Bitacora 06: Logica B2011: Los Capuchinos

Suspendidas las actividades en Ingenieria la Hechicera

La Logica democratica y el colapso del lenguaje

La "Lógica Democrática" y el Colapso del Lenguaje

(Con ejemplos tomados de la discusión de Acceso Abierto al Conocimiento)

Expresiones Regulares

Bitacora 05: Logica B2011: Busqueda

Bitacora 04: Logica B2011: El aviso de las colas

Bitacora 03: Logica B2011: Metas de mantenimiento

Como se ejecutan los automatas en Prolog

El aviso amamantar es una inversión

El aviso sobre los antidepresivos

El Libro Logica Practica y Aprendizaje Computacional ha sido publicado

978-3-8465-6233-8

Curso de Agentes y Lógica Computacional

Bitacora 02: Logica B2011. Razonamiento hacia atras

Bitacora 01: Logica B2011. El aviso del Metro

Bitacora 01: Logica B2011. El aviso del Metro

BNF en BNF

Plan del curso de Teoria de la Computación

Bitacora 00: Logica B2011

Calificaciones Definitivas Matematicas Discretas A2011

Calificaciones Finales Matematicas Discretas A 2011

La Magia del Anís: Dialogo de 10 milenios

Calificaciones preliminares matemáticas discretas A2011

La Magia del Anís

450 años después, las mismas creencias

A2011 Matematicas Discretas tercer parcial

Sobre el tercer parcial y los proyectos

Finitas y finitos

Induccion matematica

Programas logicos para conjuntos de conocimiento

Matematicas Discretas Segundo Parcial

Por qué no una alianza con Microsoft en la Universidad?

Ejercicios sobre Conjuntos

Primer parcial de matematicas discretas A2011

Reconstruccion del argumento de Sicko

Validez Salarial

10 DERECHOS Y PRINCIPIOS PARA USUARIOS DE INTERNET

Por que no rar

Calificacion final Matematicas Discretas B2010

Respuestas a examen de combinatoria

Fin a la violación de derecho a la libertad de expresión en Egipto

Bitacora Logica 10 B2010

Guía de Combinatoria

Formato ARFF para entrega de datos del proyecto Matematica Discreta

Bitacora Logica 09 B2010

Bitacora Logica 08 B2010

La Izquierda y la Derecha

Bitacora Logica 07 B2010

Matematicas Discretas B2010 suspension actividades diciembre

Hoja para levantar informacion proyecto Matematicas Discretas B2010

Sobre el acceso al edificio de la Hechicera para cursos de matematica y logica

Bitacora Simulacion 06 2010 Unexpo. Preparando la entrega

Matematica Discreta B2010 Segundo examen parcial Lunes 6 de Diciembre