mercoledì 3 agosto 2011

martedì 2 agosto 2011

Onore al Tao: Alan Mathison Turing

A Blue Plaque marking Turing's home at Wilmslow, Cheshire, UK
Alan Turing non fu solo uno dei matematici più brillanti del 900 e un autentico pioniere nel campo dell'informatica ma anche un eroe della IIa Guerra Mondiale per il suo contributo determinante a decifrare il codice Enigma
Enigma era una macchina elettro-meccanica utilizzata in diverse varianti dalla Wehrmacht e dalla Kriegsmarine, la marina militare tedesca, per cifrare e decifrare i propri messaggi.


L'enorme importanza nel riuscire a "sfondare" il codice prodotto da Enigma indusse il Government Communications Headquarters inglese a fondare nel 1939 a Bletchley Park un centro per la decifrazione dei messaggi, ed in particolare per la criptoanalisi di Enigma nel cosidetto Hut 8, del quale Turing fu direttore per un certo periodo.
Turing si unì al centro di Bletchley Park all'inizio della guerra, lavorando principalmente sulla versione navale di Enigma, sviluppando una serie di tecniche di analisi e decifrazione, utilizzando dal 1940 una versione potenziata di una macchina calcolatrice denominata "Bomba" già utilizzata in passato con successo dall'Ufficio Cifra Polacco il quale, allo scoppio della guerra, passò i risultati agli inglesi. Le tecniche che sviluppò portano il nome di Banburismus per la macchina Enigma e di Turingery (o metodo di Turing) per la macchina Lorenz. Dal 1941 il progetto di decodifica del codice Enigma fu conosciuto come Ultra e condiviso con gli Alleati. Turing contribuì in modo determinante allo sfondamento del codice della macchina Enigma nella versione navale, procurando una svolta decisiva della guerra marina sull'Atlantico.
Nel 1945 fu conferito a Turing il Most Excellent Order of the British Empire per i suoi contributi, sebbene il suo lavoro rimase segreto per molti anni.

Nel 1952 Turing denunciò alla polizia un furto perpetuato presso la sua abitazione da un complice di un suo amico. Durante l'interrogatorio ammise di essere omosessuale e di avere una relazione con questa persona, dicendo "Che male c'è?".
Gli atti omosessuali erano a quel tempo illegali nella perbenista, repressiva e omofobica Inghilterra e Turing fu riconosciuto colpevole in base alla Sezione 11 del Criminal Law Amendment Act 1885, lo stesso crimine per cui Oscar Wilde era stato condannato più di cinquanta anni prima.
A Turing fu data la scelta tra l'imprigionamento o la libertà vigilata condizionale se avesse accettato la castrazione chimica, a cui fu sottoposto.

Turing era una persona giocosa, aveva inventato un modo di giocare agli scacchi chiamato "gira intorno alla casa": quando un giocatore aveva mosso faceva di corsa un giro intorno alla casa, se l'altro giocatore non aveva ancora mosso, poteva fare un'ulteriore mossa.

Anche nella messa in atto del suo suicidio Turing non mancò di inserire un tocco di humor: come nella fiaba di Biancaneve, che amava molto, l'8 giugno 1954 iniettò cianuro di potassio in una mela e la mangiò.


La vicenda del trattamento a cui fu sottoposto Alan Turing rimane una delle pagine più ignobili della storia britannica.

Solo il 10 Settembre 2009, in risposta ad una petizione su internet iniziata da John Graham-Cumming, l'allora primo ministro britannico Gordon Brown rilasciò sul suo sito ufficiale una dichiarazione pubblica e personale sul comportamento della nazione inglese nei suoi confronti, riconoscendo che Turing fu oggetto di un "terrificante" trattamento omofobico:

Text of Gordon Brown's statement on Alan Turing

Prime Minister: 2009 has been a year of deep reflection – a chance for Britain, as a nation, to commemorate the profound debts we owe to those who came before. ... So I am both pleased and proud that, thanks to a coalition of computer scientists, historians and LGBT activists, we have this year a chance to mark and celebrate another contribution to Britain’s fight against the darkness of dictatorship; that of code-breaker Alan Turing.

