|
Insegnamento
|
CFU
|
SSD
|
Ore Lezione
|
Ore Eserc.
|
Ore Lab
|
Ore Studio
|
Attività
|
Lingua
|
8066502 -
WEB MINING AND RETRIEVAL
-
BASILI ROBERTO
( programma)
Programma
Sezione I: Machine Learning e Learning basato su kernel.
Richiami. Metodi Supervised. Metodi probabilistici e generativi. Metodi Unsupervised. Clustering. Metriche di similarità semantica. Metodi agglomerativi. K-mean.
Modelli Markoviani. Hidden Markov Models.
Kernel-based kernels. Kernel polinomiali e RBF. String Kernels. Tree kernels. Latent Semantic kernels. Semantic kernels. Applicazioni.
Sezione II: Statistical Language Processing
Supervised Language Processing tools. HMM-based POS tagging. Named Entity Recognition. Statistical parsing. PCFGs: Charniak parser. Modelli di Parsing Lessicalizzati. Shallow Semantic Parsing: kernel based semantic role labeling. Information Extraction.
Sezione III: Web Mining & Retrieval.
Modelli di ranking per il Web. Introduzione alla Social Network Analysis: rango, centralità.
Modelli di random walk: Page Rank. Motori di ricerca. SEO. Google.
Sistemi di Question Answering. Open-domain Information Extraction.
Acquisizione di Conoscenza da Wikipedia. Social Web. Algoritmi su grafi per la community detection.
Introduzione all’Opinion Mining e al Sentiment Analysis.
 Testi
•Christopher D. Manning, Prabhakar Raghavan and Hinrich Schütze, Introduction to Information Retrieval, Cambridge University Press. 2008. Consultabile on-line
•C.M. Bishop "Pattern Recognition and Machine Learning" Springer, 2006
•Roberto Basili, Alessandro Moschitti, Text Categorization: from Information Retrieval to Support Vector Learning, ARACNE Editore, 2005.
•Bing Liu, Web Data Mining: Exploring Hyperlinks, Contents, and Usage Data. 2nd Edition, July 2011, Springer.
•Note del docente e articoli scientifici distribuite durante il corso.
|
9
|
ING-INF/05
|
72
|
-
|
-
|
-
|
Attività formative caratterizzanti
|
ITA |
|
8066454 -
PROVA FINALE
|
30
|
|
240
|
-
|
-
|
-
|
Per la prova finale e la lingua straniera (art.10, comma 5, lettera c)
|
ITA |
|
- -
A SCELTA DELLO STUDENTE
|
9
|
|
72
|
-
|
-
|
-
|
Attività formative a scelta dello studente (art.10, comma 5, lettera a)
|
ITA |
8066640 -
NATURAL LANGUAGE PROCESSING
-
ZANZOTTO FABIO MASSIMO
( programma)
Programma e Materiale Disponibile
•Introduzione e la sfida delle macchine parlanti (appunti per la lezione)
•Il Linguaggio: modelli e teorie linguistiche (appunti per la lezione e corso di linguistica da cui sono stati derivati)
•Modelli Linguistici e Sistemi
◦Come determinare che un modello è corretto e un sistema è efficace: inter-annotation agreement e statistical significance (appunti per la lezione)
◦Automi a stati finiti e trasduttori per la morfologia (appunti per la lezione)
◦Elaborazione sintattica con le grammatiche context-free
◦Parsing con le grammatiche context-free (appunti per la lezione)
◦Feature Structures e Unificazione (appunti per la lezione)
◦Tree Adjoining Grammars (appunti per la lezione)
◦Modular and Lexicalized Parsing (appunti per la lezione)
◦Probabilistic context-free grammar
◦Semantica ■Rappresentazione semantica simbolica(appunti per la lezione): Introduzione a WordNet e FrameNet
■Lambda Calcolo per la semantica del linguaggio naturale (appunti per la lezione)
■Rappresentazione semantica distribuzionale
◦Textual Entailment Recognition (Tutorial at ACL 2007)
Libri di testo
•Daniel Jurafsky and James H. Martin, SPEECH and LANGUAGE PROCESSING: An Introduction to Natural Language Processing, Computational Linguistics, and Speech Recognition (Second Edition)
•I.Dagan, D.Roth, M.Sammons, F.M.Zanzotto, Recognizing Textual Entailment: Models and Applications, Synthesis Lectures on Human Language Technologies #23, Morgan&Claypool Publishers, 2013
|
6
|
ING-INF/05
|
48
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
8066134 -
METODI DI VERIFICA DI SISTEMI
-
INTRIGILA BENEDETTO
( programma)
Programma
1. Modellizzazione dei sistemi: rappresentazione con automi a stati finiti;
2. Modellizzazione di proprietà di sistemi: logica temporale;
3. Tecniche di model checking esplicito;
4. Tecniche di model checking simbolico.
Testi
System and Software Verification
Model-Checking Techniques and Tools
Berard, B., Bidoit, M.., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P.
|
6
|
INF/01
|
48
|
-
|
-
|
-
|
Attività formative caratterizzanti
|
ITA |
|
8065537 -
SISTEMI DI AGENTI
|
6
|
INF/01
|
48
|
-
|
-
|
-
|
Attività formative caratterizzanti
|
ITA |
|
8066770 -
ALTRE ATTIVITA' FORMATIVE
|
3
|
|
24
|
-
|
-
|
-
|
Ulteriori attività formative (art.10, comma 5, lettera d)
|
ITA |
