Blog de la Biblioteca de Matemàtiques i Informàtica


Deixa un comentari

El dia 26 d’abril celebrem la Matefest-Infofest

Matefest-Infofest 2015. Fotografia de la UB

Matefest-Infofest 2015. Fotografia de la UB

La Matefest-Infofest, festa divulgativa per excel·lència de la Facultat de Matemàtiques i Informàtica, se celebrarà dimecres 26 d’abril a l’Edifici Històric de la Universitat de Barcelona (UB). Oberta a tothom i amb l’objectiu d’oferir una imatge social positiva de totes dues ciències, de fer-les més properes, proposa un seguit d’activitats relacionades amb les matemàtiques i la informàtica i la seva aplicació en la nostra vida quotidiana.

Com ja és tradicional, els alumnes de la Facultat muntaran estands divulgatius sobre diverses temàtiques alhora que se celebraran les xerrades i els tallers programats. Quant a les xerrades, n’hi ha 5 de previstes:

  • 10:00-11:00. Misteris de la matemàgia de la ciència. A càrrec de Miquel Duran.
  • 11:00-12:00. Investigación e informática y género. A càrrec de Beatriz Remeseiro López.
    11:00-12:00. De la matemàtica dels jocs, al joc de la matemàtica. A càrrec de Jordi Deulofeu Piquet.
  • 12:00-13:00. Inteligencia artificial: ¿aliada o enemiga? A càrrec de Paula Chocrón.
  • 12:00-13:00. Rodes, cicloides, moviment relatiu i efectes malabars. A càrrec de Josep Rey Nadal.

Pel que fa als tallers, el taller-competició de robòtica s’adreça als alumnes de batxillerat. L’objectiu és introduir als estudiants en el món de la programació de robots mitjançant llenguatges de programació no visuals. La culminació és la competició el dia de la Matefest-Infofest, tot i que els participants hauran estat treballant, per equips, durant les sessions prèvies celebrades al mes de març.

Competició de robòtica a la Matefest-Infofest 2014. Fotografia de la UB

Competició de robòtica a la Matefest-Infofest 2014. Fotografia de la UB

Quant a les activitats adreçades als alumnes de grau destaca hack-a-game II, una hackató amb l’objectiu de programar un joc per equips; el taller d’auditoria de xarxes Wi-Fi o la Tercera Competició Universitària de Matemàtiques “Lluís Santaló”.

Edicions anteriors de la Matefest-Infofest

Vídeos de les edicions anteriors


Deixa un comentari

La Facultat de Matemàtiques acull una nova edició de la Matefest-Infofest

Matefest-Infofest 2016Dimecres 16 de març, la Facultat de Matemàtiques de la Universitat de Barcelona acollirà, al Pati de Ciències de l’Edifici Històric, una nova edició de la Matefest-Infofest, la jornada divulgativa que organitzen els alumnes de la Facultat —coordinats per Eloi Puertas, professor del Departament de Matemàtica Aplicada i Anàlisi (MAIA)—, per apropar les matemàtiques a la societat en general, i molt especialment als alumnes de secundària.

La festa, oberta a tothom, presenta diverses activitats relacionades amb les matemàtiques i la informàtica i les seves aplicacions a la nostra vida quotidiana. De caire lúdic i festiu, parteix d’un llenguatge planer, evitant termes tècnics per afavorir que tothom hi pugui participar.

Activitats per als alumnes de grau

Enguany, i com a novetat, s’han organitzat activitats específicament adreçades a alumnes de grau. Destaca especialment la primera hackató de la Facultat de Matemàtiques, que proposa als alumnes el repte de programar un joc complet, per equips i en un sol dia. D’altra banda, el taller de ciberseguretat pretén introduir els alumnes de grau d’informàtica en el món de la seguretat, des de la vessant teòrico-pràctica. Finalment, es convoca pel mateix dia 16 la Segona Competició Universitària de Matemàtiques Lluís Santaló, que plantejarà una prova amb 5 problemes a resoldre i premiarà els alumnes que obtinguin les màximes puntuacions. També es triarà l’equip que representarà la Facultat a la 23ª Competició Internacional de Matemàtiques per a Alumnes Universitaris.

