>   Dipartimento di Informatica   >   Toni Mancini
[login|nuovo account]      [Italiano|English]

Laurea in Informatica, Corso di

Intelligenza Artificiale

Edizione dell'a.a. 2017/2018

Diario delle lezioni

In questa pagina vengono indicati gli argomenti affrontati nelle lezioni già tenutesi e le attività di studio suggerite agli studenti per trarre il massimo profitto dal corso.

Nel seguito, l'acronimo AIMA si riferisce al libro di testo

Venerdì 1 Giugno 2018 (lezioni di recupero 1 + 2)

Aula Seminari, via Salaria 113, terzo piano, dalle 13.30 alle 18.30
Prima della lezione si consiglia di:
  • Prendere un buon caffè
Argomenti trattati nella lezione:
Esercitazioni di concerto con gli studenti

Giovedì 31 Maggio 2018

Prima della lezione si consiglia di:
  • Prendere un buon caffè
Argomenti trattati nella lezione:
Esercitazioni di concerto con gli studenti

Martedì 29 Maggio 2018

Prima della lezione si consiglia di:
  • Prendere un buon caffè
Argomenti trattati nella lezione:
Esercitazioni di concerto con gli studenti

Giovedì 24 Maggio 2018

Prima della lezione si consiglia di:
  • Prendere un buon caffè
  • Leggere le slide S.B.5 fino al punto affrontato a lezione
  • Svolgere l'esercitazione E.B.5.1 - Clienti Bancari
Argomenti trattati nella lezione:
  • B.5 - Apprendimento dalle Osservazioni
    • B.5.2 - Alberi di Decisione
      • B.5.2.2 - Apprendimento Induttivo di Alberi di Decisione
        • B.5.2.2.2 - Algoritmo Iterative Dichotomiser 3 (ID3)
        • B.5.2.2.3 - Algoritmo C4.5
  • Esercitazione E.B.5.1 - Clienti Bancari

Martedì 22 Maggio 2018

Prima della lezione si consiglia di:
  • Prendere un buon caffè
  • Leggere le slide S.B.4
  • Svolgere l'esercitazione E.B.3.2.2.3 - Tumori, Modelling e Inferenza
Argomenti trattati nella lezione:
  • B.5 - Apprendimento dalle Osservazioni
    • B.5.1 - Apprendimento Supervisionato, Non Supervisionato e Per Rinforzo
    • B.5.2 - Alberi di Decisione
      • B.5.2.1 - Sintassi e Semantica
      • B.5.2.2 - Apprendimento Induttivo di Alberi di Decisione
        • B.5.2.2.1 - Cenni di Teoria dell'Informazione
          • B.5.2.2.1.1 - Valore dell'Informazione
            • B.5.2.2.1.1.1 - Sorgenti di Informazione a Simboli Indipendenti ed Equiprobabili
            • B.5.2.2.1.1.2 - Sorgenti di Informazione a Simboli Indipendenti ma Non Equiprobabili
          • B.5.2.2.1.2 - Entropia
          • B.5.2.2.1.3 - Massimo Guadagno Informativo

Giovedì 17 Maggio 2018

Prima della lezione si consiglia di:
  • Prendere un buon caffè
  • Leggere le slide S.B.3
  • Svolgere l'esercitazione E.B.3.2.2.1 - I Rossi, Modelling
  • Svolgere l'esercitazione E.B.3.2.2.2 - I Rossi, Inferenza
Argomenti trattati nella lezione:
  • B.4 - Agenti Basati sulla Teoria delle Decisioni
    • B.4.1 - Funzioni di Utilità
    • B.4.2 - Utilità Attesa
    • B.4.3 - Principio della Massima Utilità Attesa (Maximum Expected Utility, MEU)
    • B.4.4 - Teoria dell’Utilità
      • B.4.4.1 - Preferenze Razionali
      • B.4.4.2 - Progettare Funzioni di Utilità
      • B.4.4.3 - L'utilità del Denaro
      • B.4.4.4 - Utilità Normalizzate
      • B.4.4.5 - Micromort e QALY
      • B.4.4.6 - Funzioni di Utilità Multi-Attributo
    • B.4.5 - Reti di Decisione
      • B.4.5.1 - Sintassi e Semantica
      • B.4.5.2 - Inferenza nelle Reti di Decisione
  • Esercitazione E.B.3.2.2.1 - I Rossi, Modelling
  • Esercitazione E.B.3.2.2.2 - I Rossi, Inferenza

