Logica e intelligenza artificiale - Prof. Davide Fazio - a.a. 2024/2025
Scienze della comunicazione - Insegnamenti a scelta
Topic outline
-
Davide Fazio è ricercatore in Logica e Filosofia della Scienza. I suoi interessi di ricerca principali riguardano la semantica algebrica delle logiche non classiche con attenzione alle applicazioni di metodi algebrici, di teoria degli ordini, e di teoria della dimostrazione, alla fondazione della fisica, all’ epistemologia formale, ai sistemi di rappresentazione della conoscenza, dunque alla Logic Based Artificial Intelligence.
I
ll corso costituisce un’introduzione ai concetti fondamentali e, da una prospettiva divulgativa, ai metodi dell’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, verranno trattati i concetti fondamentali alla base dell’intelligenza artificiale simbolica e sub-simbolica quali e.g. il concetto di sistema esperto, di rete neurale (feed-forward, convoluzionale, ricorrente), e del loro funzionamento. Tratteremo altresì alcune applicazioni dell’IA nell’ambito della processazione del linguaggio naturale e nella soluzione di problemi complessi.
A chiusura del corso, se possibile, verranno introdotti i concetti fondamentali alla base dell’architettura del transformer e, più in generale, dei large language models.
Il corso si comporrà di due unità didattiche:
Unità 2: Introduzione ai concetti fondamentali dell’intelligenza artificiale;
Unità 3: I metodi dell’IA- S. Russell, P. Norvig, Intelligenza artificiale. Un approccio moderno, vol 1, Pearson, 2010, ISBN: 8871925939 (capitoli 1 e 2)
- M. Mitchell, Intelligenza Artificiale. Una guida per menti pensanti, Einaudi, 2022.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/
- M. Davis, Il calcolatore universale, Adelphi, 2012, ISBN: 9788845927416Altri testi potranno essere consigliati dal docente sulla base di specifici interessi dello studente.
I ricevimenti (in presenza o online) collettivi o individuali possono essere concordati con il docente previo invio di una mail a (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.
-
-
In questa sezione sarà reso disponibile il materiale didattico integrativo relativi ai concetti fondamentali e alla filosofia dell'intelligenza artificiale.