Activitats per als alumnes de secundària

Pel que fa a les activitats adreçades als estudiants de secundària, hi ha programades quatre xerrades, totes quatre amb l’aforament complet:

  • 9:30-10:15. Computació quàntica: dels bits als qubits. A càrrec de David Arcos.
  • 10:30-11:15 h. Game Key: Juegos importantes en la historia de los videojuegos. A càrrec de Ferran González.
  • 11:30-12:15 h. Els processos electorals a l’estat espanyol. Proporcionalitat i escons: un problema polític i un recurs didàctic. A càrrec de Marta Berini.
  • 12:30-13:15. Nanotecnologia. A càrrec de Jordi Díaz Marcos.

Com ja és habitual, s’instal·laran diversos estands al Pati de Ciències, que oferiran propostes variades, preparades pels alumnes de grau: un joc en html5, com utilitzar un PC a través de WhatsApp, la relació entre els escacs i les dames amb les matemàtiques, entre les matemàtiques i la música, sobre probabilitats o sobre la proporció àuria.

El Museu de les Matemàtiques de Catalunya (MMACA) i Codelearn, l’Escola de programació, robòtica i pensament computacional, hi tindran cadascun un estand propi.

Matefest 2009

Finalment, a les 16:00 h. se celebrarà la competició de robòtica i intel·ligència artificial. Aquest acte posarà el colofó a la festa i també al taller que han estat preparant diversos equips d’estudiants de secundària en les sessions prèvies del mes de febrer. La competició consisteix en el joc del caçador i la presa dins d’un camp de joc delimitat. Cada equip competeix amb un robot Lego Mindstorm, que ha d’actuar com a caçador o presa alternativament en cada ronda.

Competició de robots construïts amb LEGO, 6/11/09

Competició de robots construïts amb LEGO, 6/11/09

Altres edicions de la Matefest-Infofest


Deixa un comentari

Aforismes: Marvin Minsky

Aforismes: Marvin Minsky Imatge original de Hal 9000 obra de Cryteria, sota llicència CC-BY 3.0

El dia 24 de gener va morir Marvin Minsky, matemàtic i cofundador del Laboratori de ciències de la Computació i Intel·ligència Artificial de l’Institut Tecnològic de Massachusetts (MIT). Mundialment reconegut com un dels pares de la intel·ligència artificial, es coneix a nivell popular per haver assessorat Stanley Kubrick a 2001: Una odissea a l’espai, basada en la novel·la homònima d’Arthur C. Clarke.

Al catàleg del CRAI hi trobareu 5 obres seves.


Deixa un comentari

El 25 de desembre s’estrenarà l’esperada pel·lícula sobre Alan Turing

The imitation gameDesprés d’un llarg periple d’exhibició en diversos festivals i un reguitzell de guardons, finalment s’estrenarà —el 21 de novembre al Regne Unit i als EUA i el 25 de desembre a l’Estat espanyol— The Imitation game, l’esperada pe·lícula sobre Alan Turing.

El film, protagonitzat per Benedict Cumberbatch —molt conegut popularment per haver encarnat el paper de Sherlock Holmes en la darrera adaptació televisiva—, compta amb altres actors de renom: Keira Knightley —en el paper de Joan Clarke, criptoanalista de Bletchley Park—, Matthew Goode —interpretant Hugh Alexander, criptoanalista i més tard director de la divisió de criptoanàlisi de la Seu Central de Comunicacions del govern britànic— o Charles Dance, que dóna vida al Comandant Alastair Denniston, criptoanalista i primer responsable de la Government Code and Cypher School.

