際際滷

際際滷Share a Scribd company logo
Conoscenza
Logica
Intuizione
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!
Risoluzione automatica di giochi
 GO
Gennaio 2016
GoogleDeep Mind AlphaGo batte il campione Lee Sedol!
Gianni Barlacchi Pisa, 12 Gennaio 2017
RISOLVERE I CRUCIVERBA
CON
LINTELLIGENZA ARTIFICIALE
Gianni Barlacchi, Massimo Nicosia, Alessandro Moschitti
Databeers Tuscany, 12 Gennaio 2017
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
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
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
Inside WebCrow
Gianni Barlacchi Pisa, 12 Gennaio 2017
Trovare le risposte
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
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
Gianni Barlacchi Pisa, 12 Gennaio 2017
Recupero della risposta da web
Luogo infuocato (7) : inferno
Gianni Barlacchi Pisa, 12 Gennaio 2017
Recupero della risposta da web
Ci si va al buio (6) : cinema
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
Inside WebCrow
Gianni Barlacchi Pisa, 12 Gennaio 2017
Trovare le risposte
Compilare
la griglia
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
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
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
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
 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

More Related Content

Solving Crosswords - Databeers Tuscany

  • 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
  • 4. RISOLVERE I CRUCIVERBA CON LINTELLIGENZA ARTIFICIALE Gianni Barlacchi, Massimo Nicosia, Alessandro Moschitti Databeers Tuscany, 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
  • 8. Inside WebCrow Gianni Barlacchi Pisa, 12 Gennaio 2017 Trovare le risposte
  • 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
  • 14. Inside WebCrow Gianni Barlacchi Pisa, 12 Gennaio 2017 Trovare le risposte Compilare la griglia
  • 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

  1. 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?
  2. 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.
  3. 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?
  4. 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.
  5. 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
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. E ora dopo tutta questa storia, vediamo se vi riesce risolvere un i cruciverba
  11. Le domande sono fatte per tranne il giocatore in inganno