Formalización Tercera

FORMALIZACIÓN EN LENGUAJE FORMAL

Podemos asociar cada dato con una letra.Por ejemplo:

F(forestales),A(agricolas),E(aeronauticos),I(informatica),N(industriales)//R(hab. roja),Z(hab. azul),M(hab. amarilla),V(hab. verde),B(hab. blanca)//P(primera hab.),S(segunda hab.),T(tercera hab.),C(cuarta hab.),Q(quinta hab.)//U(tuenti),W(twiter),K(facebook),G(google+),L(linkedin)//Rg(rugby),Ba(baloncesto),Tn(tenis),Cu(curling),Pt(petanca).

Con los datos que nos dan podemos asociar las diferentes letras entre sí mediante símbolos del lenguaje formal:
^(y),v(o),  ¬(no),  ®(si...entonces)

Como sabemos que el de informática vive en la primera habitación y que vive al lado de la habitación azul, entonces sabemos que la habitación azul está al lado de la primera, es decir, que es la segunda.Estas deducciones se pondrían en lenguaje formal de la siguiente manera:

(I^P) ®Z=S

(V^B) ®V¬Q

(M^R) ®G¬M

Hacerlo de esta manera tendría muchas complicaciones, porque habría que pasar por alto la situación espacial de las habitaciones, lo que causaría confusión a la hora de colocar los datos, pasando por alto el hecho de que con tantos datos como disponemos nos quedaríamos sin letras por los que sustituirlos.

Tiempo de Exposición

Bueno aquí os dejo el tiempo de la presentación del lunes por apartados:

Presentación e Introducción (2 ó 3 min) - Javier.

Teoría de la Formalización (4 min) - Sergio y Pablo.

1ª Formalización (3 min) - Tamara y Daniel.

2ª Formalización (3 min) - Emilio y Fernando.

Formalización Final (6 min) - David y Álvaro.

Clausura de la Presentación - Zuo Ke.

Nota: Sobra un minuto, que bien se podría utilizar para la presentación si va apurada de tiempo o bien como margen por si alguno nos extendemos más de la cuenta.

Formalización con ecuaciones

Tenemos las siguientes incógnitas planteadas en el enigma:
- Cantante: X
- Red Social: Y
- Deporte: Z
- Color de la habitación: T

Podriamos asociarlo a los siguientes parámetros:
- Estudiante de Informática: A
- Estudiante de Aeronáutica: B
- Estudiante de Forestales: C
- Estudainte de Agrícolas: D
- Estudiante de Industriales: E

Cada estudiante del enigma (informática, aeronáutica, forestales, industriales y agrícolas) está asociado a un cantante (incógnita X), a una red social (incógnita Y), a un deporte (incógnita Z) y a un color de habitación (incógnita T).
Por lo tanto el cantante asociado al estudiante de informática sería AX, el del estudiante de aeronáutica BX y así sucesivamente con el resto de estudiantes.
Así tenemos que, la resolución de AX + AY + AZ + AT sería igual al conjunto del: cantante, red social, deporte y color de la habitación del informático, BX + BY + BZ + BT, sería del estudiante de aeronáutica y así con los demás.
Aunque con todo esto, está formalización no se puede resolver ya que el enigma plantea situaciones espaciales como por ejemplo: "la habitación verde está a la izquierda de la habitación blanca".

Formalización Final - Vídeo

Making Off

En esta entrada iremos actualizando el progreso de la animación que presentaremos para la solución del problema en la exposición del lunes. Se trata de la Formalización Gráfica, cuya síntesis ya ha sido publicada en nuestro blog. A día de hoy (sábado) la animación esta completada aproximadamente al 100 %, siendo de tal modo que:

-Modelado y texturizado 100 %

-Secuenciado y renderizado de la animación 100 %

-Montaje del vídeo 100 %

Formalización Primera

Formalización del problema por enunciados.

En primer lugar, tomamos las premisas que nos ofrecen información directa sobre la situación de algún objeto.

-“Al de la habitación del medio le gusta Warren Zeavon” 
                                              