El guió, basat en la biografia publicada per Andrew Hodges a principis dels 80, Alan Turing : the enigma, és obra de Graham Moore i encapçalava la Black List (pdf) de Hollywood dels millors guions sense produir de l’any 2011. L’octubre d’aquell mateix any la Warner Bros en va adquirir els drets i en va encarregar la direcció a Morten Tyldum.

«That’s the tragedy of this man’s extraordinary life: his achievements and his heroism and his criminal prosecution are not well known. He should be on the front cover of text books.»

Benedict Cumberbatch

Breaking the code

Aquesta no és la primera adaptació cinematogràfica de la vida de Turing. L’any 1996, la BBC britànica va produir Breaking the code, un telefilm, dirigit per Herbert Wise i protagonitzat per Derek JacobiJo, Claudi—, que es va estrenar l’any següent al Regne Unit. La pel·lícula es basava en una producció teatral prèvia, estrenada al West End de Londres el 1986 i posteriorment a Broadway l’any següent. La funció, escrita per Hugh Whitemore, comptava també amb Derek Jacobi en el paper d’Alan Turing.

El telefilm es pot veure íntegrament a YouTube, també subtitulat en castellà.

Qui era Alan Turing?

Alan Mathison Turing, matemàtic, criptògraf i pare de la informàtica moderna, va néixer a Londres l’any 1912. Malgrat una curta i dissortada vida, les seves aportacions en els camps de la informàtica teòrica i la intel·ligència artificial són universalment reconegudes i cada dia més valorades. Durant la Segona Guerra Mundial va treballar a Blechtley Park, el centre de criptografia britànic, analitzant i desxifrant les transmissions codificades de l’exèrcit alemany. Va aconseguir trencar el codi que generava la màquina criptogràfica Enigma, cosa que hauria precipitat el final de la guerra en decantar el desenvolupament de la Batalla de l’Atlàntic.

L’any 1952 va ser processat a causa de la seva homosexualitat —tipificada com a delicte al codi penal vigent aleshores— i acusat «d’indecència greu» i «perversió sexual», els mateixos càrrecs que s’havien imputat 50 anys abans a Oscar Wilde. Per evitar la presó es va sotmetre a la castració química amb injeccions d’estrògens, a causa de les quals va patir nombrosos efectes secundaris. Al mateix temps va perdre el càrrec de consultor criptogràfic del govern. Finalment, el 8 de juny de 1954, van trobar el seu cos sense vida. L’autòpsia va determinar que la causa de la mort havia estat enverinament per cianur, i va concloure que Turing s’havia suïcidat.

Tràiler oficial de The Imitation Game

Més informació


Deixa un comentari

17è Congrés Internacional de l’Associació Catalana d’Intel·ligència Artificial

17è Congrés Internacional de l’Associació Catalana d’Intel·ligència Artificial (CCIA 2014)

La Facultat de Matemàtiques de la UB acull, del 22 al 24 d’octubre, el 17è Congrés Internacional de l’Associació Catalana d’Intel·ligència Artificial (CCIA 2014). L’objectiu principal del congrés és fomentar la discussió sobre els treballs en intel·ligència artificial que es desenvolupen en el si de la comunitat investigadora dels Països Catalans, així com reunir els membres d’aquesta comunitat.

A l’Estat espanyol, bona part dels grups de recerca que treballen en intel·ligència artificial es concentren a la franja mediterrània. A més de la UB, fan recerca capdavantera en aquesta especialitat l’Institut d’Investigació en Intel·ligència Artificial (IIIA-CSIC), ubicat a la UAB, així com diversos grups de la UPC, la UdL, la UdG, la UPV o la UJI, entre d’altres.

La intel·ligència artificial ja no és el futur; és el present. Els cercadors que fem servir habitualment per navegar per Internet, els sistemes que usen els bancs per a l’anàlisi de mercats o les mans robòtiques amb què es fan intervencions quirúrgiques són uns quants exemples d’aquest tipus de sistemes. «Avui en dia, intel·ligència artificial és sinònim de presa de decisions», afirma Oriol Pujol, investigador del Grup de Visió i Aprenentatge Computacional de la Facultat de Matemàtiques de la UB i director del comitè organitzador del congrés.