Martedì 15 Maggio 2018

Prima della lezione si consiglia di:
  • Prendere un buon caffè
  • Leggere le slide S.B.3 fino al punto affrontato a lezione
  • Svolgere l'esercitazione E.B.2.5 - PDDL e Azioni di Durata Diversa
  • Svolgere l'esercitazione E.B.2.6 - Torri di Hanoi, codifica CSP
  • Svolgere l'esercitazione E.B.2.7 - Torri di Hanoi, codifica SitCalc
Argomenti trattati nella lezione:
  • B.3 - Ragionamento in Presenza di Incertezza
    • B.3.2 - Ragionamento Probabilistico
      • B.3.2.2 - Reti Bayesiane
        • B.3.2.2.4 - Inferenza nelle Reti Bayesiane
          • B.3.2.2.4.1 - Algoritmo di Enumerazione della Distribuzione Congiunta
          • B.3.2.2.4.2 - Algoritmo di Eliminazione di Variabili
  • Esercitazione E.B.2.6 - Torri di Hanoi, codifica CSP
  • Esercitazione E.B.2.7 - Torri di Hanoi, codifica SitCalc

Giovedì 10 Maggio 2018

Prima della lezione si consiglia di:
  • Prendere un buon caffè
  • Leggere le slide S.B.3 fino al punto affrontato a lezione
Argomenti trattati nella lezione:
  • B.3 - Ragionamento in Presenza di Incertezza
    • B.3.2 - Ragionamento Probabilistico
      • B.3.2.2 - Reti Bayesiane
        • B.3.2.2.1 - Sintassi e Semantica
        • B.3.2.2.2 - Assunzioni di Indipendenza Condizionale Implicite nella Struttura della Rete
        • B.3.2.2.3 - Modellazione di Reti Bayesiane

Martedì 8 Maggio 2018

Prima della lezione si consiglia di:
  • Prendere un buon caffè
  • Leggere le slide S.B.2
  • Svolgere l'esercitazione E.B.2.2 - Domino, modelling (PDDL)
  • Svolgere l'esercitazione E.B.2.8 - Charlie, modelling (PDDL)
Argomenti trattati nella lezione:
  • B.3 - Ragionamento in Presenza di Incertezza
    • B.3.1 - Le Cause di Incertezza
    • B.3.2 - Ragionamento Probabilistico
      • B.3.2.1 - Indipendenza Statistica e Indipendenza Condizionale
  • Esercitazione E.B.2.2 - Domino, modelling (PDDL)
  • Esercitazione E.B.2.8 - Charlie, modelling (PDDL)

Giovedì 3 Maggio 2018

Prima della lezione si consiglia di:
  • Prendere un buon caffè
  • Leggere le slide S.B.2, fino al punto affrontato a lezione
  • Svolgere l'esercitazione E.B.2.1 - Torri di Hanoi, modelling (PDDL)
  • Svolgere l'esercitazione E.B.1.3 - Amici delle Alpi, modelling e inferenza (FOL)
Argomenti trattati nella lezione:
  • B.2 - Pianificazione Classica
    • B.2.3 - Risoluzione di Problemi di Pianificazione
      • B.2.3.2 - Riduzione a SAT: SATPlan
      • B.2.3.3 - Riduzione a CSP
      • B.2.3.4 - Riduzione ad inferenza FOL: Situation calculus
  • Esercitazione E.B.2.1 - Torri di Hanoi, modelling (PDDL)
  • Esercitazione E.B.2.4 - Torri di Hanoi, codifica SATPlan
  • Esercitazione E.B.1.3 - Amici delle Alpi, modelling e inferenza (FOL)

