Fondamenti di Intelligenza Artificiale M
A.A. 2010-2011

Durante il corso:

Oltre agli esercizi che verranno proposti durante le lezioni, verranno organizzate alcune esercitazioni.

1. Lunedì 14 Marzo 2011: Strategie di Ricerca, con l'uso delle librerie AIMA
   • Slides dell'esercitazione
   • Soluzione di Missionari/Cannibali e U2 proposta dall'Ing. Federico Chesani.
   • Libreria aima (dal sito ). JAR file della libreria: aima.0.95.jar
   • NOTA: E' stata pubblicata la terza edizione del libro "Intelligenza Artificiale: Un approccio moderno", ancora non disponibile in Italia (al 9 Marzo 2010). In corrispondenza della nuova edizione, la libreria AIMA è stata in parte riscritta, perciò è necessario un parziale lavoro di refactoring qualora si voglia utilizzare la nuova versione (denominata 1.2.0) rispetto alla precedente.

   Attenzione! Missionari e Cannibali, se esplorato con strategia depth-first, va in loop infinito... come primi tentavi provare con breadth first e con A*...
   
   

2. Lunedì 18 Aprile 2011: Ambiente SICStus e soluzione di problemi in Prolog
   • Slides dell'esercitazione
   • Soluzione dell'esercizio "flatten"
   • Soluzione dell'esercizio sulla diagonale di una matrice
3. Lunedì 9 Maggio 2011: Calcolo degli Eventi, planning
   • Slides sul Calcolo degli Eventi
   • Programma Prolog per il Calcolo degli Eventi
   • Programma Prolog - planning come ricerca nello spazio degli stati
   • Risultato atteso per l'esercizio sulla luce
   • jREC Tester (impostato con soluzione dell'esercizio sui robot). Rivolgersi a Marco Montali per informazioni sul funzionamento
4. Lunedì 23 Maggio 2011: Sviluppo di Ontologie, Rappresentazione della conoscenza
   • Slides dell'esercitazione
   • Ontologia di esempio pizza.owl
   • Artefatti di progetto per l'Ontologia Statements
   • Artefatti di progetto per l'Ontologia Toys
   • Artefatti di progetto per l'Ontologia MusicStore
   • Query SPARQL per l'Ontologia MusicStore
5. Lunedì 30 Maggio 2011: Introduzione ai Sistemi di Produzione a Regole, Drools
   • Slides introduttive
   • Slides dell'esercitazione

Per l'esame:

Alla prova orale è possibile portare un'esercitazione pratica su un argomento del corso, previo accordo con il docente. Una lista (non esaustiva) di argomenti che possono essere oggetto di approfondimento e di sperimentazione è la seguente:

• Risoluzione di giochi
• Modellazione e risoluzione di Problemi di Soddisfacimento di Vincoli in linguaggio Prolog o in CLP
• Risoluzione di problemi come ricerca nello spazio degli stati
• Realizzazioni di estensioni del linguaggio Prolog per la rappresentazione della conoscenza (ambienti a oggetti, a frames, sistemi di produzione ecc.)