2. Risoluzione automatica di giochi
Scacchi
Gianni Barlacchi Pisa, 12 Gennaio 2017
Febbraio 1996
IBM DeepBlue batte il campione
assoluto di scacchi Garry Kasparov!
Febbraio 2011
IBM Watson batte i campioni del
gioco Jennings & Rutter!
Jeopardy!
3. Risoluzione automatica di giochi
GO
Gennaio 2016
GoogleDeep Mind AlphaGo batte il campione Lee Sedol!
Gianni Barlacchi Pisa, 12 Gennaio 2017
5. Il gioco del cruciverba
Verticali
1. Pontefice
2. Nome di donna
3. Lega di rame e zinco
4. 竪 in Latino
5. Citt della Florida
7. N竪 mia n竪 tua
9. Fiore
12. In nessun tempo
Orizzontali
1. Grosso serpente
5. Tribunale regionale
8. Dischiusi
10. Uomo in inglese
11. Impronta, traccia
13. Malattia
14. Desiderio poetico
Per risolvere un cruciverba 竪 necessario
avere buone anche abilit logiche!
Gianni Barlacchi Pisa, 12 Gennaio 2017
6. Risolutori automatici
PROVERB
Primo sistema ideato per la risoluzione automatica
di cruciverba.
DR. FILL
Apparso pubblicamente nel 2012, ad oggi 竪 il pi湛
evoluto risolutore automatico di cruciverba.
Gianni Barlacchi Pisa, 12 Gennaio 2017
7. Risolutori automatici
WEBCROW
Ideato e sviluppato nel 2005 dallUniversit
degli Studi di Siena 竪 stato sponsorizzato da
Google
Interroga il web e utilizza vecchi cruciverba per
trovare le risposte
Non 竪 riuscito a battere i massimi esperti del gioco.
Gianni Barlacchi Pisa, 12 Gennaio 2017
9. Risoluzione automatica del cruciverba
Trovare le risposte
Task particolare di Question Answering
Occorre utilizzare tecniche di Information Retrieval
e Natural Language Processing
Recupero di documenti rilevanti
Elaborazione del testo ed estrazione della risposta
Gianni Barlacchi Pisa, 12 Gennaio 2017
10. Machine Learning per NLP
Machine learning
Algoritmi che apprendono funzioni da esempi
Ordinare una lista di possibili risposte
Esistono vari approcci
Alberi di decisione
Reti neurali
Metodi Kernel
Gianni Barlacchi Pisa, 12 Gennaio 2017
11. Gianni Barlacchi Pisa, 12 Gennaio 2017
Recupero della risposta da web
Luogo infuocato (7) : inferno
12. Gianni Barlacchi Pisa, 12 Gennaio 2017
Recupero della risposta da web
Ci si va al buio (6) : cinema
13. Risoluzione automatica del cruciverba
Recupero da database di cruciverba risolti
Lesperienza di gioco nella risoluzione di un
cruciverba 竪 fondamentale
Con alta frequenza 竪 possibile incontrare clues
identiche o simili
<<Un luogo al buio (6): cinema>>
<<Ci si vede i film al buio (6): cinema>>
Gianni Barlacchi Pisa, 12 Gennaio 2017
15. Vuoi saperne di pi湛?
Webcrow: A web-based system for crossword solving.
M. Ernandes, G. Angelini, M. Gori - AAAI Press. 2005
Learning to rank answer candidates for automatic resolution of crossword puzzles
G. Barlacchi, M. Nicosia, A. Moschitti - CoNLL 2014
A Retrieval Model for Automatic Resolution of Crossword Puzzles in Italian Language
G Barlacchi, M Nicosia, A Moschitti - CLiC-it 2014
Learning to Rank Aggregated Answers for Crossword Puzzles
M Nicosia, G Barlacchi, A Moschitti - ECIR 2015
SACRY: Syntax-based Automatic Crossword Puzzle Resolution sYstem
G Barlacchi, M Nicosia, A Moschitti - ACL 2015
Distributional Neural Netrworks for Automatic Resolution of Crosswor Puzzles
A Severyn, M Nicosia, G Barlacchi, A Moschitti - ACL 2015
Gianni Barlacchi Pisa, 12 Gennaio 2017
16. Che cruciverbista sei?
Si dice al cameriere (6):
Simbolo Matematico (3):
Nota musicale (2):
E la virt湛 dei forti (8):
G R A Z I E
P E R
L A
P A Z I E N Z A
Gianni Barlacchi Pisa, 12 Gennaio 2017
17. Risoluzione automatica del cruciverba
Recupero della risposta da web
Il web 竪 una fonte di informazione potenzialmente
infinita
La risposta pu嘆 essere trovata elaborando
documenti e snippets recuperati dal motore di
ricerca
Gianni Barlacchi Pisa, 12 Gennaio 2017
18. Risoluzione automatica del cruciverba
Compilare la griglia
II gioco viene formalizzato come un Probabilistic
Constraint Satisfaction Problem (Shazeer, 1999)
La griglia viene riempita con la soluzione a massima
probabilit.
Gianni Barlacchi Pisa, 12 Gennaio 2017
19. Le clue possono riguardare qualsiasi argomento
Occorre comprendere la semantica delle parole
La forma della clue 竪 spesso non interrogativa
<< Pontefice (4): papa >>
Le clues sono create per essere ambigue
<< Luogo infuocato (7) : inferno >>
Il tema pu嘆 essere fattuale o non fattuale
<< Ci si va al buio (6) : cinema >>
Gianni Barlacchi Pisa, 12 Gennaio 2017
Il gioco del cruciverba
Editor's Notes
Da sempre la risoluzione automatica dei giochi ha affascinato luomo.
Quando ci impegniamo nella risoluzione di un gioco, facciamo uso della nostra conoscenza, la comprensione dei fatti basata su informazioni acquisite con lesperienza e lapprendimento.
Poi, ricorre alla logica. La nostra capacit di condurre un ragionamento in modo razionale e sensato.
Ed infine, alcune volte, quando lo sentiamo da dentro, possiamo fa ricorso al nostro intuito, che 竪 contrapposto alla conoscenza ma che pu嘆 comunque portarci ad una soluzione corretta.
Ma un computer riesce ad avvalersi di queste capacit per risolvere in modo automatico dei giochi?
Per il gioco degli scacchi la risposta a questa domanda 竪 arrivata nellormai lontano 1996 quando il super computer IBM deep blue ha battuto il famoso scacchista garry kasparov.
Circa un decennio dopo 竪 toccato al famoso gioco americano JEOPARDY!
Lo scopo del quiz `e quello di rispondere con una domanda le cui soluzioni appartengono agli indizi forniti. Le domande possono riguardare molti temi come storia, letteratura, sport ed anche attualit.
Mezzo decennio dopo 竪 toccato al gioco go. Qui due giocatori hanno lo scopo di controllare una parte maggiore della scacchiera rispetto al proprio avversario.
Pensate che questo antichissimo gioco asiatico era considerato una della arti in cui una persona di alto livello culturale doveva essere abile.
E quindi possiamo dire che i computer sono arrivati ad un livello di intelligenza paragonabile a quello delluomo? Non 竪 proprio cos狸, il livello di simulazione della nostra intelligenza da parte dei computer 竪 cresciuto ma rimane ancora molto lontano dal nostro.
I computer ad esempio cascano ancora facilmente sullinterpretazione esatta del testo. E qui arriviamo al punto, quale 竪 il gioco per eccellenza dove capire le domande 竪 fondamentale per arrivare alla soluzione?
Il gioco del cruciverba.
Ed oggi vi presento brevemente questo lavoro che frutto di una collaborazione tra luniversit di siena, quella di trento e il qatar computing research institute.
Le parole inserite, che vengono suggerite da apposite definizioni, devono rispettare gli incroci che si vengono a creare nello schema tra parole orizzontali e verticali. Il gioco si pu嘆 dire risolto solo quando tutte le caselle bianche sono state riempite e tutte le parole corrispondono alle definizioni date .
Le domande sono fatte per trarre in inganno il giocatore. Possono essere ambigue, e trattare qualsiasi argomento
Importante 竪 generare liste di parole candidate dove la risposta sia in prima posizione o comunque in alto.
CSP sono problemi matematici definiti come un insieme di oggetti il cui stato deve soddisfare una serie di vincoli o limitazioni.
Nella prima parte si devono trovare le risposte, questo 竪 un task che viene chiamato dagli adetti ai lavori Question Answering.
Ricorrendo a tecniche che permettono ai computer di elaborare un testo, comprenderlo ed estrarre la risposta corretta.
E qui entra in gioco il machine learning, algoritmi che apprendono funzioni da esempi e posso risolvere problemi come quelli di estrarre parole dal testo creare liste di possibili risposte corrette.
Importante 竪 generare liste di parole candidate dove la risposta sia in prima posizione o comunque in alto.
CSP sono problemi matematici definiti come un insieme di oggetti il cui stato deve soddisfare una serie di vincoli o limitazioni.
E ora dopo tutta questa storia, vediamo se vi riesce risolvere un i cruciverba
Le domande sono fatte per tranne il giocatore in inganno