Martedì 1 Maggio 2018

La lezione non è prevista, come da Calendario Didattico.

Giovedì 26 Aprile 2018

Prima della lezione si consiglia di:
  • Prendere un buon caffè
  • Leggere le slide S.B.1
  • Svolgere l'Esercitazione E.A.5.8 - Social Golfers (SAT)
Argomenti trattati nella lezione:
  • B.2 - Pianificazione Classica
    • B.2.1 - Planning Domain Definition Language (PDDL)
    • B.2.2 - Domini e Problemi di Pianificazione
    • B.2.3 - Risoluzione di Problemi di Pianificazione
      • B.2.3.1 - Esplorazione dello Spazio degli Stati con Funzioni Euristiche
        • B.2.3.1.1 - Ignorare Precondizioni
        • B.2.3.1.2 - Ignorare Effetti Negativi
        • B.2.3.1.3 - Assumere Indipendenza tra Sotto-Obiettivi
      • B.2.3.2 - Riduzione a SAT: SATPlan

Martedì 24 Aprile 2018

Prima della lezione si consiglia di:
  • Prendere un buon caffè
  • Leggere le slide S.B.1 fino al punto affrontato a lezione
  • Svolgere l'Esercitazione E.A.5.8 - Social Golfers (SAT)
Argomenti trattati nella lezione:
  • B.1 - Agenti Basati su Conoscenza in Logica del Primo Ordine
    • B.1.2 - Inferenza nella Logica del Primo Ordine
      • B.1.2.13 - Algoritmo di Risoluzione
      • B.1.2.14 - Teorema di Completezza dell’Algoritmo di Risoluzione
  • Esercitazione E.A.5.9 - Meetings (CSP)
  • Esercitazione E.B.1.1 - Studenti ansiosi, modelling (FOL)
  • Esercitazione E.A.5.8 - Social Golfers (SAT)

Giovedì 19 Aprile 2018

Prima della lezione si consiglia di:
  • Prendere un buon caffè
  • Leggere le slide S.A.6
Argomenti trattati nella lezione:
  • B.1 - Agenti Basati su Conoscenza in Logica del Primo Ordine
    • B.1.1 - Logica del Primo Ordine
      • B.1.1.1 - Sintassi e Semantica
      • B.1.1.2 - Pre-Interpretazione, Interpretazione, Assegnamento di Variabili
      • B.1.1.3 - Valutazione di Termini e di Formule
      • B.1.1.4 Modelli, Formule Soddisfacibili, Formule Insoddisfacibili, Formule Valide
      • B.1.1.5 - Basi di Conoscenza al Primo Ordine
      • B.1.1.6 - Basi di Conoscenza Horn e Definite
    • B.1.2 - Inferenza nella Logica del Primo Ordine
      • B.1.2.1 - Istanziazione Universale
      • B.1.2.2 - Istanziazione Esistenziale (o Skolemizzazione)
      • B.1.2.3 - La Forma Normale Congiuntiva (CNF)
      • B.1.2.4 - Riduzione all'Inferenza Proposizionale
      • B.1.2.5 - Lifting
      • B.1.2.6 - Sostituzione
      • B.1.2.7 - Modus Ponens Generalizzato
      • B.1.2.8 - Unificazione
      • B.1.2.9 - Standardizzazione Separata
      • B.1.2.10 - Most General Unifier (MGU)
      • B.1.2.11 - Unicità del MGU
      • B.1.2.12 - Algoritmo di Concatenazione in Avanti

Martedì 17 Aprile 2018

La lezione è annullata e sarà recuperata appena possibile.

Giovedì 12 Aprile 2018