-“El de informática vive en la primera habitación.”

A partir de aquí, aplicamos el método deductivo para conseguir más información, siguiendo el resto de premisas.

-“El de informática vive al lado de la habitación Azul”; Al ser el primero, sólo colinda con una casa, que debe ser la azul

-“La habitación verde está a la izquierda de la habitación blanca·; Deben estar juntas

-“Al que vive en la habitación verde le gusta Van Morrison.”

Puesto que deben estar juntas, no pueden ocupar la posición 1 y 2;  al estar la blanca a la derecha de la verde, está sólo puede estar en la posición 4, ya que, la posición 3 tiene un cantante asignado.

-“El de forestales vive en la habitación roja.”

-“Al de la habitación amarilla le gusta el Rugby”

-“El que está en Google+ vive alado del de rugby”

Ya que el informático ocupa la posición 1,  por eliminación quien estudia forestales ha de estar en la posición 3 y su habitación será roja, por lo que, por eliminación de nuevo, la habitación del informático es amarilla y le gusta el rugby y su único vecino utilizará Google+; ya conocemos el color de todas las habitaciones.

Amarilla-Azul-Rojo-Verde-Blanca

-“Al de aeronáutica le gusta Tom Waits”; No puede estar en la habitación amarilla, ya que, al de esa habitación le gusta el rugby. Ya conocemos el cantante de las habitaciones roja y verde de las cuales conocemos los grupos que prefiere cada uno, 

-“Al que le gusta el tenis, le gusta Anouk”; No puede estar en la habitación amarilla, ya que, al de esa habitación le gusta el rugby. Ya conocemos el cantante de las habitaciones roja y verde de las cuales conocemos los grupos que prefiere cada uno,

Los grupos Anouk y Tom Waits estarán en la habitación Blanca o Azul y se deduce que el grupo que le gusta al informático es Camela

-“Al que le gusta el baloncesto, tiene un vecino que le gusta camela”; La única casa que colinda con él (Azul), será a quien le guste el baloncesto.

-“Al que le gusta el tenis, le gusta Anouk”; La habitación amarilla y azul tienen un deporte asignado, de la Roja y la Verde conocemos el grupo; a la única persona que puede el tenis y Anouk es al de la habitación blanca.

-“Al de industriales le gusta el curling”; Puesto que en la habitación roja está el estudiante de forestales, el de la habitación azul juega al baloncesto y el de la blanca al tenis, el estudiante de industriales estará en la habitación verde y le gusta el curling.

-“Al de aeronáutica le gusta Tom Waits”; Es el último grupo por asignar, así que el de aeronáutica está en la habitación roja y le gusta Tom Waits

Ya sabemos los grupos que le gustan a cada uno.

Camela-Tom Waits-Warren Zeavan-Van Morrison-Anouk

-“El que le gusta la petanca está en twitter”; Se conocen los gustos en cuanto a deportes de las habitaciones excepto de una (Roja), quien usará Twitter.

Ahora conocemos el deporte que practica cada uno.

Rugby-Baloncesto-Petanca-Curling-Tenis

-“Al que le gusta el baloncesto está al lado del que le gusta Linkedin”; Ya que en la habitación roja utilizan Twitter, la amarilla usa Linkedin

-“El de agrícolas está en Facebook”; Ahora sólo queda una habitación por asignar que es del estudiante de agrícolas y utiliza Facebook. Ya conocemos donde vive cada estudiante y que red social utilizan.

Informático-Aeronáutico-Forestal-Industrial-Agrícola

Linkedin-Google+-Twitter-TUENTI-Facebook

Al estudiante de industriales, en la habitación verde, quien escucha Van Morrison y le gusta el curling es quien usa TUENTI.

Formalización Final

                                              Video Explicativo

Esta formalización es la formalización que nosotros proponemos como recomendada para la realización de este problema. Corresponde con una formalización gráficateórica, en la cual colocamos espacialmente las habitaciones en el orden correcto y apuntamos sus características (profesión, deporte, música, red social...) hasta dar con el que corresponde a la red social de Tuenti. 

