Salta al contenuto principale
CODICE 98463
ANNO ACCADEMICO 2022/2023
CFU
SETTORE SCIENTIFICO DISCIPLINARE ING-INF/05
LINGUA Inglese
SEDE
  • GENOVA
PERIODO 1° Semestre
MATERIALE DIDATTICO AULAWEB

PRESENTAZIONE

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.

OBIETTIVI E CONTENUTI

OBIETTIVI FORMATIVI

Il corso si prefigge di studiare alcune tecniche di ragionamento deduttivo, e la loro applicazione per risolvere problemi reali.

OBIETTIVI FORMATIVI (DETTAGLIO) E RISULTATI DI APPRENDIMENTO

- 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

PREREQUISITI

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.

MODALITA' DIDATTICHE

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%)

PROGRAMMA/CONTENUTO

- 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)

TESTI/BIBLIOGRAFIA

Tutte le slides e gli esercizi presentati durante le lezione verranno rese disponibili su AulaWeb.

DOCENTI E COMMISSIONI

Commissione d'esame

MARCO MARATEA (Presidente)

GUALTIERO VOLPE (Presidente)

ALESSIO MERLO (Presidente Supplente)

LEZIONI

INIZIO LEZIONI

Settimana del 19-23 Settembre 2022

Orari delle lezioni

L'orario di tutti gli insegnamenti è consultabile all'indirizzo EasyAcademy.

ESAMI

MODALITA' D'ESAME

L'esame consta di un progetto.

MODALITA' DI ACCERTAMENTO

Saranno valutati la realizzazione e la presentazione del progetto.

Calendario appelli

Dati Ora Luogo Tipologia Note
09/01/2023 09:00 GENOVA Orale
23/01/2023 09:00 GENOVA Orale
06/02/2023 09:00 GENOVA Orale
08/06/2023 09:00 GENOVA Orale
03/07/2023 09:00 GENOVA Orale
13/09/2023 09:00 GENOVA Orale

OpenBadge

 PRO3 - Soft skills - Gestione progettuale base 1 - A
PRO3 - Soft skills - Gestione progettuale base 1 - A
 PRO3 - Soft skills - Creazione progettuale avanzato 1 - A
PRO3 - Soft skills - Creazione progettuale avanzato 1 - A
 PRO3 - Soft skills - Imparare a imparare avanzato 1 - A
PRO3 - Soft skills - Imparare a imparare avanzato 1 - A
 PRO3 - Soft skills - Sociale avanzato 1 - A
PRO3 - Soft skills - Sociale avanzato 1 - A
 PRO3 - Soft skills - Personale avanzato 1 - A
PRO3 - Soft skills - Personale avanzato 1 - A