Prima della lezione si consiglia di:
  • Prendere un buon caffè
  • Leggere le slide S.A.6
  • Svolgere l'Esercitazione E.A.6.6 - Edge Colouring (SAT)
  • Svolgere l'Esercitazione E.A.6.7 - HC-VIP (SAT)
  • Svolgere l'Esercitazione E.A.6.8 - Graph Colouring with Red Self-Loops (SAT)
  • Svolgere l'Esercitazione E.A.5.9 - Meetings (CSP, parte)
Argomenti trattati nella lezione:
  • Esercitazione E.A.6.7 - HC-VIP (SAT)
  • Esercitazione E.A.6.8 - Graph Colouring with Red Self-Loops (SAT)
  • Esercitazione E.A.5.9 - Meetings (CSP)

Martedì 10 Aprile 2018

Prima della lezione si consiglia di:
  • Prendere un buon caffè
  • Leggere le slide S.A.6 fino al punto affrontato a lezione
  • Svolgere l'Esercitazione E.A.5.8 - Social Golfers (CSP)
Argomenti trattati nella lezione:
  • A.6 - Agenti Basati su Conoscenza in Logica Proposizionale
    • A.6.2 - Logica Proposizionale
      • A.6.2.9 - Il Problema della Soddisfacibilità Proposizionale (SAT)
        • A.6.2.9.1 - Algoritmi Corretti e Completi per SAT
          • A.6.2.9.1.1 - Algoritmo Backtracking
          • A.6.2.9.1.2 - Algoritmo DPLL
        • A.6.2.9.2 - Algoritmi Corretti ma Incompleti per SAT
          • A.6.2.9.2.1 - Algoritmo GSAT
          • A.6.2.9.2.2 - Algoritmo WalkSAT
      • A.6.2.10 - Modellazione di Problemi Combinatori in SAT
        • A.6.2.10.1 - Risolutori SAT Commerciali
        • A.6.2.10.2 - Il Formato DIMACS
  • Esercitazione E.A.5.8 - Social Golfers (CSP)
  • Esercitazione E.A.6.4 - n-Queens (SAT)
  • Esercitazione E.A.6.5 - Schur's Lemma (SAT)

Giovedì 5 Aprile 2018

Prima della lezione si consiglia di:
  • Prendere un buon caffè
  • Leggere le slide S.A.6 fino al punto affrontato a lezione
  • Svolgere l'Esercitazione E.A.5.7 Cards 2 (CSP)
Argomenti trattati nella lezione:
  • A.6 - Agenti Basati su Conoscenza in Logica Proposizionale
    • A.6.2 - Logica Proposizionale
      • A.6.2.7 - La Forma Normale Congiuntiva (CNF)
      • A.6.2.8 - Inferenza nella Logica Proposizionale
        • A.6.2.8.1 - Basi di Conoscenza Horn e Definite
        • A.6.2.8.2 - Algoritmo di Concatenazione in Avanti
        • A.6.2.8.3 - Algoritmo di Risoluzione
        • A.6.2.8.4 - Teorema di Completezza dell’Algoritmo di Risoluzione
  • Esercitazione E.A.5.7 Cards 2 (CSP)
  • Esercitazione E.A.6.1 - Risoluzione (SAT)

Martedì 3 Aprile 2018

La lezione non si terrà, come previsto dal calendario accademico.

Giovedì 29 Marzo 2018

La lezione non si terrà, come previsto dal calendario accademico.

Martedì 27 Marzo 2018

Prima della lezione si consiglia di:
  • Prendere un buon caffè
  • Leggere le slide S.A.5 fino al punto affrontato a lezione
  • Svolgere l'esercitazione E.A.5.2 - n-Queens (CSP)
  • Svolgere l'esercitazione E.A.5.3 - Edge Colouring (CSP)
  • Svolgere l'esercitazione E.A.5.4 - Generalised Arc-Consistency (GAC)
  • Svolgere l'esercitazione E.A.5.5 - Backtracking e Propagazione di Vincoli
  • Svolgere l'esercitazione E.A.5.6 - Cards (CSP)