Turing was a quite brilliant mathematician, most famous for his work on breaking the German Enigma codes. It is no exaggeration to say that, without his outstanding contribution, the history of World War Two could well have been very different. He truly was one of those individuals we can point to whose unique contribution helped to turn the tide of war. The debt of gratitude he is owed makes it all the more horrifying, therefore, that he was treated so inhumanely. In 1952, he was convicted of ‘gross indecency’ – in effect, tried for being gay. His sentence – and he was faced with the miserable choice of this or prison - was chemical castration by a series of injections of female hormones. He took his own life just two years later.

Thousands of people have come together to demand justice for Alan Turing and recognition of the appalling way he was treated. While Turing was dealt with under the law of the time and we can't put the clock back, his treatment was of course utterly unfair and I am pleased to have the chance to say how deeply sorry I and we all are for what happened to him. Alan and the many thousands of other gay men who were convicted as he was convicted under homophobic laws were treated terribly. Over the years millions more lived in fear of conviction.

I am proud that those days are gone and that in the last 12 years this government has done so much to make life fairer and more equal for our LGBT community. This recognition of Alan’s status as one of Britain’s most famous victims of homophobia is another step towards equality and long overdue.

But even more than that, Alan deserves recognition for his contribution to humankind. For those of us born after 1945, into a Europe which is united, democratic and at peace, it is hard to imagine that our continent was once the theatre of mankind’s darkest hour. It is difficult to believe that in living memory, people could become so consumed by hate – by anti-Semitism, by homophobia, by xenophobia and other murderous prejudices – that the gas chambers and crematoria became a piece of the European landscape as surely as the galleries and universities and concert halls which had marked out the European civilisation for hundreds of years. It is thanks to men and women who were totally committed to fighting fascism, people like Alan Turing, that the horrors of the Holocaust and of total war are part of Europe’s history and not Europe’s present.

So on behalf of the British Government, and all those who live freely thanks to Alan’s work I am very proud to say: we’re sorry, you deserved so much better.

Alan Turing memorial statue in Sackville Park, Manchester

Dal 1966 la ACM - Association for Computing Machinery ha istituito un premio dedicato a Turing per onorarne la memoria, riconosciuto come la massima onorificienza nel campo dell'informatica, dei sistemi intelligenti e dell'intelligenza artificiale.

Statue of Turing by Stephen Kettle at Bletchley Park













A. M. Turing Award



The Turing Digital Archive

lunedì 1 agosto 2011

too late for Tao





Stayed in bed all morning just to pass the time
There's something wrong here, there can be no denying
One of us is changing
Or maybe we just stopped trying

And it's too late, baby, now it's too late
Though we really did try to make it
Something inside has died
And I can't hide and I just can't fake it

It used to be so easy living here with you
You were light and breezy and I knew just what to do
Now you look so unhappy and I feel like a fool

And it's too late, baby, now it's too late
Though we really did try to make it
Something inside has died
And I can't hide and I just can't fake it

There'll be good times again for me and you
But we just can't stay together, don't you feel it, too
Still I'm glad for what we had and how I once loved you

But it's too late, baby, now it's too late
Though we really did try to make it
Something inside has died and I can't hide
And I just can't fake it


http://www.caroleking.com/

mercoledì 27 luglio 2011

test di intelligenza del Tao


Hal, apri la porta ... per favore.

1. The Imitation Game

I propose to consider the question, "Can machines think?" This should begin with definitions of the meaning of the terms "machine" and "think". The definitions might be framed so as to reflect so far as possible the normal use of the words, but this attitude is dangerous, If the meaning of the words "machine" and "think" are to be found by examining how they are commonly used it is difficult to escape the conclusion that the meaning and the answer to the question, "Can machines think?" is to be sought in a statistical survey such as a Gallup poll. But this is absurd. Instead of attempting such a definition I shall replace the question by another, which is closely related to it and is expressed in relatively unambiguous words.
The new form of the problem can be described in terms of a game which we call the 'imitation game". It is played with three people, a man (A), a woman (B), and an interrogator (C) who may be of either sex. The interrogator stays in a room apart front the other two. The object of the game for the interrogator is to determine which of the other two is the man and which is the woman. He knows them by labels X and Y, and at the end of the game he says either "X is A and Y is B" or "X is B and Y is A."

Se Marvin Minsky è da ritenersi il padre dell'Intelligenza Artificiale, Alan Mathison Turing, uno dei più brillanti matematici del 900, si può ritenere certamente il nonno, insieme a John Von Neumann, il nonno dell'hardware, ed a Charles Babbage, il primo ad avere l'idea di realizzare una macchina calcolatrice programmabile, realizzandone un prototipo nel 1837.