Aquesta disciplina vol respondre a preguntes com ara: què és la intel·ligència? o com podem fer sistemes i màquines intel·ligents? Actualment, els temes principals de recerca van des de la percepció artificial i la representació del coneixement fins a l’aprenentatge automàtic, el raonament, la planificació o la resolució de problemes, així com la manipulació i interacció amb la realitat a partir d’actuadors. És un camp que requereix principalment coneixements de matemàtiques, estadística i ciències de la computació o informàtica.

En el procés d’intel·ligència artificial hi ha una part de captació, recollida i emmagatzematge de dades, que, a continuació, requereixen un tractament i un modelatge per obtenir-ne un resultat; en definitiva, una decisió. Dins d’aquest procés, les tecnologies de dades massives (big data) i la ciència de dades (data science) són eines que permeten extreure coneixement útil. La fase final del procés és la visualització d’aquest resultat en forma de robot, d’imatge, etc. «La intel·ligència artificial ha d’ajudar, doncs, a prendre decisions de la manera més precisa, i les aplicacions en aquest àmbit són cada vegada més i en més camps, des de la medicina fins al màrqueting o la banca», conclou Pujol.

Durant el congrés, que reunirà prop de vuitanta investigadors, es faran dues conferències plenàries: la primera, titulada «From Turing to humanoid robots: past, present and future of artificial intelligence», la impartirà Ramón López de Mántaras, director de l’IIIA; la segona, «Rationalists in natural language processing: an extinct species?», serà a càrrec de Leo Wanner, professor d’investigació ICREA de la UPF.

Font: Notícia reproduïda íntegrament de Notícies de la UB


Deixa un comentari

Eugene Goostman i el test de Turing: en fem un gra massa?

Eugene GoostmanEl cap de setmana passat, molts mitjans de la premsa generalista es van fer ressò d’una informació provinent de la Universitat de Reading (Regne Unit), segons la qual, un ordinador hauria superat per primera vegada el Test de Turing. Segons les primeres informacions, Eugene Goostman, un chat bot o bot conversacional programat per Vladimir Veselov i Eugene Demchenko, que simula la personalitat d’un adolescent de 13 anys, hauria aconseguit enganyar un 33% dels 150 jutges de la prova i fer-los creure que estaven conversant amb un ésser humà. De seguida, però, els mitjans especialitzats, majoritàriament digitals, van començar a treure ferro a l’assumpte i a rebaixar l’eufòria per una suposada fita que ni és tal ni té conseqüències significatives.

El test de Turing

El test de Turing

Imatge de Bilby, de domini públic

El test de Turing és la prova que va proposar Alan Turing per demostrar l’existència d’intel·ligència en una màquina. El va concretar en un article Computing machinery and intelligence—, publicat l’octubre de 1950 a la revista Mind i es fonamenta en la hipòtesi que si una màquina es comporta en tots els aspectes com a intel·ligent, llavors ha de ser intel·ligent.

La prova consisteix en situar un jutge, una màquina i una persona en diferents habitacions. Els dos participants han des respondre les preguntes del jutge, que té l’objectiu de descobrir qui és l’ésser humà i qui la màquina. Turing va vaticinar que a finals de segle XX seria possible programar una màquina per mantenir una conversa de 5 minuts i enganyar el 30% d’humans.

“It will simplify matters for the reader if I explain first my own beliefs in the matter. Consider first the more accurate form of the question. I believe that in about fifty years time it will be possible to programme computers with a storage capacity of about 109, to make them play the imitation game so well that an average interrogator will not have more than 70 per cent chance of making the right identification after five minutes of questioning. The original question, ‘Can machines think?’ I believe to be too meaningless to deserve discussion. Nevertheless I believe that at the end of the century the use of words and general educated opinion will have altered so much that one will be able to speak of machines thinking without expecting to be contradicted.”