Argomenti trattati nella lezione:
  • A.5 - Problemi di soddisfacimento di vincoli
  • Esercitazione E.A.5.6 - Cards (CSP)
  • Esercitazione E.A.5.1 - Steepest Descent (CSP)
  • A.6 - Agenti Basati su Conoscenza in Logica Proposizionale
    • A.6.1 - Logica e Inferenza Logica
    • A.6.2 - Logica Proposizionale
      • A.6.2.1 - Sintassi e Semantica
      • A.6.2.2 - Interpretazione
      • A.6.2.3 - Valutazione di Formule
      • A.6.2.4 - Modelli, Formule Soddisfacibili, Formule Insoddisfacibili, Formule Valide
      • A.6.2.5 - Basi di Conoscenza Proposizionali
      • A.6.2.6 - Teorema di Deduzione

Giovedì 22 Marzo 2018

Prima della lezione si consiglia di:
  • Prendere un buon caffè
  • Leggere le slide S.A.5 fino al punto affrontato a lezione
Argomenti trattati nella lezione:
  • A.5 - Problemi di soddisfacimento di vincoli

Martedì 20 Marzo 2018

Prima della lezione si consiglia di:
  • Prendere un buon caffè
  • Leggere la sezione 4.1 di AIMA
  • Leggere le slide S.A.4
  • Svolgere l'esercitazione E.A.3.1
  • Svolgere l'esercitazione E.A.3.2
Argomenti trattati nella lezione:
  • A.5 - Problemi di soddisfacimento di vincoli

Giovedì 15 Marzo 2018

Prima della lezione si consiglia di:
  • Prendere un buon caffè
  • Leggere il capitolo 3 di AIMA
  • Leggere le slide S.A.3
Argomenti trattati nella lezione:
  • A.4 - Algoritmi a miglioramento iterativo

Martedì 13 Marzo 2018

La lezione è annullata e sarà recuperata appena possibile.

Giovedì 8 Marzo 2018

Prima della lezione si consiglia di:
  • Prendere un buon caffè
  • Leggere il capitolo 2 di AIMA
  • Leggere le slide S.A.2
Divertissement:
Argomenti trattati nella lezione:
  • A.3 - Esplorazione di Spazi degli Stati

Martedì 6 Marzo 2018

Prima della lezione si consiglia di:
  • Prendere un buon caffè
  • Leggere i capitoli 1 e 26 di AIMA
  • Leggere le slide S.A.1
  • Leggere la panoramica sull'IA scritta da John McCarthy [Chi è John McCarthy]
  • Creare un account studente su questo sito web e avviare la procedura di identificazione: questa, una volta conclusa in aula, consentirà di accedere al materiale didattico e semplificherà la gestione delle comunicazioni personali tra gli studenti identificati e il docente.
    Gli studenti che dovessero avere già effettuato la procedura di identificazione per un altro corso sono invitati a non creare un nuovo account, ma a contattare il docente via email.
Divertissement:
Argomenti trattati nella lezione:
  • A.2 - Agenti intelligenti
  • A.3 - Esplorazione di Spazi degli Stati

Giovedì 1 Marzo 2018

Prima della lezione si consiglia di:
  • Prendere un buon caffè
  • Creare un account studente su questo sito web e avviare la procedura di identificazione: questa, una volta conclusa in aula, consentirà di accedere al materiale didattico e semplificherà la gestione delle comunicazioni personali tra gli studenti identificati e il docente.
    Gli studenti che dovessero avere già effettuato la procedura di identificazione per un altro corso sono invitati a non creare un nuovo account, ma a contattare il docente via email.
Argomenti trattati nella lezione:
  • A.1 - Introduzione all'Intelligenza Artificiale (IA)
  • A.2 - Agenti intelligenti

Martedì 27 Febbraio 2018

La lezione è annullata a causa del maltempo, come da comunicazioni rettorali.


[This web site could never be realised without the sophisticated features of a pure text editor and the extreme power of 220V]