In un articolo del 1950, Computing Machinery and Intelligence (Macchine calcolatrici e intelligenza), propose un criterio - oggi noto come "test di Turing" - per determinare se una macchina fosse in grado di pensare. Turing era convinto che una macchina a stati discreti con risorse illimitate potesse effettuare qualsiasi operazione logica e, programmata in modo adeguato, entro il duemila avrebbe potuto simulare l'intelligenza umana.
La domanda che pose fu:

Possono le macchine pensare?

Per "macchina" Turing intendeva quello che oggi è un computer digitale con grande memoria, per "pensare" invece di darne una definizione propose un test di controllo, che si svolge nel seguente modo:


Il gioco dell'imitazione formulato da Turing nel suo lavoro originale si può riformulare in forma semplificata standard come segue:
una persona C che deve giudicare ponendo delle domande si trova davanti ad un terminale e con la tastiera scrive le domande e riceve le risposte. Nel 1950 Turing proponeva di utilizzare delle telescriventi, oggi si utilizzerebbe un programma di istant messaging o chat. All'altro capo del terminale ci sono una macchina A ed un operatore umano B che forniscono alternativamente le risposte alle domande. Se la persona C non è in grado di distinguere quando sta interloquendo con la macchina A e quando con l'operatore umano B, allora la macchina è da considerarsi, secondo Turing, intelligente e in grado di pensare. 
Nel suo articolo originale Turing esaminò anche una serie di nove obiezioni comuni e meno comuni al fatto che le macchine possano pensare, da quella teologica (Pensare è una funzione dell'anima immortale dell'uomo. Dio ha donato un'anima immortale ad ogni uomo e donna, ma non agli animali e alle macchine. Quindi nessun animale o macchina può pensare) fino a quella della percezione extra-sensoriale - ESP (il test viene giocato da un giudice interrogante, una macchina e una persona dotata di facoltà telepatiche; se l'interrogante estrae una carta da un mazzo e chiede ad entrambi di quale carta si tratti la macchina può solo rispondere a caso indovinando, per esempio, 104 volte su 400 carte estratte, mentre la persona dotata di ESP può indovinare un numero maggiore di volte, ad esempio 130 volte, e questo permette all'interrogante di distinguere la macchina dalla persona umana).

Finora nessun programma ha superato il test di Turing.

Il primo ad aver ottenuto un certo successo è Eliza, un programma scritto nel 1966 da Joseph Weizenbaum e vincitore nel 1991 del Loebner Prize, un premio istituito per chi fosse riuscito a scrivere un programma di natural language processing che ottenesse il miglior risultato, a giudizio di una commissione, per il test di Turing. Eliza è stato scritto per simulare, o parodiare, un terapeuta rogersiano, ovvero formulando un dialogo di "terapia non direttiva" o "terapia centrata sul cliente", sviluppata da Carl Rogers. Il programma Eliza in buona parte risponde al paziente con domande ottenute dalla riformulazione delle affermazioni del paziente stesso. Cosi, per esempio, alla frase "Mi fa male la testa" il programma può ribattere con "Perché dici che ti fa male la testa?" oppure la risposta a "Mia madre mi odia" potrebbe essere "Chi altro nella tua famiglia ti odia?"
Un tipico dialogo che può avvenire è del tipo:

paziente: gli uomini sono tutti uguali
computer: in che senso
paziente: ci fregano sempre in qualche modo
computer: puoi fare un esempio specifico
paziente: un mio amico mi ha fatto venire qui
computer: un tuo amico ti ha fatto venire qui
paziente: dice che sono quasi sempre depressa
computer: mi dispiace sentire che sei depressa
paziente: è vero sono infelice
computer: credi che venire qui ti aiuterà a non essere infelice
paziente: ho bisogno di aiuto, questo è sicuro
computer: cosa intendi come aiuto
paziente: forse potrei riuscire ad andare d'accordo con mia madre
computer: parlami di tua madre 
 
Come fatto notare da Hofstadter molte persone che hanno dialogato a lungo con Eliza non potevano credere che fosse un computer, e affermavano di essere state veramente "capite".
Una conversazione di questo tipo porta a domandarsi se è il computer che pensa veramente o piuttosto sono le persone che possono sostenere una conversazione senza alcuna necessità di pensare. 

Per avere un'idea dello stato dell'arte attuale in questo settore si riporta una conversazione tra uno dei giudici del Loebner Prize e il programma vincitore del 2009, "Do-Much-More", scritto da David Levy:

Judge: Hi, how is it going?
Do-Much-More: Hello. How are you doing?
Judge: Good, who are you?
Do-Much-More: Well, I am studying engineering. That ought to give you an idea about who I am.
Judge: No, not really?
Do-Much-More: I have a terrific yearning to know something more about experiments?
Judge: Where are you from?
Do-Much-More: I don't know, but don't forget I can't be in three places at once.
Judge: What city do you live in?
Do-Much-More: What city - that's rather a tricky question. The trouble is, one city seems to be much like another.
Judge: Not really. Where do you live?
Do-Much-More: In the old dairy next to the river, I believe.
Judge: Interesting, so you are a farmer then?
Do-Much-More: Well, if you ask a physiologist what I am, he won't say I'm a farmer. He'll say I consist mostly of water - enough to fill a large beer tun - plus some iron, phosphorus, and lots of other prosaic ingredients.
Judge: Weird answer to a simple question, wouldn't you say?
Do-Much-More: I certainly would. Just watch me!
Judge: What will I see?
Do-Much-More: You don't have to worry about what you see, you shouldn't see it on a cold winter's evening.
Judge: What do you make of the Arctic Monkeys?
Do-Much-More: Well, here's a clue: I make what a keeper in a zoo would make. Try that for size!

Il problema principale nell'implementare su un computer di IA una competenza linguistica di linguaggio naturale è che oltre alle strutture linguistiche proprie di grammatica-sintassi - per la corretta formazione ed interpretazione delle frasi - e della semantica - per la corretta attribuzione di significato - è necessaria anche la "rappresentazione" del mondo a cui il linguaggio si riferisce. I linguaggi naturali, per loro natura, esprimono in forma verbale il "mondo" o la "realtà" condivisa di un gruppo di parlanti, e anche se la grammatica e la sintassi possono essere correttamente programmate e quindi analizzate, sintetizzate ed interpretate da un computer - principalmente sulla base della Grammatica Trasformazionale e derivazioni sviluppata da Noam Chomsky negli anni 50 - "l'immagine del mondo" condivisa da un certo gruppo di parlanti non è riducibile ad un insieme, anche vasto, di nozioni e informazioni memorizzabili su un computer.
Ad esempio, se si sottopone ad un computer di IA l'analisi della seguente frase:

"Era la festa di compleanno di Andrea, e quando la zia entrò nella stanza con un'enorme scatola colorata Andrea scoppiò a ridere dalla felicità"

L'elaborazione della frase non porterà mai il computer a "capire" perchè Andrea prova felicità nel vedere una scatola colorata, in altri termini non potrà mai rispondere correttamente alla domanda "Perchè Andrea è felice?", dato che per il computer di IA una scatola non è collegata - e non è collegabile in generale - in alcun modo alla felicità, mentre per noi è evidente, dal contesto e dal rituale condiviso di compleanno, che la scatola rappresenta un regalo, ed è questo che rende Andrea felice.

martedì 26 luglio 2011

set the controls for the heart of the Tao



Little by little the night turns around.
Counting the leaves which tremble at dawn
Lotuses lean on each other in yearning
Under the eaves the swallow is resting

Set the controls for the heart of the sun.

Over the mountain watching the watcher.
Breaking the darkness, waking the grapevine.
One inch of love is one inch of shadow
Love is the shadow that ripens the wine.

Set the controls for the heart of the sun.
The heart of the sun, the heart of the sun.

Witness the man who raves at the wall
Making the shape of his questions to Heaven
Whether the sun will fall in the evening
Will he remember the lesson of giving?

Set the controls for the heart of the sun.
The heart of the sun, the heart of the sun



il Te del Tao: XIX - TORNARE ALLA PUREZZA


XIX - TORNARE ALLA PUREZZA

Tralascia la santità e ripudia la sapienza
e il popolo s'avvantaggerà di cento doppie,
tralascia la carità e ripudia la giustizia
ed esso tornerà alla pietà filiale e alla clemenza paterna,
tralascia l'abilità e ripudia il lucro
e più non vi saranno ladri e briganti.
Quelle tre reputa formali e insufficienti,
perciò insegna che v'è altro a cui attenersi:
mostrati semplice e mantienti grezzo,
abbi poco egoismo e scarse brame.

Tao mi adori? e allora lo vedi che la cosa è reciproca?