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 questo insegnamento è consultabile all'indirizzo: Portale 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