En primer lugar para colocar las habitaciones recopilamos toda la información de los colores de estas. Los datos son los siguientes "el de forestales vive en la habitación roja, la habitación verde está a la izquierda de la habitación blanca, quien vive en la habitación verde le gusta Van Morrison, el que vive en la habitación amarilla le gusta el Rugby, el de la habitación del medio le gusta Warren Zeavon, el de informática vive en la primera habitación y el de informática vive al lado de la habitación azul". Con estos datos podemos llegar a la conclusión de que la habitación amarilla y azul están juntas, la verde y blanca también y por ahora la habitación roja está por separado. Esto conlleva a esta hubicación:

 

El resultado según estas premisas corresponde con la imagen. En la habitación amarilla se encuentra el informático que le gusta el rugby, la habitación azul la seguiría pero sin ningún dato todavía, en la habitación del centro se encontraría la roja con el de forestales que le gusta Warren Zeavor, siguiente sería la habitación verde que sabemos que le gusta Van Morrison y por último la habitación blanca que no tenemos ningún dato. 

Ahora intentamos recuperar más información de las siguientes premisas: "el que está en Google+ vive al lado del estudiante al que le gusta el Rugby". Esto nos da la información de que en la casa Azul utiliza Google+.

Comprobando las demás premisas, nos damos cuenta de que dentro del campo del cantante favorito, todos los sobrantes salvo uno están condicionados por algo "al que le gusta el tenis le gusta Anouk y al de aeronáuticos le gusta Tom Waits", esto significa que para poder rellenar la casa amarilla tenemos que hacer referencia a "al que le gusta baloncesto, tiene un venico que le gusta camela". Camela es el grupo favorito del informático en la casa amarilla y en la casa azul se juega al baloncesto. Y esto nos permine rellenar que la habitación blanca se juega al tenis y se escucha a Anouk. También vemos que Tom Waits es el último grupo y corresponde junto con Aeronáutico con la habitación azul.

 

Para terminar utilizamos el resto de las premisas, "al de industriales le gusta el curling" es la siguiente que vamos a utilizar, ya que no puede ser la habitación blanca debido a que ya está el tenis como deporte favorito así que se refiere a la habitación verde. Completando los deportes, "el que juega a la petanca está en twitter", la petanca y el twitter corresponde con la habitación roja. Terminando utilizamos las dos últimas, "el de agrícolas utiliza Facebook" y que "el de al lado del baloncesto usa Linkedin".

 

Con toda esta información y siguiendo este procedimiento rápido y eficaz hemos podido demostrar que la habitación en la que se usa Tuenti es la habitación verde.

Enunciado del problema

Premisas
Nos encontramos con 5 habitaciopnes cada una de un color distinto. En cada habitación vive un estudiante, cada uno de una carrera distinta.
Cada estudiante tiene un cantante, un deporte y una red social preferida, que no repite ningún otro estudiante.

El de forestales vive en la habitación roja.
El de agrícolas está en Facebook.
Al de aeronaúticos le gusta Tom Waits.
La habitación verde está a la izquierda de la habitación blanca.
Al que vive en la habitación verde, le gusta Van Morrison.
El que le gusta la petanca, está en Twitter.
Al que vive en la habitación amarilla, le gusta el rugby.
Al que vive en la habitación de en medio, le gusta Warren Zeavon.
El de informática, vive en la primera habitación.
El que le gusta el baloncesto, está al lado del que le gusta el Linkedin.
El que está en Google+, vive al lado del estudiante al que le gusta el rugby.
Al que le gusta el tenis, le gusta Anouk.
Al de industriales le gusta el curling.
El de informática vive al lado de la habitación azul.
Al que le gusta el baloncesto, tiene un vecino que escucha Camela.


¿Quién está en Tuenti?

Definicion de Formalizacion y Lenguaje Formal

FORMALIZACIÓN

Según la Real Academia de la lengua Española, formalizar es dar forma a algo, revestir algo de los requisitos legales (formalizar un expediente) o dar carácter de seriedad a lo que no la tenía (formalizar un noviazgo).

