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.