- Curriculum
-
La mia attività di ricerca si concentra principalmente sulla Logica, con particolare attenzione alle Logiche Non-Standard (principalmente non-monotone) per il ragionamento temporale, epistemico e probabilistico. Lavoro inoltre su approcci trasparenti e spiegabili (Explainable AI), con l'obiettivo di rendere più accessibili e comprensibili i processi decisionali delle macchine. La trasparenza dell'IA non solo migliora la fiducia e l'affidabilità delle tecnologie, ma apre a riflessioni filosofiche fondamentali sull'interazione tra esseri umani e sistemi intelligenti, come la questione del controllo, dell'autonomia e della responsabilità morale. Collaboro attivamente con diversi gruppi di ricerca internazionali (come UCL KIDS, Imperial SPIKE e LUCI Unimi), mantenendo una rete di scambio che alimenta la riflessione interdisciplinare. Sono inoltre editor ed organizzatore di numerose riviste, conferenze e workshop nell'ambito dell'Intelligenza Artificiale spiegabile, dell'Etica dell'IA e dell'Argomentazione Formale.
Modules
Modules running in the period selected: 21.
Click on the module to see the timetable and course details.
News for students
There you will find information, resources and services useful during your time at the University (Student’s exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details: only in this way will you be able to receive notification of all the notices from your teachers and your secretariat via email and also via the Univr app.
MyUnivr
Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:
- Eventi di Terza Missione: eventi di Public Engagement e Formazione Continua.
- Insegnamenti di Terza Missione: insegnamenti che fanno parte di Corsi di Studio come Corsi di formazione continua, Corsi di perfezionamento e aggiornamento professionale, Corsi di perfezionamento, Master e Scuole di specializzazione.
Research interests
| Topic |
Description |
Research area |
|
Filosofia dell'Intelligenza Artificiale
|
L'intelligenza artificiale (IA) è un campo in rapida evoluzione che studia la progettazione di sistemi in grado di svolgere compiti che richiedono intelligenza umana, come il riconoscimento del linguaggio e la risoluzione di problemi. In Filosofia dell'IA, particolare attenzione è data alle questioni etiche e sociali sollevate dall'IA, come il potenziale impatto sul mondo del lavoro, la privacy e la fiducia negli algoritmi.
|
Research methods in the Human Sciences
PHILOSOPHY OF SCIENCE
|
|
Logica
|
La Logica si concentra sull'analisi delle strutture formali e sul loro utilizzo nell'ambito della filosofia, delle scienze matematiche e dell'informatica. La logica formale permette di esplorare concetti quali verità, validità, inferenza e dimostrazione, fornendo strumenti fondamentali per il pensiero critico e per lo sviluppo di sistemi deduttivi e algoritmici.
|
Research methods in the Human Sciences
PHILOSOPHY OF SCIENCE
|
|
Logiche non-standard
|
Le logiche non-standard includono logiche paraconsistenti, modali, fuzzy, e altre che vanno oltre il tradizionale paradigma della logica classica. Queste teorie sono applicate in diversi ambiti, dall'informatica all'intelligenza artificiale, permettendo di gestire incertezze, contraddizioni e altre sfide legate al ragionamento complesso e alla modellazione di sistemi cognitivi e informativi.
|
Research methods in the Human Sciences
PHILOSOPHY OF SCIENCE
|
|
Teoria della computazione
|
La teoria della computazione si occupa dello studio dei modelli di calcolo e dei limiti computazionali. Analizza la complessità degli algoritmi, le classi di problemi risolvibili e la definizione di macchine astratte, come la macchina di Turing. Questa disciplina fornisce la base teorica per la progettazione di sistemi informatici e per la comprensione dei processi computazionali alla base dell'intelligenza artificiale.
|
Research methods in the Human Sciences
PHILOSOPHY OF SCIENCE
|
dasaro
univr