Pero en el mundo de la lógica formalizar quiere decir escribir una expresión de una manera estándar que todos entiendan. Formalizar también puede definirse como la expresión de una frase larga mediante signos y letras.
Ej. :

L: llover
P: tener paraguas
M: mojarse
La frase ``Si llueve y no tengo paraguas, entonces me mojo´´ quedaría mejor `` Si L y no P, entonces M´´ y en lenguaje formal sería `` (L^¬P)®M


 LENGUAJE FORMAL

Gregory Mellema define en su libro The Oxford Companion to Philosophy que un lenguaje formal es un lenguaje cuyos símbolos primitivos y reglas para unir esos símbolos están formalmente especificados. Al conjunto de símbolos primitivos se le llama alfabeto o vocabulario, y al conjunto de reglas se le llama gramática formal o sintaxis. Y una cadena de símbolos formada de acuerdo a la gramática formal no es otra cosa que una palabra.

La Enciclopedia Libre Universal en Español lo define como el lenguaje artificial propio de las matemáticas o la informática, y como un conjunto finito de cadenas de símbolos del alfabeto.

Procedimiento para el planteamiento lógico

Paso primero:

En primer lugar hemos organizado la información que el enunciado  nos proporciona y enlazamos las posibles conexiones evidentes.

Paso segundo:

En segundo lugar procedemos a la deducción de otros datos comprobando siempre su validez .

Paso tercero:

En tercer paso hemos representado espacialmente la organización de las habitaciones, debido a que unos datos se ofrecen de manera posicional.

Paso cuarto:

Ahora procedemos al planteamiento lógico:

→           En primer lugar situamos las habitaciones con su color y enlazamos datos.

→           En segundo lugar mediante una serie de obviedades resolvemos algunas incógnitas: ”La casa verde está  a la izquierda de la blanca y el que vive en la verde le gusta Van Morrison” por lo que según los datos que tenemos no puede ir en la del medio pues ya tiene cantante, ni en la primera porque está la azul al lado.

→           Por ultimo mediante estos razonamientos tenemos las cuatro redes sociales localizadas por lo que tenemos la que falta Tuenti. 

Manos a la obra

El grupo tres ya se a puesto manos a la obra con el proyecto de inicio. En primer lugar nos hemos organizado para responder con la mayor eficacia posible a las incógnitas y retos propuestos por el profesor David Pérez. Se nos ha planteado un problema de lógica, el cual resolvimos mediante formalizaciones, resulta difícil resolver un problema de estos sin nunca haber estudiado lógica, pero finalmente conseguimos resolverlo, sin certeza alguna de saber si nuestra manera de hacerlo era la más eficaz. Siguiendo firmemente el guión hemos estructurado el trabajo, algunos de nosotros hemos ido a la biblioteca a buscar respuesta en los libros, otros reunidos, sintetizamos los distintos planteamientos y nos pusimos de acuerdo. Para compartir nuestros trabajos opiniones e ideas online creamos esta página web la cual nos sirve de punto de apoyo para nuestro proyecto, el cual incluiremos videos, presentación...etc ahora solo queda esperar y sobre todo trabajar.

Problemas lógicos

Los acertijos lógicos son  pasatiempos o juegos que consisten en hallar la solución de un enigma o encontrar el sentido oculto de una frase solo por vía de la intuición y el razonamiento. La resolución tiene que darse con el mero planteamiento del enunciado por lo que no se permite realizar preguntas. Dichos pasatiempos pueden clasificarse según el patrón que se debe seguir para hallar la respuesta.

-Los acertijos de trampas o juegos de palabras son entretenimientos que se basan en los dobles sentidos y peqeñas tretas para ocultar el verdadero significado de los mismos.

-I´m the beginning of the end and the end of the space…..Who I am??? Acertijo extraído del conociemnto irlandés popular.

-Los acertijos de solución matemática son aquellos que plantean una serie de datos entrelazados que deben ser desarrollados con procedimientos matemáticos, dando lugar a un resultado numérico.

