Durante il corso:
Oltre agli esercizi che verranno proposti durante le
lezioni, verranno organizzate alcune esercitazioni.
-
Mercoledì 13 Marzo 2013: LAB2,
9.00-11.00:
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: Nella terza edizione del libro "Intelligenza Artificiale: Un approccio moderno", (Terza Edizione), la libreria AIMA è stata in parte riscritta, perciò è necessario un parziale lavoro di refactoring qualora si voglia utilizzare la nuova versione (denominata 1.6.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*...
- Mercoledì 8 Maggio 2013: LAB2, 9.00-11.00: Ambiente TuProlog/SWI e soluzione di problemi in Prolog
-
Mercoledì 15 Maggio: LAB2, 9.00-11.00: 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
-
Mercoledì 22 Maggio 2013: LAB2, 9.00-11.00:
Soluzione di problemi in Prolog / meta-interpreti
- Slides dell'esercitazione
-
Martedì 4 e Mercoledì 5 Giugno 2013:
Sistemi di Produzione a Regole, Introduzione a Drools
- Slides introduttive (4 Giugno, Aula 5.7, 12:30-14:00)
- Slides dell'esercitazione (5 Giugno, LAB2, 9:00-11:00)
-
Martedì 11 Giugno 2013: LAB2, 11.00-14.00:
Meta-interpreti in Prolog
- Slides
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.)