Per què no n’hi ha per tant?

Malgrat el rebombori que la notícia ha suscitat, hi ha diversos aspectes que en rebaixen l’impacte, però que molts mitjans no han tingut en compte, ja sigui per les presses o per no haver contrastat les fonts

  • No és la primera vegada, ni la segona, que un bot passa el test. L’any 1991, un bot anomenat PC Therapist va participar en un test de Turing i va enganyar el 50% dels jutges participants. L’any 2011, el cleverbot programat per Rollo Carpenter va aconseguir enganyar més del 59% d’humans presents —30 jutges i més de 1000 persones de públic.
  • Eugene Goostman no és un ordinador, és un programa dissenyat específicament per superar la prova. Simula la personalitat i els coneixements d’un adolescent ucraïnès de 13 anys. És aquest el perfil més significatiu per concloure, en cas de superar el test, que és intel·ligent? En altres paraules: no és un objectiu molt més fàcil que Stephen Hawking, per exemple?
  • La prova proposada per Turing mirava de determinar si una màquina posseïa intel·ligència a partir de la seva habilitat per mantenir una conversa. Però avui en dia hi ha força consens a considerar que la intel·ligència va molt més enllà de ser capaç de respondre preguntes en llengua natural. Manuel de León, director de l’Instituto de Ciencias Matemáticas (ICMAT), considera que el desenvolupament de la intel·ligència artificial ja no va per aquest camí: «esta victoria no supone ningún avance, no va a cambiar las cosas. Es más la parte icónica, sobre todo ahora que hemos celebrado el año de Turing, la repercusión social y mediática».

Com a curiositat, podeu mantenir una conversa amb Eugene Goostman

Més informació


Deixa un comentari

Article a Jot Down: “Norman Routledge y el silogismo de Alan Turing”

Jot Down MagazineJot Down Magazine ha publicat un interessant article de Rubén Díaz Caviedes (a Twitter @ruben_caviedes), sobre la relació entre els matemàtics britànics Norman Routledge i Alan Turing.

Ambdós van coincidir, durant el transcurs de la Segona Guerra Mundial, a la base de l’exèrcit de l’aire de Hampshire, treballant per desxifrar els missatges encriptats que transmetien els sistemes de comunicació nazis.

Norman Routledge era el destinatari de la carta que Turing va escriure el 1952, i que tant cèlebre es faria en vaticinar el sil·logisme que, afortunadament, no s’ha esdevingut:

My dear Norman,

I don’t think I really do know much about jobs, except the one I had during the war, and that certainly did not involve any travelling. I think they do take on conscripts. It certainly involved a good deal of hard thinking, but whether you’d be interested I don’t know. Philip Hall was in the same racket and on the whole, I should say, he didn’t care for it. However I am not at present in a state in which I am able to concentrate well, for reasons explained in the next paragraph.

I’ve now got myself into the kind of trouble that I have always considered to be quite a possibility for me, though I have usually rated it at about 10:1 against. I shall shortly be pleading guilty to a charge of sexual offences with a young man. The story of how it all came to be found out is a long and fascinating one, which I shall have to make into a short story one day, but haven’t the time to tell you now. No doubt I shall emerge from it all a different man, but quite who I’ve not found out.

Glad you enjoyed broadcast. Jefferson certainly was rather disappointing though. I’m afraid that the following syllogism may be used by some in the future.

Turing believes machines think
Turing lies with men
Therefore machines do not think

Yours in distress,

Alan

Routledge va ser professor d’un altre matemàtic cèlebre, Stephen Wolfram, creador de Mathematica i de Wolfram Alpha. Wolfram comentava sorprès al seu blog que Routledge mai li va parlar de la seva relació amb Turing i ho atribuïa al fet que, aleshores, Turing no era la celebritat que és avui dia. L’autor sosté, però, que Routledge no va parlar mai de Turing fins a la vellesa, quan va reconèixer la seva condició sexual, segurament per no aixecar sospites sobre ell mateix.