-Un turista inglés quiere hacer un viaje andando hasta Santiago. Por el camino se da cuenta de que no lleva suficiente dinero para poder llegar a Santiago. Envía un correo a un amigo pidiéndole q enviara dinero, poniendo solo SEND MORE MONEY. Para que nadie supiera la cantidad exacta que quiere que le envíen escribe el mensaje en forma de suma , suponiendo que cada letra equivale a un número MONEY es la cantidad a enviar. ¿Cuál es la cantidad pedida?

La respuesta es 9567+1085=10652 , ya que a M le tiene que corresponder 1 al ser la cantidad que se lleva, S+M ha de ser mayor que 10, pero como M es 1, S+M = 11, por lo que S = 9.

Dado esto sacamos el resto de las cifras. Enigma obtenido de la web http://www.ruyman.eu/icontrase.htm.

-Por último los acertijos de lógica proposicional retan al espectador a obtener la respuesta correcta a partir de un conjunto de oraciones, las cuales pueden ser verdaderas o falsas según los condicionantes del propio acertijo.

-Un pastor tiene que pasar un lobo, una cabra y una lechuga a la otra orilla de un río. Dispone de una barca en la que sólo caben él y una de las tres cosas. Si el lobo se queda sólo con la cabra se la come, si la cabra se queda sola con la lechuga se la come, ¿cómo debe hacerlo? Enigma extraído de conocimiento propio.

Crónica by David

Miércoles:

14:00 - 14:30.  Presentación del proyecto con el tutor.
17:00 - 20:00.  Organización, dirección y puesta en marcha del proyecto.

Jueves:

09:00 - 09:30.  Reorganización del trabajo para el día.
09:30.  Reparto de información de contacto y comenzamos a trabajar juntos en el proyecto.
10:20.  El equipo consigue descifrar el problema y empezamos a trabajar en grupos.
11:00.  El equipo dedicado a la búsqueda de información sobre la formalización regresa con la máxima información recopilada.
11:15.  El equipo entra en la sala de ordenadores para empezar a maquetar en borrador y dar un mejor diseño.
12:10.  La web empieza a coger forma, en menos de una hora ya hemos subido cinco entradas diferentes y resuelto varios puntos del proyecto.
13:00.  Reunión con el tutor. Nos resuelve dudas y nos ayuda a mejorar nuestro trabajo.
14:15.  Tras la pausa para comer nos metemos en la sala de ordenadores para finalizar cuanto antes el proyecto, tenemos una hora antes del seminario.
15:00.  Empezamos a terminar trabajo y todas los materiales que vamos a necesitar más a delante.
17:00.  Terminado el seminario nos volvemos a reunir para terminar el trabajo pendiente del día.
20:00.  Terminamos de organizar el trabajo para el fin de semana.

Fin de semana:

- Durante el fin de semana trabajamos para preparar las formalizaciones, aprendernos los textos, las presentaciones y terminar la web.
- El domingo a las 17:00 todos nos reunimos desde nuestras casas online para valorar el trabajo realizado hasta el momento, para terminar de organizar lo que faltaba, realizar el PowerPoint y arreglar errores.

Lunes:

9:00.  Nos reunimos el equipo completo en la facultad para seguir trabajando, terminar la presentación y acabar de aprendernos los textos que tenemos que exponer.
12:30.  Tras la reunión con nuestro tutor David seguimos practicando la exposición.
14:30.  Tras la comida volvemos a los ordenadores para terminar de maquillar todos los últimos flecos del trabajo.
15:00.  Último ensayo antes de la gran prueba final.

Grupo 3

 -Aceituno Ferro, Pablo 

-Álvarez Conde, David - Cronista

 

-Andrés Pérez, Daniel - Coordinador 

-Aragonés Tercero, Sergio

-Babiano Yuste, Emilio

-Bermejo García, Álvaro - Coordinador

-Hernández Parra, Tamara 

-Serrano Pozas, Javier - Webmaster

-Yagüe Cuesta, Fernando

-Zou-, Ke