UNIT I
Obiettivi formativi
Obiettivi generali: Il corso si propone di introdurre gli studenti a una presentazione ad ampio spettro dell'intelligenza artificiale (IA), con particolare attenzione al ragionamento automatizzato. Obiettivi specifici: Il corso persegue l'obiettivo di rendere gli studenti abili nella comprensione, nell'uso, nell'adattamento e nello sviluppo di soluzioni a un'ampia serie di problemi di IA nel contesto della progettazione di sistemi software intelligenti, che vanno dalla ricerca alla soddisfazione dei vincoli, dai linguaggi formali ai sistemi deduttivi. Conoscenza e comprensione: Gli studenti apprenderanno gli approcci e le euristiche fondamentali per i problemi di ricerca e di soddisfazione dei vincoli, la rappresentazione della conoscenza e il ragionamento in logica proposizionale e logica del primo ordine. Applicazione di conoscenza e comprensione: Gli studenti saranno in grado di rappresentare in modo appropriato i problemi di IA dal punto di vista di un agente intelligente, di sfruttare il portafoglio di tecniche e i diversi approcci mostrati nel corso per la soluzione di nuovi problemi, di spiegare la logica alla base del processo decisionale autonomo di un agente. Capacità critiche e di giudizio: Gli studenti saranno in grado di valutare i vantaggi e gli svantaggi nell'applicazione e nell'adattamento di tecniche conosciute per la progettazione di sistemi software intelligenti, di esaminare l'ambiente in cui si opera, di definire una funzione di utilità per misurare le prestazioni degli agenti, di ideare nuove soluzioni su misura per le nuove sfide dell'IA. Abilità comunicative: Gli studenti acquisiranno la capacità di esporre le proprie conoscenze in modo chiaro e organizzato per proporre soluzioni basate sull'IA, formalizzare i problemi contestati e discutere efficacemente le proprie idee con esperti del settore. Capacità di apprendimento: Le competenze acquisite consentiranno agli studenti di approfondire e ampliare autonomamente la propria gamma di conoscenze e capacità, dotandosi degli strumenti interpretativi necessari per leggere autonomamente i lavori pubblicati nella letteratura scientifica sull'IA.
Programmi - Frequenza - Esami
Programma
Prerequisiti
Testi di riferimento
Frequenza
Modalità di esame
Bibliografia
Modalità di erogazione
- Anno accademico2025/2026
- CorsoApplied Computer Science and Artificial Intelligence – Informatica Applicata e Intelligenza Artificiale
- CurriculumCurriculum unico
- Anno2º anno
- Semestre2º semestre
- SSDINF/01
- CFU6