| CODICE | 98463 |
|---|---|
| ANNO ACCADEMICO | 2021/2022 |
| CFU | 6 cfu al 2° anno di 11160 COMPUTER ENGINEERING (LM-32) GENOVA |
| SETTORE SCIENTIFICO DISCIPLINARE | ING-INF/05 |
| LINGUA | Inglese |
| SEDE | GENOVA (COMPUTER ENGINEERING ) |
| PERIODO | 1° Semestre |
| MATERIALE DIDATTICO | AULAWEB |
Il corso si prefigge di studiare alcuni formalismi di Intelligenza Artificiale deduttiva, dal punto di vista sia teorico che pratico, in particolare linguaggi e strumenti per la rappresentazione della conoscenza e ragionamento automatico, e lo applicazione di planning e scheduling, sia discreti che misti discreti-continui.
Il corso si prefigge di studiare alcune tecniche di ragionamento deduttivo, e la loro applicazione per risolvere problemi reali.
- Studiare teoria e pratica di alcuni formalisimi di rappresentazione della conoscenza e ragionamento automatico
- Studiare come rappresentare un problema concreto in questi formalismi
- Applicare le competenze acquisite ad un problema reale
Alcuni concetti di corsi precedenti
- Artificial Intelligence
- Basi di dati
- Informatica e Computazione
della Laurea in Ingegneria Informatica e della stessa Laurea Magistrale sono i punti di partenza di questo corso.
Il corso è organizzato come segue:
- Lezioni frontali (approx. 50%)
- Esercizi e presentazioni di casi d'uso reali (approx. 25%)
- Organizzazione dei progetti di fine corso (approx. 25%)
- Introduzione ai linguaggi per le basi di dati
- Intelligenza Artificiale Deduttiva:
- Rappresentazione della Conoscenza e Ragionamento Automatico
- Answer Set Programming (ASP)
- Extended Planning Domain Definition Language (PDDL+)
- Applicazioni:
ASP per scheduling (nel discreto)
PDDL+ per planning (nel misto discreto-continuo)
Tutte le slides e gli esercizi presentati durante le lezione verranno rese disponibili su AulaWeb.
Ricevimento: Durante il periodo del corso verrà concordato un orario di ricevimento, a secondo degli impegni didattici dei docenti e degli studenti. Ad ogni modo, è sempre possibile prendere appuntamento tramite una richiesta via e-mail.
MARCO MARATEA (Presidente)
GUALTIERO VOLPE
ALESSIO MERLO (Presidente Supplente)
Il corso è organizzato come segue:
- Lezioni frontali (approx. 50%)
- Esercizi e presentazioni di casi d'uso reali (approx. 25%)
- Organizzazione dei progetti di fine corso (approx. 25%)
Settimana del 20-24 Settembre 2021.
L'orario di tutti gli insegnamenti è consultabile su EasyAcademy.
L'esame consta di un progetto.
Saranno valutati la realizzazione e la presentazione del progetto.
| Data | Ora | Luogo | Tipologia | Note |
|---|---|---|---|---|
| 10/01/2022 | 09:00 | GENOVA | Orale | |
| 24/01/2022 | 09:00 | GENOVA | Orale | |
| 07/02/2022 | 09:00 | GENOVA | Orale | |
| 09/06/2022 | 09:00 | GENOVA | Orale | |
| 04/07/2022 | 09:00 | GENOVA | Orale | |
| 14/09/2022 | 09:00 | GENOVA | Orale |