Indice degli argomenti

  • Informazioni generali sul corso


    **

    Il corso costituisce un’introduzione alla logica formale e ad alcune delle sue applicazioni in Intelligenza Artificiale. Dopo un excursus (anche storico) dei concetti elementari alla base dell’Intelligenza Artificiale, come quello di razionalità, strategia, ambiente, e di agente, si descriveranno le varie tipologie di agente e la loro struttura. Successivamente, saranno richiamati i concetti fondamentali della logica formale classica proposizionale e predicativa. Ancora, presenteremo il metodo dei tableaux analitici per la logica proposizionale e predicativa e i calcoli sintattici più comuni per la logica proposizionale (i.e. calcolo assiomatico, deduzione naturale, sequenti) come strategie di decisione (più o meno automatica) delle tautologie. Infine, provvederemo a trattare da una prospettiva storico-filosofica i contributi della logica formale allo sviluppo dell’idea di un calcolatore universale. A chiusura del corso, se possibile, si mostreranno alcune strategie di aggiornamento di basi di conoscenza (knowledge bases) basate sulla logica formale quali esempi di concreta applicazione della teoria allo sviluppo di programmi agente “intelligenti”.


    Il corso si articolerà in tre unità didattiche:

    Unità 1: Introduzione ai concetti dell’intelligenza artificiale;
    Unità 2: Introduzione alla logica formale
    Unità 3: Storia dell’intelligenza artificiale da G.W. Leibniz a A. Turing.

    - D. Fazio, A. Ledda, M. Pra Baldi, Percorsi di Logica, Mimesis, 2022, ISBN: 9788857586304 (capitolo 2 fino alla sezione 2.9, capitolo 3 sezione 3. 10 tranne sottosezione 3.10.2, sezione 3.11, sezione 3.12 tranne sottosezione 3.12.2, capitolo 4, sezione 4.14)
    - M. L. Dalla Chiara, R. Giuntini, F. Paoli, Sperimentare la Logica, Liguori, 2004, ISBN:  8820736845 (capitolo 5)
    - M. Davis, Il calcolatore universale, Adelphi, 2012, ISBN: 9788845927416
    - S. Russell, P. Norvig, Intelligenza artificiale. Un approccio moderno, vol 1, Pearson, 2010, ISBN: 8871925939 (capitoli 1 e 2)
    - Esercizi di logica a cura del docente da reperire in piattaforma.

    Alcuni esempi di testi di approfondimento:

    S. Russell, P. Norvig, Intelligenza artificiale. Un approccio moderno, vol 2, Pearson, 2010.
    V. Pratt, Macchine pensanti: l’evoluzione dell’Intelligenza Artificiale, Il mulino, 1990.
    Voce “Logic and Artificial Intelligence”della Stanford Encyclopedia of Philosophy, accessibile alla pagina https://plato.stanford.edu/entries/logic-ai/

    Altri testi potranno essere consigliati dal docente sulla base di specifici interessi dello studente.

    I ricevimenti collettivi o individuali sono fissati con cadenza settimanale, in presenza o per via telematica, il Martedì dalle 15.00 alle 17.00 previo invio di una mail al docente (dfazio2 (at) unite.it). Eventuali variazioni saranno rese note sulla piattaforma e-learning.


    La verifica finale di apprendimento si terrà mediante colloquio orale che verterà su tutti i temi (unità didattiche) del corso e sulla produzione di un elaborato scritto. La registrazione per partecipare all'esame finale dovrà essere fatta attraverso il sito web istituzionale, nella sezione "Didattica > Prenotazione Esami" (https://www.unite.it/UniTE/Didattica/Prenotazione_esami).

  • Introduzione ai concetti e alla filosofia dell'intelligenza artificiale

    In questa sezione sarà reso disponibile il materiale didattico integrativo relativi ai concetti fondamentali e alla filosofia dell'intelligenza artificiale.

    • Introduzione alla logica formale

      In questa sezione saranno resi disponibili materiale didattico integrativo ed esercizi relativi alla logica formale proposizionale e predicativa.

      • Storia dell’intelligenza artificiale da G.W. Leibniz a A. Turing

        In questa sezione sarà reso disponibile il materiale didattico integrativo relativo alla storia del'intelligenza artificiale