Laurea Magistrale in Informatica

Didattica erogata

×
Stampa
Insegnamento
VALUTAZIONE DELLE PRESTAZIONI
Codice
S1622
Anno Accademico
2014/2015
Anno regolamento
2013/2014
Corso di studio
INFORMATICA
Curriculum
CORSO GENERICO
Responsabile didattico
FRANCESCHINIS Giuliana Annamaria
CFU
9
Settore Scientifico Disciplinare (SSD)
INF/01 - INFORMATICA
Tipo di insegnamento
Attività formativa integrata
Fruizione insegnamento
OBB
Anno
2
Periodo
Primo Semestre
Tipo di valutazione
V
Lingua insegnamento
Italiano.
Italian.
Testi di riferimento
J. Banks, J. S. Carson II, B. L. Nelson, David M. Nicol. Discrete-Event System Simulation , Fifth edition, Pearson Education 2010
NALYTICAL MODELS: K. Trivedi, Probability and Statistics with Reliability Queuing and Computer Science Applications, Second Edition - Wiley 2002 SIMULATION: J. Banks, J. S. Carson II, B. L. Nelson, David M. Nicol. Discrete-Event System Simulation , Fifth edition, Pearson Education 2010
Obiettivi formativi
Avviare gli studenti ai modelli e agli strumenti analitici e quantitativi per affrontare la valutazione delle prestazioni e dell’affidabilità di sistemi.
ANALYTICAL MODELS: To guide the students toeward the use of analytical qiunatitative models to tackle the performance and reliability evaluation of systems SIMULATION: Acquire the basic notions behind the modeling of (stochastic) discrete event dynamic systems, and achieve good competencies about how to identify the goals of a performance evaluation study, how to model the system under study, how to build a discrete event simulator able to “execute” the model, and how to apply statistical analysis methods to the simulator results. Acquire the competences to recognize the possibility to apply analytical solutions as an alternative to simulation.  Acquire the ability to apply  appropriate techniques and software tools for the evaluation of performance indices of relatively complex systems.
Prerequisiti
Conoscenze di probbailità e statistica e di programmazione
Knowledge of basic probability theory and statistics. Basic knowledge of programming.
Metodi didattici
Lezioni frontali, esercitazioni in aula e in laboratorio, ed esercizi da svolgere a casa.
The course consists of both classes and laboratory sessions. All the material (class slides, quizzes, proposed exercises, example of final tests) are available on-line on the Learning Content Management System Moodle (DIR service).
Altre informazioni
Il controllo dell'apprendimento viene effettuato mediante esercizi da sviluppare a casa e corretti in classe,  mediante compiti in classe e la preparazione di  programmi di calcolo per specifici problemi.
The control of the learning process is performes through homeworks to be discussed and solved in classe and the preparation of computer codes to solve specific problems.
Modalità di verifica dell'apprendimento
MODELLI ANALITICI: Il controllo dell'apprendimento viene effettuato mediante esercizi da sviluppare a casa e coorretti inclasse, mediante compiti in classe e la preparazione di programmi di calcolo per specifici problemi. SIMULAZIONE: Compiti in itinere e valutazione finale sia sugli argomenti teorici, sia delle realizzazioni pratiche
ANALYTICAL MODELS: The control of the learning process is performes through homeworks to be discussed and solved in classe and the preparation of computer codes to solve specific problems. SIMULATION: Oral examination, to test the acquired competences on the theoretical aspects  presented in the course, and practical modeling and performance evaluation exercises, performed using open source software for the numerical analysis or discrete event simulation of systems.
Programma esteso
MODELLI ANALITICI: Introduzione alla teoria dell'Affidabilità. Alberi dei guasti e reti. Binary Decision Diagrams (BDD) Probabilita` condizionata, teorema di Bayes.Variabili aleatorie continue.  Distribuzione esponenziale. Trasformate di Laplace. Applicazioni alla somma di variabili aleatorie.Generalita` sui processi stocastici. Processi a rinnovo e processi di Poisson.Processi di nascita e morte. La coda M/M/1 e varianti.Introduzione alle catene di Markov. Equazioni di Chapman-Kolmogorov. Classificazione degli stati e soluzioni asintotiche. Tempo medio all'assorbimento. SIMULAZIONE: Il corso introduce il concetto di modello come astrazione della realtà e come strumento per analizzarne le proprietà quantitative (affidabilità e prestazioni). Modellazione di sistemi stocastici, dinamici ad eventi discreti (DEDS) con reti di Code e reti di Petri Stocastiche: derivazione delle corrispondenti Catene di Markov. Analisi operazionale di reti di Code e reti di Petri. Tecnica simulativa per la stima di indici di prestazione: algoritmo di simulazione ad eventi discreti, generazione di numeri pseudo-casuali, metodi statistici per la stima puntuale e intervallare degli indici di prestazione in transitorio e a regime.
ANALYTICAL MODELS: Combinatorial probability.Introduction to reliability theory.  Fault tree and networks. Binary Decision Diagrams (BDD)Conditional probability and Bayes theorem.Continuous random variables.  Exponential distribution.Laplace transform.  Application to the sum of random variables.Stochastic processes.  Poisson and renewal processes.Birth-Death processes.  The M/M/1 queue and variants.Introduction to Markov chains.   Chapman-Kolmogorov Equations.State classification and equilibrium solutions.  Mean time to absorption. SIMULATION: The course introduces the concept of “model” as an abstraction of a real system, and as a mean to analyze its properties: in particular the course introduces both the discrete event simulation technique, for estimating performance figures, and analytical techniques based on stochastic processes theory. More in details, the topics presented in the course are: modeling stochastic discrete event dynamic systems (DEDS). Models abstraction level. Analytical vs. simulation models. Formal languages for the representation of DEDS models: Stochastic Petri Nets and Queuing networks. Relation between Stochastic Petri Nets, or queuing networks and Markov chains. Definition of performance indices. Operational analysis (fundamental laws, bottleneck analysis).Steps in  a simulation study, the basic algorithm for the simulation of stochastic, dynamic discrete event models, generation of pseudo-random numbers and of random varieties, statistical methods for estimating the performance indices, both in transient and in steady state.
Moduli
Codice Insegnamento Settore Scientifico Disciplinare (SSD) Docenti Agenda web
S1623MODELLI ANALITICI INF/01 - INFORMATICA Franceschinis Giuliana Annamaria
S1624SIMULAZIONE INF/01 - INFORMATICA Bobbio Andrea
Mostra scheda insegnamento padre
×
Stampa
Insegnamento
VALUTAZIONE DELLE PRESTAZIONI: MODELLI ANALITICI
Codice
S1623
Anno Accademico
2014/2015
Anno regolamento
2013/2014
Corso di studio
INFORMATICA
Curriculum
CORSO GENERICO
Responsabile didattico
FRANCESCHINIS Giuliana Annamaria
CFU
3
Ore di lezione
24
Ore di studio individuale
51
Settore Scientifico Disciplinare (SSD)
INF/01 - INFORMATICA
Tipo di insegnamento
Modulo di sola Frequenza
Fruizione insegnamento
OPZ
Categoria insegnamento
C
Anno
2
Periodo
Primo Semestre
Tipo di valutazione
V
Lingua insegnamento
Italiano.
Italian.
Testi di riferimento
K. Trivedi, Probability and Statistics with Reliability Queuing and Computer Science Applications, Second Edition - Wiley 2002
K. Trivedi, Probability and Statistics with Reliability Queuing and Computer Science Applications, Second Edition - Wiley 2002
Obiettivi formativi
Avviare gli studenti ai modelli e agli strumenti analitici e quantitativi per affrontare la valutazione delle prestazioni e dell’affidabilità di sistemi.
To guide the students toeward the use of analytical qiunatitative models to tackle the performance and reliability evaluation of systems
Prerequisiti
Nessuno
None
Metodi didattici
Lezioni frontali, esercitazioni in aula e esercizi da svolgere a casa.
Frontal lessons, practical problems and home works
Altre informazioni
Il controllo dell'apprendimento viene effettuato mediante esercizi da sviluppare a casa e coorretti inclasse, mediante compiti in classe e la preparazione di programmi di calcolo per specifici problemi.
The control of the learning process is performes through homeworks to be discussed and solved in classe and the preparation of computer codes to solve specific problems.
Modalità di verifica dell'apprendimento
Il controllo dell'apprendimento viene effettuato mediante esercizi da sviluppare a casa e coorretti inclasse, mediante compiti in classe e la preparazione di programmi di calcolo per specifici problemi.
The control of the learning process is performes through homeworks to be discussed and solved in classe and the preparation of computer codes to solve specific problems.
Programma esteso
Introduzione alla teoria dell'Affidabilità. Alberi dei guasti e reti. Binary Decision Diagrams (BDD) Probabilita` condizionata, teorema di Bayes.Variabili aleatorie continue.  Distribuzione esponenziale. Trasformate di Laplace. Applicazioni alla somma di variabili aleatorie.Generalita` sui processi stocastici. Processi a rinnovo e processi di Poisson.Processi di nascita e morte. La coda M/M/1 e varianti.Introduzione alle catene di Markov. Equazioni di Chapman-Kolmogorov. Classificazione degli stati e soluzioni asintotiche. Tempo medio all'assorbimento.
Combinatorial probability.Introduction to reliability theory.  Fault tree and networks. Binary Decision Diagrams (BDD)Conditional probability and Bayes theorem.Continuous random variables.  Exponential distribution.Laplace transform.  Application to the sum of random variables.Stochastic processes.  Poisson and renewal processes.Birth-Death processes.  The M/M/1 queue and variants.Introduction to Markov chains.   Chapman-Kolmogorov Equations.State classification and equilibrium solutions.  Mean time to absorption.
Mostra scheda insegnamento padre
×
Stampa
Insegnamento
VALUTAZIONE DELLE PRESTAZIONI: SIMULAZIONE
Codice
S1624
Anno Accademico
2014/2015
Anno regolamento
2013/2014
Corso di studio
INFORMATICA
Curriculum
CORSO GENERICO
Responsabile didattico
BOBBIO Andrea
Docenti
CFU
6
Ore di lezione
48
Ore di studio individuale
102
Settore Scientifico Disciplinare (SSD)
INF/01 - INFORMATICA
Tipo di insegnamento
Modulo di sola Frequenza
Fruizione insegnamento
OBB
Categoria insegnamento
B
Anno
2
Periodo
Primo Semestre
Tipo di valutazione
V
Lingua insegnamento
Italiano.
Italian.
Testi di riferimento
J. Banks, J. S. Carson II, B. L. Nelson, David M. Nicol. Discrete-Event System Simulation , Fifth edition, Pearson Education 2010
J. Banks, J. S. Carson II, B. L. Nelson, David M. Nicol. Discrete-Event System Simulation , Fifth edition, Pearson Education 2010
Obiettivi formativi
Avviare gli studenti ai modelli e agli strumenti analitici e quantitativi per affrontare la valutazione delle prestazioni e dell’affidabilità di sistemi.
Acquire the basic notions behind the modeling of (stochastic) discrete event dynamic systems, and achieve good competencies about how to identify the goals of a performance evaluation study, how to model the system under study, how to build a discrete event simulator able to “execute” the model, and how to apply statistical analysis methods to the simulator results. Acquire the competences to recognize the possibility to apply analytical solutions as an alternative to simulation.  Acquire the ability to apply  appropriate techniques and software tools for the evaluation of performance indices of relatively complex systems.
Prerequisiti
Conoscenze di probbailità e statistica e di programmazione
Knowledge of basic probability theory and statistics. Basic knowledge of programming.
Metodi didattici
Lezioni frontali, esercitazioni in aula e in laboratorio, ed esercizi da svolgere a casa.
The course consists of both classes and laboratory sessions. All the material (class slides, quizzes, proposed exercises, example of final tests) are available on-line on the Learning Content Management System Moodle (DIR service).
Altre informazioni
Il controllo dell'apprendimento viene effettuato mediante esercizi da sviluppare a casa e corretti in classe,  mediante compiti in classe e la preparazione di  programmi di calcolo per specifici problemi.
The control of the learning process is performes through homeworks to be discussed and solved in classe and the preparation of computer codes to solve specific problems.
Modalità di verifica dell'apprendimento
Compiti in itinere e valutazione finale sia sugli argomenti teorici, sia delle realizzazioni pratiche
Oral examination, to test the acquired competences on the theoretical aspects  presented in the course, and practical modeling and performance evaluation exercises, performed using open source software for the numerical analysis or discrete event simulation of systems.
Programma esteso
Il corso introduce il concetto di modello come astrazione della realtà e come strumento per analizzarne le proprietà quantitative (affidabilità e prestazioni). Modellazione di sistemi stocastici, dinamici ad eventi discreti (DEDS) con reti di Code e reti di Petri Stocastiche: derivazione delle corrispondenti Catene di Markov. Analisi operazionale di reti di Code e reti di Petri. Tecnica simulativa per la stima di indici di prestazione: algoritmo di simulazione ad eventi discreti, generazione di numeri pseudo-casuali, metodi statistici per la stima puntuale e intervallare degli indici di prestazione in transitorio e a regime.
The course introduces the concept of “model” as an abstraction of a real system, and as a mean to analyze its properties: in particular the course introduces both the discrete event simulation technique, for estimating performance figures, and analytical techniques based on stochastic processes theory. More in details, the topics presented in the course are: modeling stochastic discrete event dynamic systems (DEDS). Models abstraction level. Analytical vs. simulation models. Formal languages for the representation of DEDS models: Stochastic Petri Nets and Queuing networks. Relation between Stochastic Petri Nets, or queuing networks and Markov chains. Definition of performance indices. Operational analysis (fundamental laws, bottleneck analysis).Steps in  a simulation study, the basic algorithm for the simulation of stochastic, dynamic discrete event models, generation of pseudo-random numbers and of random varieties, statistical methods for estimating the performance indices, both in transient and in steady state.
×
Stampa
Insegnamento
Apprendimento ed estrazione di conoscenza
Codice
MF0064
Anno Accademico
2014/2015
Anno regolamento
2013/2014
Corso di studio
INFORMATICA
Curriculum
CORSO GENERICO
CFU
9
Settore Scientifico Disciplinare (SSD)
INF/01 - INFORMATICA
Tipo di insegnamento
Attività formativa integrata
Fruizione insegnamento
OPZ
Anno
2
Periodo
Primo Semestre
Tipo di valutazione
V
Lingua insegnamento
Inglese.
English.
Contenuti
Apprendimento Automatico: Modelli grafici: rappresentazione e inferenza Estrazione della Conoscenza: Metodi di apprendimento di modelli grafici
Automatic Learning: Graphical models: representation and inference Knowledge Extraction: Learning graphical models
Testi di riferimento
Documentazione reperibile sul sito del corso.
Documentation and material are provided by the teacher (on the web site of the course).
Obiettivi formativi
Apprendimento Automatico: Fornire allo studente le conoscenze necessarie per usare modelli grafici nelle applicazioni Estrazione della Conoscenza: Approfondire le conoscenze relative all’apprendimento ed estrazione di conoscenza, con particolare attenzione all’apprendimento automatico di modelli grafici. 
Automatic Learning: To provide detailed knowledge of the inference on and of use of graphical models. Knowledge Extraction: To provide the means to learn graphical models for applications.
Prerequisiti
Conoscenze acquisite nei corsi di algoritmi e programmazione della laurea triennale.
Knowledge acquired in the undergraduate courses in algorithms and programming.
Metodi didattici
Lezioni frontali in aula ed esercitazioni
Frontal lessons and applications
Altre informazioni
Apprendimento Automatico: Durante il corso vengono fatte esercitazioni. Estrazione della Conoscenza: Durante il corso possono essere forniti agli studenti degli esercizi da svolgere
Automatic Learning: During the courses practical sessions will be offered to the students Knowledge Extraction: During the course exercises might be provided to the students
Modalità di verifica dell'apprendimento
Progetto ed Esame orale
Project and Oral Exam
Programma esteso
Apprendimento Automatico: 1. Reti Bayesiane: Modello generativo, Variabili discrete, Modelli lineari Gaussiani 2. Indipendenza condizionale: D-separazione 3. Markov Random Fields (Reti di Markov): Indipendenza condizionale, Fattorizzazione, Relazione con le Reti Bayesiane 4. Inferenza nei modelli grafici: Inferenza su catene, alberi e factor graphs, L’algoritmo somma-prodotto, L’algoritmo max-sum, Inferenza esatta in grafi generici, Propagazione ciclica di belief, Apprendimento della struttura del grafo 5. Modelli misti e Algoritmo EM: Algoritmo K-Means, Miscela di Gaussian, EM per miscele di Gaussiane, Una visione alternativa dell’EM, Algoritmo EM generico 6. Modelli di Markov e Modelli di Markov nascosti (HMM): Massima verosimiglianza nei Modelli di Markov, Algoritmo forward-backward, Algoritmo somma-prodotto per gli HMM, Algoritmo di Viterbi, Estensione degli HMM 7. Modelli dinamici lineari (LDS): Inferenza negli LDS, Apprendimento negli LDS, Estensione degli LDS Estrazione della Conoscenza: 1. Linguaggi logici e inferenza: Nozioni di base sulla Logica dei Predicati, Sussunzione 2. Reti di Markov come distribuzioni di probabilità. Reti di Markov logiche. 3. Inferenza approssimata: Markov chain Monte Carlo, Rejection sampling, Gibbs sampling 4. Apprendimento di modelli relazionali probabilistici: Definizione del problema, Apprendimento della struttura, Apprendimento dei parametri. 5. Apprendimento di Reti di Markov: Operazioni per l’apprendimento di modelli grafici 6. Apprendimento di programmi logici Bayesiani: Apprendimento della struttura, Apprendimento dei parametri, Metodo dei test di indipendenza. Apprendimento di Reti di Markov Logiche.
Automatic Learning: 1. Bayesian Networks: Generative models, Discrete variables, Linear-Gaussian models 2. Conditional Independence: Three example graphs, D-separation. 3. Markov Random Fields: Conditional independence properties, Factorization properties, Relation to Bayesian Networks. 4. Inference in Graphical Models: Inference on a chain, Trees, Factor graphs, The sum-product algorithm, The max-sum algorithm, Exact inference in general graphs, Loopy belief propagation, Learning the graph structure. 5. Mixture Models and EM: K-means Clustering, Mixtures of Gaussians ,EM for Gaussian mixtures, An Alternative View of EM, he EM Algorithm in general. 6. Markov Models and Hidden Markov Models: Maximum likelihood for the HMM, The forward-backward algorithm, The sum-product algorithm for the HMM, The Viterbi algorithm, Extensions of the hidden Markov model. 7. Linear Dynamical Systems: Inference in LDS, Learning in LDS, Extensions of LDS. Knowledge Extraction: 1. Basic notion of Predicate Logics 2. Markov networks as probability distributions. Logical Markov Networks. 3. Approximate inference: Markov Chain Monte Carlo, Rejection sampling, Gibbs sampling. 4. Learning probabilistic relational model: Problem position, Structure learning, Parameter learning. 5. Learning Markov networks: Operations for Learning with Graphical Models 6. Principles of learning Bayesian logic programs: Learning the structure and the parameters Learning based on independence tests. Learning Logical Markov Networks.
Moduli
Codice Insegnamento Settore Scientifico Disciplinare (SSD) Docenti Agenda web
MF0066Estrazione di conoscenza INF/01 - INFORMATICA Saitta Lorenza
MF0065Apprendimento automatico INF/01 - INFORMATICA Giordana Attilio
Mostra scheda insegnamento padre
×
Stampa
Insegnamento
Apprendimento ed estrazione di conoscenza: Estrazione di conoscenza
Codice
MF0066
Anno Accademico
2014/2015
Anno regolamento
2013/2014
Corso di studio
INFORMATICA
Curriculum
CORSO GENERICO
Responsabile didattico
SAITTA Lorenza
Docenti
CFU
3
Ore di lezione
24
Ore di studio individuale
51
Settore Scientifico Disciplinare (SSD)
INF/01 - INFORMATICA
Tipo di insegnamento
Modulo di sola Frequenza
Fruizione insegnamento
OPZ
Categoria insegnamento
C
Anno
2
Periodo
Primo Semestre
Tipo di valutazione
V
Lingua insegnamento
Inglese.
English.
Contenuti
Metodi di apprendimento di modelli grafici
Learning graphical models
Testi di riferimento
Documentazione reperibile sul sito del corso.
Documentation and material are provided by the teacher (on the web site of the course).
Obiettivi formativi
Approfondire le conoscenze relative all’apprendimento ed estrazione di conoscenza, con particolare attenzione all’apprendimento automatico di modelli grafici. 
To provide the means to learn graphical models for applications.
Prerequisiti
Conoscenze acquisite nei corsi di algoritmi della laurea triennale.
Knowledge acquired in the undergraduate courses in algorithms
Metodi didattici
Lezioni frontali in aula ed esercitazioni
Frontal lessons and applications
Altre informazioni
Durante il corso possono essere forniti agli studenti degli esercizi da svolgere
During the course exercises might be provided to the students
Modalità di verifica dell'apprendimento
Progetto ed Esame orale
Project and Oral Exam
Programma esteso
1. Linguaggi logici e inferenza: Nozioni di base sulla Logica dei Predicati, Sussunzione 2. Reti di Markov come distribuzioni di probabilità. Reti di Markov logiche. 3. Inferenza approssimata: Markov chain Monte Carlo, Rejection sampling, Gibbs sampling 4. Apprendimento di modelli relazionali probabilistici: Definizione del problema, Apprendimento della struttura, Apprendimento dei parametri. 5. Apprendimento di Reti di Markov: Operazioni per l’apprendimento di modelli grafici 6. Apprendimento di programmi logici Bayesiani: Apprendimento della struttura, Apprendimento dei parametri, Metodo dei test di indipendenza. Apprendimento di Reti di Markov Logiche.
1. Basic notion of Predicate Logics 2. Markov networks as probability distributions. Logical Markov Networks. 3. Approximate inference: Markov Chain Monte Carlo, Rejection sampling, Gibbs sampling. 4. Learning probabilistic relational model: Problem position, Structure learning, Parameter learning. 5. Learning Markov networks: Operations for Learning with Graphical Models 6. Principles of learning Bayesian logic programs: Learning the structure and the parameters Learning based on independence tests. Learning Logical Markov Networks.
Mostra scheda insegnamento padre
×
Stampa
Insegnamento
Apprendimento ed estrazione di conoscenza: Apprendimento automatico
Codice
MF0065
Anno Accademico
2014/2015
Anno regolamento
2013/2014
Corso di studio
INFORMATICA
Curriculum
CORSO GENERICO
Responsabile didattico
GIORDANA Attilio
CFU
6
Ore di lezione
48
Ore di studio individuale
102
Settore Scientifico Disciplinare (SSD)
INF/01 - INFORMATICA
Tipo di insegnamento
Modulo di sola Frequenza
Fruizione insegnamento
OPZ
Categoria insegnamento
B
Anno
2
Periodo
Primo Semestre
Tipo di valutazione
V
Lingua insegnamento
Inglese.
English.
Contenuti
Apprendimento Automatico: Modelli grafici: rappresentazione e inferenza Estrazione della Conoscenza: Metodi di apprendimento di modelli grafici
Automatic Learning: Graphical models: representation and inference Knowledge Extraction: Learning graphical models
Testi di riferimento
Documentazione reperibile sul sito del corso.
Documentation and material are provided by the teacher (on the web site of the course).
Obiettivi formativi
Apprendimento Automatico: Fornire allo studente le conoscenze necessarie per usare modelli grafici nelle applicazioni Estrazione della Conoscenza: Approfondire le conoscenze relative all’apprendimento ed estrazione di conoscenza, con particolare attenzione all’apprendimento automatico di modelli grafici. 
Automatic Learning: To provide detailed knowledge of the inference on and of use of graphical models. Knowledge Extraction: To provide the means to learn graphical models for applications.
Prerequisiti
Conoscenze acquisite nei corsi di algoritmi e programmazione della laurea triennale.
Knowledge acquired in the undergraduate courses in algorithms and programming.
Metodi didattici
Lezioni frontali in aula ed esercitazioni
Frontal lessons and applications
Altre informazioni
Apprendimento Automatico: Durante il corso vengono fatte esercitazioni. Estrazione della Conoscenza: Durante il corso possono essere forniti agli studenti degli esercizi da svolgere
Automatic Learning: During the courses practical sessions will be offered to the students Knowledge Extraction: During the course exercises might be provided to the students
Modalità di verifica dell'apprendimento
Progetto ed Esame orale
Project and Oral Exam
Programma esteso
Apprendimento Automatico: 1. Reti Bayesiane: Modello generativo, Variabili discrete, Modelli lineari Gaussiani 2. Indipendenza condizionale: D-separazione 3. Markov Random Fields (Reti di Markov): Indipendenza condizionale, Fattorizzazione, Relazione con le Reti Bayesiane 4. Inferenza nei modelli grafici: Inferenza su catene, alberi e factor graphs, L’algoritmo somma-prodotto, L’algoritmo max-sum, Inferenza esatta in grafi generici, Propagazione ciclica di belief, Apprendimento della struttura del grafo 5. Modelli misti e Algoritmo EM: Algoritmo K-Means, Miscela di Gaussian, EM per miscele di Gaussiane, Una visione alternativa dell’EM, Algoritmo EM generico 6. Modelli di Markov e Modelli di Markov nascosti (HMM): Massima verosimiglianza nei Modelli di Markov, Algoritmo forward-backward, Algoritmo somma-prodotto per gli HMM, Algoritmo di Viterbi, Estensione degli HMM 7. Modelli dinamici lineari (LDS): Inferenza negli LDS, Apprendimento negli LDS, Estensione degli LDS Estrazione della Conoscenza: 1. Linguaggi logici e inferenza: Nozioni di base sulla Logica dei Predicati, Sussunzione 2. Reti di Markov come distribuzioni di probabilità. Reti di Markov logiche. 3. Inferenza approssimata: Markov chain Monte Carlo, Rejection sampling, Gibbs sampling 4. Apprendimento di modelli relazionali probabilistici: Definizione del problema, Apprendimento della struttura, Apprendimento dei parametri. 5. Apprendimento di Reti di Markov: Operazioni per l’apprendimento di modelli grafici 6. Apprendimento di programmi logici Bayesiani: Apprendimento della struttura, Apprendimento dei parametri, Metodo dei test di indipendenza. Apprendimento di Reti di Markov Logiche.
Automatic Learning: 1. Bayesian Networks: Generative models, Discrete variables, Linear-Gaussian models 2. Conditional Independence: Three example graphs, D-separation. 3. Markov Random Fields: Conditional independence properties, Factorization properties, Relation to Bayesian Networks. 4. Inference in Graphical Models: Inference on a chain, Trees, Factor graphs, The sum-product algorithm, The max-sum algorithm, Exact inference in general graphs, Loopy belief propagation, Learning the graph structure. 5. Mixture Models and EM: K-means Clustering, Mixtures of Gaussians ,EM for Gaussian mixtures, An Alternative View of EM, he EM Algorithm in general. 6. Markov Models and Hidden Markov Models: Maximum likelihood for the HMM, The forward-backward algorithm, The sum-product algorithm for the HMM, The Viterbi algorithm, Extensions of the hidden Markov model. 7. Linear Dynamical Systems: Inference in LDS, Learning in LDS, Extensions of LDS. Knowledge Extraction: 1. Basic notion of Predicate Logics 2. Markov networks as probability distributions. Logical Markov Networks. 3. Approximate inference: Markov Chain Monte Carlo, Rejection sampling, Gibbs sampling. 4. Learning probabilistic relational model: Problem position, Structure learning, Parameter learning. 5. Learning Markov networks: Operations for Learning with Graphical Models 6. Principles of learning Bayesian logic programs: Learning the structure and the parameters Learning based on independence tests. Learning Logical Markov Networks.
Stampa guida
Stampa
Anno Codice Insegnamento Docenti Settore Scientifico Disciplinare (SSD) Curriculum Sede CFU
2 MF0064 Apprendimento ed estrazione di conoscenza Saitta Lorenza, Giordana Attilio INF/01 Tutti 9
2 S1622 VALUTAZIONE DELLE PRESTAZIONI Franceschinis Giuliana Annamaria, Bobbio Andrea INF/01 Tutti 9
Dati aggiornati al: 09/07/2019, 13:49